Base-拓扑数据库Haskell重写π

  • 授权协议:未知
  • 开发厂商:未知
  • 开发语言:other
  • 收录时间:2020-08-17
  • 操作系统:Windows,Linux,OS X
  • 软件作者:jamesdabbs
  • 开源标签: πBase

软件介绍

π-Base 是拓扑示例社区数据库,提供自动演绎和强大搜索功能。

π-Base 是拓扑示例社区数据库,提供自动演绎和强大搜索功能。

语法:

使用 ~ 进行否定, {和: [...]} 或者 {or: [...]}嵌套。

你可以通过以下这些字符开启不同的搜索模式:

  • : - 名字间隔

  • ? - 不确定

  • ! - 否定

示例

All Non-Metric Continua

 

 

A Common Non-Theorem

 

 {and: ["first countable", separable, "~second countable"]}

A Class of Examples by Name

 

 :plank

 

New Things to Prove

 

 ?metacompact

 

上一篇:ScalarArithmetic-数值转换

下一篇:YCMatrix-Objective-C矩阵库

相关阅读

查看更多 >