棱镜 498份文件引用(2001–2023) 软件作者: 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 相关软件: MRMC;风暴;Uppaal… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
NuSMV公司 279篇文献引用(1999年-2023年) 软件作者: 亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金西格里亚(Fausto Giunchiglia);马可·罗维里(Marco Roveri);罗伯特·卡瓦达(Roberto Cavada)、米歇尔·多里加蒂(Michele Dorigatti)、亚历山德罗·马里奥蒂(Alessandro Mariotti),安德烈亚·米切利(Andrea Micheli)、塞尔吉奥·莫弗(Sergio Mover)、马可·罗维里(Marco Rover 相关软件: 自旋蛋白;CUDD;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
克洛诺斯 246篇文献引用(1997–2022) 软件作者: Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件: Uppaal;高科技;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
Twelf公司 177份文件引用(1998–2023) 软件作者: Twelf项目;弗兰克·普芬宁(Frank Pfenning);卡斯滕·舒尔曼 相关软件: Coq;Isabelle/HOL;Abella… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…
低成本融资 164篇文献引用(1972–2024) 软件作者: 罗宾·米尔纳 相关软件: Coq;毫升;霍尔… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…
伊萨尔 156篇文献引用(2000–2024) 软件作者: 马卡里乌斯·温泽尔 相关软件: 伊莎贝尔;Isabelle/HOL;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
MONA公司 142篇文献引用(1995–2023) 软件作者: 尼尔斯·克拉伦德;莫勒,安德斯;迈克尔·施瓦茨巴赫(Michael I.Schwartzbach)。;J·埃尔加德。 相关软件: z3;DCVALID;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
MCMAS公司 86篇文献引用(2006–2023) 软件作者: 阿莱西奥·洛穆西奥(Alessio Lomuscio)、洪阳区(Hongyang Qu)、弗兰科·雷蒙迪(Franco Raimondi) 相关软件: MCK;摩卡;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
ALF公司 68篇文献引用(1993–2018) 软件作者: 莉娜·马格努森 相关软件: Coq;自动化;数字(amp;N)… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几何(51-XX)…
StarExec公司 62篇文献引用(2014–2023) 软件作者: 亚伦·斯塔姆;杰夫·萨克利夫(Geoff Sutcliffe);塞萨尔·蒂内利 相关软件: TPTP;z3;VAMPIRE… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);凸和离散几何(52-XX)…
阿贝拉 57篇文献引用(2008–2023) 软件作者: 安德鲁·加塞克 相关软件: Twelf;白鲸;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
METATEM公司 49篇文献引用(1994–2016) 软件作者: 巴林格,H。;费希尔,M。;加巴伊,D。;戈夫,G。;R.欧文斯。 相关软件: AgentSpeak;高尔夫;ConGolog… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
MMT公司 引用于54份文件(2009–2022) 软件作者: 弗洛里安·拉贝 相关软件: OMDoc;质量管理团队;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-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)…
连续可变成本 45篇文献引用(2002–2021) 软件作者: 阿伦·斯塔姆(Aaron Stump);克拉克·巴雷特(Clark W.Barrett)。;大卫·L·迪尔。 相关软件: CVC-Lite;简化;箔条… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
精益TAP 44篇文献引用(1994–2022) 软件作者: 贝恩哈德·贝克特;约阿希姆·波塞加 相关软件: SETHEO;TPTP;萨奇莫… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
PGSolver公司 41篇文献引用(2009–2023) 软件作者: 奥利弗·弗里德曼;马丁·兰格 相关软件: Oink;条纹;mCRL2… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
KL-ONE公司 37篇文献引用(2001年至2022年) 软件作者: 弗兰茨·巴德;乌尔里克·萨特勒 相关软件: FaCT++;赛车手;颗粒… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
IsaPlanner公司 33篇文献引用(2000–2022) 软件作者: 卢卡斯·狄克逊;莫阿·约翰逊 相关软件: 伊莎贝尔;Coq;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
LoTREC公司 29篇文献引用(2001–2023) 软件作者: 奥利维尔·盖斯克特(Olivier Gasquet);安德烈亚斯·赫尔齐格;多米尼克·朗金;穆罕默德·萨哈德 相关软件: PVS;SPASS;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
CoqHammer公司 28篇文献引用(2017–2023) 软件作者: 库卡斯·扎伊卡;塞萨里·卡利西克 相关软件: Coq;E定理证明器;VAMPIRE… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数几何(14-XX)…
去甲肾上腺素 21篇文献引用(2000–2022) 软件作者: 迈克尔·马赫(Michael Maher);特里斯坦·米勒 相关软件: DR-Prolog;DLV2;WebPIE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
MetaPRL公司 26篇文献引用(2000–2022) 软件作者: 杰森·希基(Jason Hickey)、亚历克谢·诺金(Alexey Nogin)、埃利·巴兹雷(Eli Barzilay) 相关软件: Coq;Nuprl;PVS… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
SMT-RAT型 在25份文件中引用(2013–2024) 软件作者: Corzilius,F.、Kremer,G.、Junges,S.、Schupp,S.和Al brahám,E。 相关软件: z3;SMT-LIB;CVC4… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);代数拓扑(55-XX)…
MSPASS公司 23篇文献引用(2000–2021) 软件作者: Ullrich Hustadt,Renate A.Schmidt 相关软件: TPTP;VAMPIRE公司;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
毒蛇 在25份文件中引用(2016–2023) 软件作者: 彼得·穆勒(Peter Müller)、马尔特·施沃尔霍夫(Malte Schwerhoff)、亚历山大·萨默斯(Alexander J.Summers) 相关软件: VeriFast;达夫尼;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
狮子座III 21篇文献引用(2015–2023) 软件作者: 亚历山大·斯廷;马克斯·维斯涅夫斯基(Max Wisniewski);克里斯托夫·本兹穆勒 相关软件: 沙达拉;TPTP;伊莎贝尔·霍尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
SCEL公司 18篇文献引用(2014–2023) 软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂齐、安德烈·范丁 相关软件: 科莱姆;莫德;CARMA… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
三倍的 16篇文献引用(2002–2015) 软件作者: Michael Sintek;斯特凡·戴克 相关软件: SPARQL;平滑;XSB… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);天文学和天体物理学(85-XX)…
MUltlog公司 引用于20份文件(1996–2023) 软件作者: 格诺·萨尔泽;维也纳多值逻辑小组 相关软件: JGXYZ;VAMPIRE公司;MetTeL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ModLeanTAP模式 19份文件引用(1998–2019) 软件作者: 贝恩哈德·贝克特;拉杰夫·戈尔 相关软件: 精益TAP;Coq;MSPASS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
亚帕 18篇文献引用(2009–2020) 软件作者: 马修·波德特;科蒂尔、维罗尼克;斯特凡尼德劳恩 相关软件: AVISPA;阿克斯;莫德NPA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
拉丁语 17篇文献引用(2011–2021) 软件作者: Codescu,Mihai;霍罗扎尔、富利亚;Michael Kohlhase;莫萨科夫斯基(Till Mossakowski);弗洛里安·拉贝 相关软件: MMT;OMDoc;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
MetTeL公司 16篇文献引用(2011–2021) 软件作者: 蒂什科夫斯基,德米特里;雷娜特·施密特(Renate A.Schmidt)。;穆罕默德·科达达迪 相关软件: LoTREC;KL-ONE;Gen2sat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CEL公司 14篇文献引用(2008–2022) 软件作者: 巴德,F.,卢茨,C.,桑蒂斯里瓦拉朋,B。 相关软件: 颗粒;FaCT++;ELK… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
飞天螳螂 14篇文献引用(2009–2017) 软件作者: 克雷默斯,C。 相关软件: AVISPA;阿基斯;塔马林… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
MleanCoP公司 15篇文献引用(2014–2022) 软件作者: 延斯·奥滕 相关软件: QMLTP;TPTP;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
氮氧化物 14篇文献引用(2007–2022) 软件作者: 马库斯·贝勒 相关软件: Matlab;Normaliz;PPL… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
CoLoSS公司 13份文件引用(2009–2020) 软件作者: G.Calin、R.Myers、D.Pattinson、L.Schröder 相关软件: FaCT++;颗粒;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
JProver公司 14篇文献引用(2001–2020) 软件作者: Schmitt,S.、Lorigo,L.、Kreitz,C.、Nogin,A 相关软件: 依兰CoP;精益CoP;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
MEDLAR公司 14篇文献引用(1995–2013) 软件作者: 布鲁诺·巴赫伯格、约阿希姆·普法尔兹格拉夫、卡雷尔·斯托克曼、沃尔夫冈·盖尔克、维奥里卡·索夫罗尼 相关软件: 枫树;6月2日;BVPh… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
崔弟 14篇文献引用(2016–2023) 软件作者: 蒂姆,M。 相关软件: DiArg;拉尔斯;Clingo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
3TAP公司 13份文件引用(1993年至2019年) 软件作者: 雷纳·Hähnle;贝恩哈德·贝克特;斯特凡·格伯丁;沃纳·科尼格 相关软件: SETHEO公司;HARP;TPTP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HTab公司 11份文件引用(2009–2020) 软件作者: 纪尧姆·霍夫曼;卡洛斯·阿雷塞斯 相关软件: 斯巴达克斯;HyLoTab;HGen;…(H)… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
质量管理长期计划 12份文件引用(2012–2022) 软件作者: 托马斯·拉斯(Thomas Raths);延斯·奥滕 相关软件: TPTP;MleanCoP;MSPASS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
玛丽 8份文件引用(2013–2022) 软件作者: 莫妮卡·海纳;克里斯蒂安·罗尔(Christian Rohr);马丁·施瓦克 相关软件: 清爽;棱镜;SABRE… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
壁画 10篇文献引用(1991–2014) 软件作者: C.B.琼斯。;K.D.琼斯。;林赛,P.A。;R.D.摩尔。 相关软件: RAISE(提升);落叶松;霍尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
雅典娜 10篇文献引用(2004年至2017年) 软件作者: 康斯坦丁·阿库达斯 相关软件: 雅典娜;HE-e1-godf;卡斯特罗… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
康德莱恩 引用于9份文件(2003–2023) 软件作者: 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 相关软件: KLMLean公司;精益TAP;NESCOND… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
数据日志LITE 引用于9份文件(2002–2019) 软件作者: 乔治·戈特洛布(Georg Gottlob);Erich Grädel;赫尔穆特·维思 相关软件: XPath;Ltur;ComputeTW… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
IDLVALID公司 10篇文献引用(2001–2013) 软件作者: 帕里托什·K·潘迪亚。 相关软件: DCVALID;Uppaal;Kronos… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MASTRO公司 8份文件引用(2018–2021) 软件作者: Calvanee,D.等人。 相关软件: Ontop;SPARQL;扣… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
元游戏 引用于9份文件(1991–2009) 软件作者: 马库斯·穆勒·奥尔姆(Markus Müller-Olm)、海森柳(Haiseung Yoo) 相关软件: 自旋蛋白;GDL;jETI公司 主要字段: 算子理论(47-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
圣杯 8份文件引用(2010–2022) 软件作者: R.模拟。 相关软件: CatLog3;洛利;GitHub… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
InKreSAT公司 引用于9份文件(2013–2022) 软件作者: 马克·卡明斯基(Mark Kaminski);托比亚斯·特比 相关软件: 斯巴达克斯;BDDTab;FaCT++… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
N3逻辑 7份文件引用(2008–2017) 软件作者: 蒂姆·伯纳斯-李(Tim Berners-Lee);Dan Connolly;拉拉纳·卡加尔;沙夫,约西;吉姆·亨德勒 相关软件: 平滑;MWeb;SPARQL… 主要字段: 计算机科学(68-XX)
OCRA公司 引用于9份文件(2015–2022) 软件作者: Cimatti,A。;Dorigatti,M。;托内塔,S。 相关软件: nuXmv;NuSMV;数学SAT5… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
合金* 7份文件引用(2017–2023) 软件作者: Milicevic,A.,Near,J.P.,Kang,E.,Jackson,D。 相关软件: z3;波尔多;GitHub… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
信标 8份文件引用(2016–2022) 软件作者: Arif,M.Fareed;卡洛斯·门西亚;阿列克谢·伊格纳提耶夫(Alexey Ignatiev);诺伯特·曼恩;拉斐尔·佩尼亚洛萨;若昂·西尔瓦侯爵 相关软件: HgMUS;ELK;EL2MCS… 主要字段: 计算机科学(68-XX)
CITP公司 8份文件引用(2013–2023) 软件作者: 戈因纳,丹尼尔;张敏;千叶,Yuki;有本,安仁 相关软件: 莫德;OBJ咖啡馆;保监会… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
嵌入模式 8份文件引用(2017–2023) 软件作者: Gleißner,托拜厄斯;亚历山大·斯蒂恩(Alexander Steen);克里斯托夫·本兹穆勒 相关软件: Nitpick公司;Isabelle/HOL;沙达拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ESBMC公司 4份文件引用(2014–2020) 软件作者: 南安普顿大学、斯泰伦博什大学、亚马逊河联邦大学;卢卡斯·科尔代罗(Lucas Cordeiro);杰里米·莫尔斯(Jeremy Morse);丹尼斯·尼科尔;伯恩德·菲舍尔 相关软件: CBMC;LLBMC;爆炸… 主要字段: 计算机科学(68-XX)
Java+ITP 7份文件引用(2007–2013) 软件作者: Sasse,R.和Meseguer,J。 相关软件: 莫德;爪哇风扇;K谚语… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
克里普克 8份文件引用(1980–2005) 软件作者: 迈克尔·麦克罗比(Michael A.McRobbie)。;Thistlewaite,Paul B。;罗伯特·梅耶(Robert K.Meyer)。 相关软件: TABLEAUX公司;GLEFatinf公司 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
LIRA公司 7份文件引用(2008–2021) 软件作者: Becker,B.、Dax,C.、Eisinger,J.、Klaedtke,F。 相关软件: 睫毛;cvc3;TaPAS… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
MultiVeStA公司 6篇文献引用(2016–2023) 软件作者: 斯特凡诺·塞巴斯蒂奥;安德烈·范丁 相关软件: 莫德;PVeStA公司;皮尔洛… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
扎普 6篇文献引用(2005–2008) 软件作者: 托马斯·鲍尔、舒文杜·拉希里和穆苏瓦蒂夫人 相关软件: ESC/Java;规范#;简化… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
AxiomCalc(公理计算器) 7份文件引用(2012–2017) 软件作者: 保罗·巴尔迪;蝉蜕、阿加塔;斯彭迪,劳拉 相关软件: – 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
目标 6篇文献引用(2009–2015) 软件作者: Tsay,Y.-K.,Chen,Y.-F.,Tsai,M.-H.,Wu,K.-N.,Chan,W.C。 相关软件: 自旋蛋白;LTL2BA;Matlab… 主要字段: 计算机科学(68-XX)
HgMUS公司 7份文件引用(2015–2022) 软件作者: Arif,M.Fareed;卡洛斯·门西亚;若昂·西尔瓦侯爵 相关软件: 信标;Ltur;ELK… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
HyLoRes公司 7份文件引用(2002–2020) 软件作者: Areces,C。;J.Heguiabehere。 相关软件: 斯巴达克斯;HyLoTab;HTab… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HyLoTab标签 7份文件引用(2007–2020) 软件作者: J.van Eijck先生 相关软件: HTab;斯巴达克斯;HyLoRes… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
NESCOND公司 7份文件引用(2014–2023) 软件作者: 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 相关软件: 康德莱恩;月球;KLMLean… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
无HR 6篇文献引用(2015–2022) 软件作者: 卡洛斯·洛佩斯;马蒂亚斯·克诺尔;约昂·莱特 相关软件: 钾肥公司;康clude;赫密特… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
RacerPro赛车 7份文件引用(2014–2022) 软件作者: Haarslev,V.、Hidde,K.、Möller,R.、Wessel,M。 相关软件: 赫密特;赛车手;颗粒… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
英国皇家海军陆战队 6篇文献引用(2020–2022) 软件作者: Niemetz,A。;普雷纳,M。;沃尔夫,C。;Biere,A。;节流阀,H。;G·威森巴赫 相关软件: Boolector;爱格;Yosys… 主要字段: 计算机科学(68-XX)
DMCS公司 6篇文献引用(2010–2016) 软件作者: Seif El-Din Bairakdar;明道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 相关软件: 克林孔;数据日志;GASP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
EL2MCS公司 5份文件引用(2015–2018) 软件作者: Arif,M.F.,Mencía,C.,Marques-Silva,J。 相关软件: 信标;只是;HgMUS… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
Ergo 6号机组 6篇文献引用(1997–2003) 软件作者: 马克·乌廷(Mark Utting);彼得·罗宾逊(Peter Robinson);雷·尼克森 相关软件: Qu-Prolog;电子LOTOS;CADP… 主要字段: 计算机科学(68-XX)
KLMLean公司 6篇文献引用(2007–2023) 软件作者: 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 相关软件: 康德莱恩;NESCOND;CSLLean… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
莫塞尔 5份文件引用(1997–2018) 软件作者: P.Kelb、T.Margaria、M.Mendler、C.Gsottberger 相关软件: MONA;Z;EMBOSS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Crowfoot公司 5份文件引用(2011–2015) 软件作者: 纳撒尼尔·查尔顿;本·霍斯福尔(Ben Horsfall);罗伊斯,伯恩哈德 相关软件: 小脚;VeriFast;jStar… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CTL-RP公司 5份文件引用(2010–2021) 软件作者: 张澜;乌尔里希·赫斯塔特;克莱尔·狄克逊 相关软件: SPASS;TRP++;TeMP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
伊曼德拉 5份文件引用(2020–2022) 软件作者: 格兰特·奥尼·帕斯莫尔(Grant Olney Passmore)、西蒙·克鲁恩斯(Simon Cruanes)、丹尼斯·伊格纳托维奇(Denis Ignatovich)、戴夫·艾特肯(Dave Aitken)、马特·布雷(Matt Bray 相关软件: VAMPIRE公司;SMT-LIB;芝诺… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LogiKEy公司 5份文件引用(2020–2022) 软件作者: Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件: Isabelle/HOL;Nitpick公司;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
机械化语义库 5份文件引用(2011–2015) 软件作者: Appel,A.W.,Dockins,R.,Hobor,A 相关软件: Coq;pthreads;布吉… 主要字段: 数学逻辑与基础(03-XX);通用拓扑(54-XX);计算机科学(68-XX)
ModuRes公司 5份文件引用(2015–2022) 软件作者: 菲利普·西奇科夫斯基(Filip Sieczkowski);阿列舍·比兹亚克;拉尔斯·比克达尔 相关软件: Coq;VST弗洛伊德;锈带… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MoSeL公司 5份文件引用(2018年-2023年) 软件作者: Robbert Krebbers;雅克·亨利·乔丹(Jacques-Henri Jourdan);Ralf Jung;约瑟夫·塔萨罗蒂;Kaiser,Jan-Oliver;阿明·蒂曼尼;亚瑟·查古埃罗(Arthur Charguéraud);德雷克·德雷尔 相关软件: Coq;抓斗;VeriFast… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
修补程序类型 5份文件引用(2003–2010) 软件作者: Michael Y.莱文。;本杰明·皮尔斯。 相关软件: 毫升;OCaml;Ott… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
塞尔夫 4份文件引用(2008–2023) 软件作者: 安德斯·沙克·奈尔森(Anders Schack-Nielsen);卡斯滕·舒尔曼 相关软件: TALx86;洛利;混合型… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
酷 3份文件引用(2014–2018) 软件作者: Gorín,丹尼尔;德克·帕丁森;卢茨·施罗德;佛罗里达州Widmann;托尔斯滕·维曼 相关软件: LoTREC;精益K;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
认识逻辑 4份文件引用(2020–2021) 软件作者: 阿斯塔·哈尔克 相关软件: 存档正式证据;Isabelle/HOL;Agda… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
FAME公司 4份文件引用(2018–2022) 软件作者: 赵仪征;雷娜特·施密特(Renate A.Schmidt)。 相关软件: ELK;蛋白质-TS;Evonne… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)