低成本融资 164篇文献引用(1972–2024) 软件作者： 罗宾·米尔纳 相关软件： 辅酶q；毫升；HOL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
马拉雷亚 56篇文献引用(2007–2023) 软件作者： 约瑟夫·乌尔班 相关软件： E定理证明器；VAMPIRE公司；Mizar… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
HOLyHammer公司 31份文件引用(2014–2022) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： HOL灯；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
人力资源 引用于27份文件（2002年至2022年） 软件作者： 西蒙·科尔顿 相关软件： 涂鸦；水獭；梅斯4… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
CoqHammer公司 28篇文献引用(2017–2023) 软件作者： 库卡斯·扎伊卡；塞萨里·卡利西克 相关软件： 辅酶q；E定理证明器；VAMPIRE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数几何（14-XX）…
MetaPRL公司 26篇文献引用(2000–2022) 软件作者： 杰森·希基（Jason Hickey）、亚历克谢·诺金（Alexey Nogin）、埃利·巴兹雷（Eli Barzilay） 相关软件： 辅酶q；Nuprl；PVS… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
E-Darvin公司 23篇文献引用(2006–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；比约恩·佩尔泽；蒂内利、塞萨尔；亚历山大·富克斯（Alexander Fuchs）；汉斯·德尼维尔 相关软件： 达尔文；梅斯4；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
狮子座III 21篇文献引用(2015–2023) 软件作者： 亚历山大·斯蒂恩（Alexander Steen）；马克斯·维斯涅夫斯基（Max Wisniewski）；克里斯托夫·本兹穆勒 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
数学网 16篇文献引用(2000–2016) 软件作者： 杰根·齐默；迈克尔·科尔哈斯 相关软件： TPTP；水獭；PVS… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；常微分方程（34-XX）…
SRASS公司 12份文件引用(2007–2019) 软件作者： Geoff Sutcliffe；尤里·普齐斯 相关软件： E定理证明器；TPTP；玛拉雷亚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿克拉 10篇文献引用(2005–2011) 软件作者： 乔瓦尼·佩祖洛；Gianguglielmo·卡尔维 相关软件： 古巴国防部；可可；戴恩… 主要字段： 总体主题；藏品（00-XX）；数论（11-XX）；场论与多项式（12-XX）…
VeriFun公司 10篇文献引用(2005–2017) 软件作者： 克里斯托夫·沃尔特；斯蒂芬·施韦策 相关软件： ACL2；哈斯克尔；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；博勒，布兰登；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
组成 5份文件引用(2005–2010) 软件作者： 丹尼西奇，S。；福克斯，C。；Harman，M。；Hierons，R。 相关软件： ASTREE公司；CSSV；TVLA… 主要字段： 计算机科学（68-XX）
EVES公司 7份文件引用(1993–2006) 软件作者： Sento Kromodimoeljo；比尔·帕斯；Mark Saaltink；丹·克雷根（Dan Craigen）；欧文·梅赛尔 相关软件： IMPS；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GKC公司 7份文件引用(2019–2022) 软件作者： 塔内尔·塔米特 相关软件： VAMPIRE公司；SPASS；OTTER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
HoTTSQL 6篇文献引用(2018–2022) 软件作者： 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋 相关软件： 辅酶q；链接；克莱斯利… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
DeReS公司 引用于3份文件(2019–2022) 软件作者： Cholewinski，P.、Marek，V.、Truszczynski，M。 相关软件： 数据日志；中国科学院科学院；Clingo… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
EPGY公司 引用于3份文件(2001–2020) 软件作者： 理查德·索默；格雷戈里·努科尔斯 相关软件： LPL软件；减少；OTTER… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： Grant Olney Passmore、Simon Cruanes、Denis Ignatovich、Dave Aitken、Matt Bray、Elijah Kagan、Kostya Kanishev、Ewen Maclean、Nicola Mometto 相关软件： VAMPIRE公司；SMT-LIB；芝诺… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
比格尔犬 4份文件引用(2015–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；约书亚·巴克斯（Joshua Bax）；乌韦·沃尔德曼 相关软件： z3；TPTP；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MATHsAiD公司 4份文件引用(2007–2019) 软件作者： A.邦迪、R.麦卡斯兰。 相关软件： IsaPlanner公司；Isabelle/HOL；定理… 主要字段： 计算机科学（68-XX）
SNARK（扫描） 引用于3份文件(2009–2015) 软件作者： Stickel，M。 相关软件： Waldmeister；E定理证明器；生动… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；相对论和引力理论（83-XX）
软CBR 4份文件引用(2001–2004) 软件作者： 阿古尔，卡里姆·S。；马克·帕维斯（Marc Pavese）；皮耶罗·P·博尼松。；威廉·切萨姆（William E.Cheetham）。 相关软件： – 主要字段： 计算机科学（68-XX）
产品生命周期管理 引用于3份文件(2020) 软件作者： 丹尼尔·基什内尔 相关软件： Isabelle/HOL；精益；逻辑键… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
估价员 引用于3份文件(2008–2010) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： 斯卡拉；Mathematica；z3… 主要字段： 计算机科学（68-XX）
卡斯波 2份文件引用(2021–2022) 软件作者： 圣地亚哥·维德拉、朱利奥·萨伊兹·罗德里格斯、卡里托·古齐奥洛夫斯基、安妮·西格尔 相关软件： 克林戈；GitHub；CoLoMoTo… 主要字段： 阶、格、有序代数结构（06-XX）；生物学和其他自然科学（92-XX）
向ATINF致敬 2份文件引用（2001年至2012年） 软件作者： 卡费拉、里卡多；尼古拉斯·佩尔蒂埃（Nicolas Peltier）；弗朗索瓦·普伊特 相关软件： GEX；日本国债交易所；发现者… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PathMiner公司 2份文件引用(2009–2024) 软件作者： D.C.McShan，S.Rao，I.Shah 相关软件： CPLEX公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CoRg公司 在0个文档中引用 软件作者： 克劳迪娅·肖恩（Claudia Schon）、索菲·西伯特（Sophie Siebert）、弗里德·斯托尔岑伯格（Frieder Stolzenburg） 相关软件： 阿迪门·苏莫；知识；雅高… 主要字段： –