重新记录 171篇文献引用(1997–2024) 软件作者: 安德烈亚斯·多尔兹曼(Andreas Dolzmann);托马斯·斯特姆;沃尔克·魏斯芬宁 相关软件: QEPCAD;z3;枫树… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)…
Java PathFinder 96篇文献引用(2000–2023) 软件作者: 克劳斯·哈维隆德;托马斯·普雷斯伯格 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
人力资源 27篇文献引用(2002–2022) 软件作者: 西蒙·科尔顿 相关软件: 涂鸦;水獭;梅斯4… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
拉丁语 17篇文献引用(2011–2021) 软件作者: Codescu,Mihai;霍罗扎尔、富利亚;Michael Kohlhase;莫萨科夫斯基(Till Mossakowski);弗洛里安·拉贝 相关软件: 毫米波;OMDoc;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
E-KRHper公司 11份文件引用(2007–2021) 软件作者: 比约恩·佩尔泽;Christoph Wernhard公司 相关软件: E定理证明器;E-Darvin;萨奇莫… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
鸡蛋 4份文件引用(2021–2023) 软件作者: Max Willsey、Chandrakana Nandi、Yisu Remy Wang、Oliver Flatt、Zachary Tatlock、Pavel Panchekha 相关软件: CatLib;同意;Verigraph… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
伊曼德拉 5份文件引用(2020–2022) 软件作者: 格兰特·奥尼·帕斯莫尔(Grant Olney Passmore)、西蒙·克鲁恩斯(Simon Cruanes)、丹尼斯·伊格纳托维奇(Denis Ignatovich)、戴夫·艾特肯(Dave Aitken)、马特·布雷(Matt Bray 相关软件: VAMPIRE公司;SMT-LIB;芝诺… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ILF-设置 2份文件引用(1997) 软件作者: 安德烈亚斯·沃尔夫(Andreas Wolf);约翰·舒曼 相关软件: SETHEO公司;E-SETHEO;HOL… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
KEIM公司 1份文件引用(2005) 软件作者: Huang,X.、Kerber,M.、Kohlhase,M.,Melis,E.、Nesmith,D.、Richts,J.、Siekmann,J。 相关软件: 欧米茄;狮子座;MKRP公司 主要字段: 计算机科学(68-XX)