软件搜索-zbMATH Open

符号数据

swMATH ID:	4621
软件作者：	汉斯·格特·格拉贝
描述：	SymbolicData GEO记录–几何定理证明方案的公共存储库形式化证明方案是对不同几何定理证明方法和证明程序进行测试、比较和基准测试的起点。为了实现此类测试的自动化，需要收集证明方案的通用数据库，并开发工具来提取示例，为输入到不同的证明程序做好准备，然后“批量”运行它们。迄今为止，特殊集合的主要缺点是可用性和互操作性有限，例如，周的集合包含500多个证明方案示例。我们报告了第一次使用通用证明方案语言GeoCode语言的经验，GeoCode是为了在一个公开可用的存储库中存储300多个证明方案而发明的，以及准备这些通用证明方案以输入到不同的目标证明程序的工具。这项工作是SymbolicData项目的一部分。
主页：	http://www.symbolicdata.org/
关键词：	定理证明
相关软件：	单一;S评估;SageMath公司;复数;岩浆;枫树;正则链;地理1.1;间隙;信件位置;多晶的;PoSSo公司;伯格曼;ApCoCoA公司;OpenDreamKit（开放梦想工具包）;组织环境信息系统;DLMF公司;霍马格;梅蒂塔斯基;重新记录
引用于：	28文件
更多出版物：	http://symbolicdata.org/wiki/Publications网站

1出版物描述软件，包括1出版物以zbMATH为单位	年份
SymbolicData GEO记录–几何定理证明方案的公共存储库。 Zbl 1202.68379号汉斯·格特·格拉贝	2004

8	维克托·列万多夫斯基
4	格哈德·普菲斯特
三	阿尔伯特·海因勒
三	斯特凡·斯特德尔
2	陈晓宇
2	英格兰，马修
2	吉斯布雷希特（Mark W.Giesbrecht）。
2	汉斯·格特·格拉贝
2	格里什·施图津斯基（Grischa Studzinski）
1	迪巴·阿夫扎尔
1	卡加·贝尔奇奇
1	亚历山大·伊万诺维奇（Alexander Ivanovich Bobenko）
1	迈克尔·布里肯斯坦
1	詹姆斯·布里奇。
1	詹姆斯·哈罗德·达文波特
1	沃尔夫拉姆·戴克
1	克里斯蒂安·埃德尔
1	多里安·弗洛雷斯库
1	黄宗岩
1	纳泽兰·伊德里斯
1	塞巴斯蒂安·占博
1	费尔拉·坎瓦尔Janjua
1	迈克尔·乔斯维格
1	坎瓦尔、沙姆萨
1	海因茨·克雷德尔
1	罗伯托·斯卡拉
1	豪尔赫·马丁·莫拉莱斯
1	米兰梅纳
1	密特尤宁，V.A。
1	马克·莫雷诺·马扎
1	叶夫根·瓦西尔·埃维奇（Evgeni Vasil’evich），潘克拉特·埃夫（Pankrat’ev）
1	劳伦斯·查尔斯·保尔森
1	Greg J.里德。
1	阿夫山·萨迪克
1	本杰明·施尼茨勒
1	汉斯·舍内曼
1	斯科特，罗宾
1	斯特凡·谢赫尔曼
1	沃尔夫拉姆·斯珀伯
1	Techter，Jan公司
1	沙万·库马尔·蒂瓦里
1	贾诺什·维达利
1	王东明
1	大卫·威尔逊。
1	弗兰茨·温克勒
1	吴文元
1	扎伊德，卡里姆·阿布

5	符号计算杂志
三	计算机科学中的数学
1	鲁马尼科学数学公报。Nouvelle Série公司
1	数学科学杂志（纽约）
1	Revista Matemática Complutense公司
1	系统科学与复杂性杂志
1	中欧数学杂志
1	计算机科学讲义
1	计算机代数中的ACM通信