z3(零3) 760份文件引用(2001–2024) 软件作者: 微软研究;莱昂纳多·德·莫拉;尼古拉·比约纳 相关软件: CVC4;SMT-LIB;Yices… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
PVS公司 617文件引用(1993–2023) 软件作者: Sam Owre、Natarajan Shankar、John Rushby 相关软件: Coq;Isabelle/HOL;HOL… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
HOL公司 592份文件引用(1985–2023) 软件作者: 迈克尔·J·C·戈登。 相关软件: 伊莎贝尔;Isabelle/HOL;ML… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
VAMPIRE公司 308份文件引用(1985–2023) 软件作者: 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 相关软件: TPTP;E定理证明器;SPASS… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几何(51-XX)…
梅斯4 246篇文献引用(1995–2023) 软件作者: 威廉·麦库恩 相关软件: 证明人9;水獭;TPTP… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
E定理证明器 229篇文献引用(2001–2023) 软件作者: 斯蒂芬·舒尔茨 相关软件: VAMPIRE公司;TPTP;SPASS… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…
校准仪9 223篇文献引用(2006–2024) 软件作者: 威廉·麦库恩 相关软件: 梅斯4;水獭;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
SPASS公司 204篇文献引用(1996年-2023年) 软件作者: C Weidenbach、U Brahm、T Hillenbrand 相关软件: VAMPIRE公司;TPTP;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)…
佩斯卡 198篇文献引用(2001–2023) 软件作者: 阿内·兰塔 相关软件: MiniML;Coq;伊莎贝尔… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);几何(51-XX)…
CVC4型 185篇文献引用(2013–2023) 软件作者: Barrett,C.、Conway,C.L.、Deters,M.、Hadarean,L.、Jovanović,D.、King,T.、Reynolds,A.、Tinelli,C。 相关软件: z3;SMT-LIB;数学SAT5… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
ETPS公司 162篇文献引用(1986–2022) 软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning)、习宏伟(Hongwei Xi) 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
NQTHM公司 149份文件引用(1979年至2022年) 软件作者: 罗伯特·博伊尔(Robert S.Boyer)。;J.Strother摩尔 相关软件: HOL;ACL2;PVS… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);群论与推广(20-XX)…
Why3号机组 144篇文献引用(2004–2023) 软件作者: 弗朗索瓦·博博特;Jean-Christophe Filliátre;克劳德·马奇;纪尧姆·梅尔金德;安德烈·帕斯科维奇 相关软件: Coq;卡拉卡拉;z3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
Flyspeck飞点 132份文件引用(2004–2023) 软件作者: 托马斯·黑尔斯(Thomas C.Hales)。;坦克墨水,雕刻;塞萨里·卡利西克;约瑟夫·乌尔班(Josef Urban);赫尔曼·格乌弗斯 相关软件: HOL灯;Isabelle/HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);凸和离散几何(52-XX)…
SETHEO公司 引用于118篇文献(1990–2022) 软件作者: 莱茨,R。;舒曼,J。;拜耳,S。;比贝尔,W。 相关软件: TPTP;水獭;SPASS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
萨奇莫 92份文件引用(1988–2023) 软件作者: Manthey,R.,Bry,F。 相关软件: TPTP;水獭;SETHEO… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);群论与推广(20-XX)…
精益 92份文件引用(2015–2024) 软件作者: 微软;莱昂纳多·德·莫拉;孔宋浩;杰里米·阿维加德;弗洛里斯·范·道恩(Floris van Doorn);雅各布·冯·劳默 相关软件: Coq;Isabelle/HOL;Agda… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);范畴理论;同调代数(18-XX)…
cvc3型 80篇文献引用(2006–2023) 软件作者: 克拉克·巴雷特(Clark Barrett)、塞萨尔·蒂内利(Cesare Tinelli 相关软件: z3;SMT-LIB;Yices… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
名义伊莎贝尔 82份文件引用(2005–2023) 软件作者: 城市,基督教;塞萨里·卡利西克 相关软件: Isabelle/HOL;流行标志;Coq… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
马蒂塔 78篇文献引用(2007–2024) 软件作者: 安德烈亚·阿斯佩蒂(Andrea Asperti);里奇奥蒂,威尔默;Sacerdoti Coen,Claudio;恩里科·塔西 相关软件: Coq;米扎尔;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
测试程序集 78篇文献引用(1990–2022) 软件作者: Andrews,Peter B。;乍得·E·布朗。 相关软件: TPTP;ETPS;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
伊莎贝尔/采埃孚 70篇文献引用(1993–2023) 软件作者: 劳伦斯·保尔森 相关软件: 伊莎贝尔;Coq;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
iProver(iProver) 67篇文献引用(2008–2023) 软件作者: 康斯坦丁·科洛文 相关软件: TPTP;VAMPIRE公司;SPASS… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
KeY公司 55份文件引用(2000–2023) 软件作者: http://www.key-project.org/people.html 相关软件: JML;ESC/Java;卡拉卡拉… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
萨塔拉克 67篇文献引用(2010–2023) 软件作者: 乍得·E·布朗;安德烈亚斯·提克(Andreas Teucke);杰夫·萨克利夫(Geoff Sutcliffe);弗兰克·泰伊;格特·斯莫尔卡;朱利安·巴克斯;克里斯·本兹米勒 相关软件: TPTP;Isabelle/HOL;LEO-II… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
RRL公司 59篇文献引用(1985–2023) 软件作者: D.卡普尔;H.张 相关软件: 收入;水獭;NQTHM… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);非结合环与代数(17-XX)…
蛋糕ML 60篇文献引用(2014–2023) 软件作者: 拉马纳库马尔;玛格努斯·奥·米林(Magnus O.Myreen)。;迈克尔·诺里什(Michael Norrish);斯科特·欧文斯 相关软件: Isabelle/HOL;Coq;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
阿贝拉 57篇文献引用(2008–2023) 软件作者: 安德鲁·加塞克 相关软件: Twelf;白鲸;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
梅蒂塔斯基 56篇文献引用(2008–2024) 软件作者: 贝扎德·阿克巴普尔;劳伦斯·C·鲍尔森。 相关软件: QEPCAD;z3;PVS… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)…
凯伊马拉 55份文件引用(2008–2023) 软件作者: 安德烈·普拉泽;贾·戴维德·奎塞尔 相关软件: SpaceEx;凯伊迈拉X;高科技… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
梅蒂斯_ 58篇文献引用(1987–2023) 软件作者: Joe Leslie-Hurd;metis-users@gilith.com 相关软件: Isabelle/HOL;E定理证明器;TPTP… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
电源保护 52篇文献引用(2001–2020) 软件作者: 罗杰·琼斯;R.D.阿尔森。;戴夫·金;Lemma 1有限公司 相关软件: 马戏团;Z;HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);实函数(26-XX)…
KIV公司 51篇文献引用(1988–2022) 软件作者: M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件: Z;PVS;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
李奥伊 52篇文献引用(2008–2021) 软件作者: Benzmüller,C.,Paulson,L.,Theiss,F.,Fietzke,A 相关软件: 沙达拉;TPTP;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
区域设置 53篇文献引用(1999–2024) 软件作者: 克莱门斯·巴拉林 相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);代数几何(14-XX)…
香车叶草 50篇文献引用(1999–2022) 软件作者: 托马斯·希伦布兰德;伯恩德·洛什内尔 相关软件: VAMPIRE公司;TPTP;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…
污水处理厂 46篇文献引用(2007–2023) 软件作者: 维杰·加内什(Vijay Ganesh);特雷弗·汉森;马特·索斯;Dan Liew;Ryan Govostes;安德鲁·琼斯;等。 相关软件: z3;投掷;可爱… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
CeTA公司 49篇文献引用(2009–2023) 软件作者: 雷内·蒂曼;克里斯蒂安·斯特纳格尔 相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);交换代数(13-XX)…
奥斯卡 45篇文献引用(1992–2023) 软件作者: 约翰·波洛克。 相关软件: AFRA;Velev SAT基准;ClaiMaker… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
精益TAP 引用于44份文件(1994–2022) 软件作者: 贝恩哈德·贝克特;约阿希姆·波塞加 相关软件: SETHEO公司;TPTP;萨奇莫… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
Z/EVES公司 35篇文献引用(1998–2021) 软件作者: 社区Z工具项目 相关软件: Z;电源保护;马戏团… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数几何(14-XX)…
GHC公司 36篇文献引用(1986–2014) 软件作者: 上田,Kazunori 相关软件: PARLOG;基马;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
C-CoRN公司 41篇文献引用(2004–2023) 软件作者: 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡 相关软件: Coq;米扎尔;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);数值分析(65-XX)…
精益CoP 40篇文献引用(2001–2023) 软件作者: 延斯·奥顿 相关软件: 依兰CoP;TPTP;VAMPIRE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
GCLC公司 34份文件引用(2002–2023) 软件作者: 贾尼契奇,普雷德拉格 相关软件: 地质厚度;GeoGebra;GCL校准仪… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);几何(51-XX)…
分析 33篇文献引用(1993–2022) 软件作者: Bauer,A.、Clarke,E.M.、Zhao 相关软件: 定理;Nuprl公司;PVS… 主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);计算机科学(68-XX)…
IsaPlanner公司 33篇文献引用(2000–2022) 软件作者: 卢卡斯·狄克逊;莫阿·约翰逊 相关软件: 伊莎贝尔;Coq;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
ITP公司 31份文件引用(2005–2023) 软件作者: Clavel,M。;帕洛米诺,M。;A.里斯科。 相关软件: 莫德;SCC;咖啡OBJ… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
骑自行车的人 31份文件引用(2014–2023) 软件作者: N Gorogannis公司 相关软件: 幻灯片;HipSpec;SLAyer… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
折扣 31份文件引用(1996–2023) 软件作者: Denzinger,J。;Kronenburg,M。;舒尔茨,S。 相关软件: TPTP;VAMPIRE公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
地理1.1 31份文件引用(1996–2021) 软件作者: 王东明 相关软件: GeoGebra;GEX;地理信息… 主要字段: 场论与多项式(12-XX);几何(51-XX);数值分析(65-XX)…
伊朗CoP 32篇文献引用(2005–2022) 软件作者: 简斯·奥滕 相关软件: 精益CoP;TPTP;VAMPIRE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
欧米茄 32篇文献引用(1997–2016) 软件作者: 曼弗雷德·科伯;理论博物馆;西克曼,J。;Benzmüller,C。;菲德勒,A。;Meier,A。;Pollet,M。 相关软件: Coq;陷阱;OTTER… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
公主 在30份文件中引用(2010–2023) 软件作者: Angelo Brillout、Daniel Kroening、Philipp Rümmer、Thomas Wahl 相关软件: FOCI;z3;Eldarica… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
人力资源 27篇文献引用(2002–2022) 软件作者: 西蒙·科尔顿 相关软件: 涂鸦;水獭;梅斯4… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
MaLeCoP公司 在30份文件中引用(2011–2023) 软件作者: Josef Urban、JiříVyskočil、PetrŠtěpánek 相关软件: E定理证明器;马拉雷亚;Mizar… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)
达尔文 28篇文献引用(2005–2023) 软件作者: Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件: E-Darvin;TPTP;iProver… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
斯科特 27篇文献引用(1994–2017) 软件作者: 约翰·斯莱尼、阿诺德·比纳斯、卡利尔·霍奇森、大卫·普莱斯 相关软件: 水獭;TPTP;SETHEO… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
CCSL公司 24篇文献引用(2001–2015) 软件作者: Jan Rothe、Bart Jacobs和Hendrik Tews 相关软件: PVS;CoCasl;CASL… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
谜 25篇文献引用(2017–2023) 软件作者: Jakubův,J.,Urban,J。 相关软件: E定理证明器;VAMPIRE公司;FEMaLeCoP… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)
凯伊迈拉X 25篇文献引用(2015–2024) 软件作者: Fulton,N.、Mitsch,S.、Quesel,J.、Völp,M.、Platzer,A。 相关软件: 凯伊迈拉;Isabelle/HOL;Bellerophon… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
MSPASS公司 23篇文献引用(2000–2021) 软件作者: Ullrich Hustadt,Renate A.Schmidt 相关软件: TPTP;VAMPIRE公司;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
SACLIB公司 23篇文献引用(1993–2009) 软件作者: 大卫·G·理查德森:维尔纳·克兰迪克 相关软件: QEPCAD;枫树;FOXBOX… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)…
泽农 21篇文献引用(2007–2022) 软件作者: 理查德·博尼康;戴维·德拉哈耶(David Delahaye);Damien Doligez 相关软件: Coq;TPTP;dedukti… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
CAVA LTL模型检查器 23篇文献引用(2015–2021) 软件作者: 哈维尔·埃斯帕尔扎(Javier Esparza)、彼得·兰米奇(Peter Lammich)、雷内·诺依曼(Rene Neumann)、托比亚斯·尼普科(Tobias Nipkow)、亚历山大·辛普夫(Alexander Schimpf);Jan-Georg Smaus公司 相关软件: Isabelle/HOL;存档正式证据;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…
E-Darvin公司 23篇文献引用(2006–2023) 软件作者: 彼得·鲍姆加特纳(Peter Baumgartner);比约恩·佩尔泽;蒂内利、塞萨尔;亚历山大·富克斯(Alexander Fuchs);汉斯·德尼维尔 相关软件: 达尔文;梅斯4;TPTP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
HOL/旋转 22篇文献引用(2000–2017) 软件作者: 卡尔蒂基扬·巴尔干;卡尔·A·冈特。;达沃·奥布拉多维奇 相关软件: 自旋蛋白;Uppaal;AODV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
FEMaLeCoP公司 23篇文献引用(2015–2023) 软件作者: 塞萨里·卡利西克;约瑟夫·厄本 相关软件: E定理证明器;MaLeCoP;精简CoP… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);几何(51-XX)…
斯派克 23篇文献引用(1995–2020) 软件作者: Bouhoula,A.,Kounalis,E.,Rusinovitch,M。 相关软件: RRL;Coq;NQTHM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
DCTP公司 21篇文献引用(2001年至2017年) 软件作者: Letz,R.,Stenz,G 相关软件: E定理证明器;SPASS;VAMPIRE… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
GCL校准仪 20篇文献引用(2006–2023) 软件作者: Predrag Janicic;佩德罗·夸雷斯马 相关软件: 地质厚度;GCLC;GeoGebra… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)…
InKa公司 21篇文献引用(1990–2023) 软件作者: Serge Autexier、Susanne Biundo、Birgit Hummel、Dieter Hutter、Claus Sengler、Christoph Walther 相关软件: 蛤;牡蛎;NQTHM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
拉瓦 20篇文献引用(2011–2023) 软件作者: 玛格努斯·奥·米林(Magnus O.Myreen)。;贾里德·戴维斯 相关软件: 吉塔瓦;HOL;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
SPASS+T系列 21篇文献引用(2007–2023) 软件作者: 维吉尔·普雷沃斯托;乌韦·沃尔德曼 相关软件: z3;TPTP;VAMPIRE… 主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);计算机科学(68-XX)
TRP公司++ 20篇文献引用(2004–2023) 软件作者: Hustadt,U.,Konev,B。 相关软件: NuSMV;SPASS;利维坦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
TVOC公司 20篇文献引用(2005–2022) 软件作者: 克拉克·巴雷特;方毅;本杰明·戈德伯格(Benjamin Goldberg);胡莹;阿米尔·普努利;勒诺尔·扎克 相关软件: CVT;Coq;z3… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
Z3str3号机组 19份文件引用(2018年-2023年) 软件作者: Berzish,M.、Ganesh,V.、Zheng,Y。 相关软件: z3;CVC4;诺恩… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
E-SETHEO公司 18篇文献引用(1997–2021) 软件作者: 格诺·斯坦兹;安德烈亚斯·沃尔夫 相关软件: SETHEO公司;TPTP;VAMPIRE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
狮子座 19份文件引用(1998–2022) 软件作者: Benzmüller,C.,Kohlhase,M。 相关软件: TPS;TPTP;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ModLeanTAP模式 19份文件引用(1998–2019) 软件作者: 贝恩哈德·贝克特;拉杰夫·戈尔 相关软件: 精益TAP;Coq;MSPASS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Alt-Ergo(备用发动机) 15篇文献引用(2008–2022) 软件作者: Sylvain Conchon、Evelyne Contejean 相关软件: Why3;z3;Coq… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
海尔雨果 17篇文献引用(2000–2011) 软件作者: Groote,J.F.,Warners,J.P。 相关软件: SATO;糠;DIMACS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
IsaCoSy公司 18篇文献引用(2010–2023) 软件作者: 穆阿·约翰逊(Moa Johansson);卢卡斯·狄克逊;阿兰·邦迪 相关软件: HipSpec;IsaPlanner;时髦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
数学网 16篇文献引用(2000–2016) 软件作者: 杰根·齐默;迈克尔·科尔哈斯 相关软件: TPTP;水獭;PVS… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);常微分方程(34-XX)…
TTM公司 18篇文献引用(2007–2023) 软件作者: J.Gaintzarain、M.Hermo、P.Lucio、M.Navarro、F.Orejas 相关软件: TRP++;拉比尼泽;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CSP防护 17篇文献引用(2005–2022) 软件作者: 吉野县Isobe;马库斯·罗根巴赫 相关软件: PVS;Isabelle/HOL;FDR2… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
地板 17篇文献引用(1992–2023) 软件作者: 韦登巴赫(Christoph Weidenbach);伯恩德·盖德;乔治·洛克 相关软件: SPASS;水獭;TPTP… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
HARP(HARP) 15篇文献引用(1990–2020) 软件作者: Opacher,F。;翻毛皮,E 相关软件: SETHEO公司;TPTP;3TAP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Mtac公司 16篇文献引用(2013–2021) 软件作者: Ziliani,贝塔;德里克·德雷尔(Derek Dreyer);克里希纳斯瓦米,尼拉坎坦R。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 相关软件: Coq;阿格达;Idris… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
布利克塞姆 15篇文献引用(1999–2012) 软件作者: de Nivelle,H。 相关软件: SPASS;水獭;TPTP… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)
HOL-Boogie公司 14篇文献引用(2008–2019) 软件作者: Böhme,萨沙;Leino,K.Rustan M。;沃尔夫,伯克哈特 相关软件: Isabelle/HOL;Why3;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MleanCoP公司 15篇文献引用(2014–2022) 软件作者: 延斯·奥滕 相关软件: QMLTP;TPTP;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
MMP/几何仪 15篇文献引用(2004–2023) 软件作者: 高小山;林强(Lin,Qiang) 相关软件: GEX;GCLC;GeoGebra… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);数值分析(65-XX)…
蛋白质 15篇文献引用(1994年-2006年) 软件作者: Baumgartner,P.,Furbach,美国。 相关软件: TPTP;SETHEO公司;OTTER… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
带 15篇文献引用(1999–2016) 软件作者: Larchey-Wendling,D。;M’ery,D。;迪迪埃·加米歇 相关软件: ILTP;依兰CoP;Imogen… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…