z3(零3) 753份文件引用(2001–2024) 软件作者: 微软研究院;莱昂纳多·德·莫拉;尼古拉·比约纳 相关软件: CVC4;SMT-LIB;伊塞斯… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
毫升 516份文件引用(1978–2024) 软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学 相关软件: HOL;辅酶q;伊莎贝尔… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
联合 183份文件引用(1988–2021) 软件作者: K.Mani Chandy;贾亚德夫·米斯拉 相关软件: NQTHM;PVS;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
CESAR公司 160篇文献引用(1982–2023) 软件作者: Queille,J.P。;J.西法基斯。 相关软件: 自旋;SLAM;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
酯类 137篇文献引用(1985–2023) 软件作者: 杰拉德·贝瑞 相关软件: 卢斯特;信号;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
ETPS公司 162篇文献引用(1986–2022) 软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
Why3号机组 144篇文献引用(2004–2023) 软件作者: 弗朗索瓦·博博特;Jean-Christophe Filliátre;克劳德·马奇;纪尧姆·梅尔金德;安德烈·帕斯科维奇 相关软件: Coq;卡拉卡拉;z3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
OBJ3型 140篇文献引用(1989–2023) 软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(基尼里) 相关软件: 莫德;OBJ咖啡馆;CASL… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
爆炸 111篇文献引用(2003–2022) 软件作者: 托马斯·亨辛格(Thomas A.Henzinger)。;Jhala,Ranjit;Rupak Majumdar;格雷戈伊尔·萨特雷 相关软件: SLAM;CPA检查员;CBMC… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
Java PathFinder 95篇文献引用(2000–2023) 软件作者: 克劳斯·哈弗伦德;托马斯·普雷斯伯格 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)
达夫尼 104篇文献引用(2010–2024) 软件作者: 鲁斯坦·莱诺 相关软件: z3;Why3;布吉… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
CBMC公司 86篇文献引用(2004–2023) 软件作者: Clarke E、Kroening D、Lerda F 相关软件: 爆炸;MiniSat;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
VeriFast公司 75篇文献引用(2009–2023) 软件作者: 巴特·雅各布斯;Jan Smans;弗兰克·皮森斯 相关软件: 达夫尼;布吉;z3… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
CompCert公司 58篇文献引用(2009–2023) 软件作者: X·勒罗伊。 相关软件: Coq;Isabelle/HOL;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
CPA检查器 45篇文献引用(2011–2023) 软件作者: 德克·拜尔、斯特凡·洛韦、菲利普·温德勒 相关软件: 爆炸;CBMC;SLAM… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
凯伊迈拉 55份文件引用(2008年-2023年) 软件作者: 安德烈·普拉泽;贾·戴维德·奎塞尔 相关软件: SpaceEx;凯伊梅拉X;高科技… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
CiaoPP公司 51份文件中引用(1999–2022) 软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件: Ciao;SICStus公司;水星… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HSolver公司 48篇文献引用(2005年-2023年) 软件作者: Stefan Ratschan;知坤社;托马斯·泽特库利奇 相关软件: RSOLVER公司;基准;高科技… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
廷巴克 49篇文献引用(2001–2023) 软件作者: 托马斯·杰奈特;Yohan Boichut;贝诺·博伊尔;Valérie Viet Triem Tong。。 相关软件: 莫德;AVISPA;ELAN… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
WhyML公司 44篇文献引用(2013–2023) 软件作者: Jean-Christophe Filliátre;安德烈·帕斯科维奇 相关软件: Why3;z3;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
jStar公司 32篇文献引用(2008–2022) 软件作者: DiStefano,D.,Parkinson,M。 相关软件: 小脚;VeriFast;Why3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
日本运通银行 25篇文献引用(2002–2022) 软件作者: 克劳斯·哈弗伦德;格里高·罗什乌 相关软件: Java PathFinder;莫德;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
敖德萨语 29篇文献引用(1988–2021) 软件作者: J.R.Leis和M.A.Kramer 相关软件: AUTO-86;CVODES;LSODE… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
SETL公司 28篇文献引用(1986–2023) 软件作者: 施瓦茨,J.T。;杜瓦,R.B.K。;杜宾斯基,E。;肖恩伯格,E。 相关软件: Z;JSetL;裁判… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);一般代数系统(08-XX)…
qGCL公司 25篇文献引用(2000–2024) 软件作者: 保罗·祖利亚尼 相关软件: QPL;质量管理清单;Quipper… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
Minlog公司 25篇文献引用(2001–2023) 软件作者: 乌尔里希·伯杰;宫本健二;赫尔穆特·施维赫滕贝格(Helmut Schwichtenberg);莫尼卡·塞森伯格 相关软件: Coq;Nuprl;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);场论与多项式(12-XX)…
MOPS公司 15篇文献引用(2003–2019) 软件作者: Chen,H.、Wagner,D。 相关软件: SLAM;爆炸;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
F类* 21篇文献引用(2011–2020) 软件作者: 微软研究院(INRIA);尼基尔·斯瓦米;Chen,Juan;Fornet,塞德里克;支柱,Pierre-Yves;Bhargavan,Karthikeyan;杨吉恩 相关软件: Coq;Nuprl;EasyCrypt… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
税收 15篇文献引用(2001–2017) 软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特 相关软件: Uppaal;克罗诺斯;埃菲尔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)
TVOC公司 20篇文献引用(2005–2022) 软件作者: 克拉克·巴雷特;方毅;本杰明·戈德伯格(Benjamin Goldberg);胡莹;阿米尔·普努利;勒诺尔·扎克 相关软件: CVT;Coq;z3… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
SCEL公司 引用于17份文件(2014年-2023年) 软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂奇、安德烈·范丁 相关软件: 科莱姆;莫德;PALOMA… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
Alt-Ergo(备用发动机) 15篇文献引用(2008–2022) 软件作者: Sylvain Conchon、Evelyne Contejean 相关软件: Why3;z3;Coq… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
无级变速器 18篇文献引用(1998–2021) 软件作者: 普努利,A。;Shtrickman,O。;西格尔,M。 相关软件: TVOC;CVC;系统C… 主要字段: (68U99-XX);(68N20-XX)
FunArray(趣味阵列) 18篇文献引用(2011–2021) 软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐 相关软件: ASTREE公司;z3;助推器… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)
GPU验证 14篇文献引用(2013年至2022年) 软件作者: 彼得·科林伯恩(Peter Collingbourne);阿拉斯泰尔·唐纳森。;杰罗·凯特马(Jeroen Ketema);沙兹·卡迪尔 相关软件: GKLEE;CUDA;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
推断 15篇文献引用(2015–2023) 软件作者: Calcagno,C.,Distefano,D。 相关软件: 幻灯片;小脚;HIP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
铁人舰队 16篇文献引用(2017–2023) 软件作者: Hawblitzel,C。;豪厄尔,J。;卡普里特索斯,M。;Lorch,J.R。;巴诺,B。;罗伯茨,M.L。;塞蒂,S.T.V。;齐尔,B 相关软件: z3;达夫尼;常春藤… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
智能手机 14篇文献引用(2008–2014) 软件作者: 叶卡捷琳娜·奥尔;沃尔夫拉姆·路德 相关软件: ValEncIA-IVP;FADBAD++;ValEncIA… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
HOL-Boogie公司 14篇文献引用(2008年至2019年) 软件作者: Böhme,萨沙;Leino,K.鲁斯坦M。;沃尔夫,伯克哈特 相关软件: 伊莎贝尔·霍尔;Why3;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
螺纹加工工 12份文件引用(2012–2020) 软件作者: 科内留·波皮亚(Corneliu Popeea);安德烈·雷巴尔琴科 相关软件: CPA检查员;SLAM;CBMC… 主要字段: 计算机科学(68-XX)
BoogiePL公司 11份文件引用(2005–2020) 软件作者: DeLine,R.,Leino,K.R.M。 相关软件: z3;规范#;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
科根(Cogent) 11份文件引用(2005–2018) 软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜 相关软件: 卫星抗体;简化;旋转… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
pGCL公司 14篇文献引用(2005–2022) 软件作者: 公鸡,D。 相关软件: 辅酶q;Isabelle/HOL;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
跟踪器 14篇文献引用(2012–2022) 软件作者: Jaffar,J.、Navas,J.A.、Santosa,A.E。 相关软件: SeaHorn;z3;VeriMAP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
VeriMAP公司 13份文件引用(2015–2022) 软件作者: De Angelis E、Fioravanti F、Pettorossi A、Proietti M 相关软件: z3;跟踪器;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)
西格玛* 13份文件引用(2013年至2022年) 软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić) 相关软件: 拉利布;libalf;z3… 主要字段: 计算机科学(68-XX)
悉尼商学院 13份文件引用(2014–2021) 软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克 相关软件: z3;vZ;OptiMathSAT… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
凯撒 11份文件引用(2004–2021) 软件作者: 休伯特·加拉维;Wendelin Serwe;INRIA罗纳阿尔卑斯山 相关软件: CADP;NUPN_INFO;caesar.bdd… 主要字段: –
网络服务提供商 9份文件引用(2008–2018) 软件作者: 科马克·弗拉纳根(Cormac Flanagan);帕特丽斯·戈德弗里德 相关软件: KLEE公司;自旋蛋白;veriSoft… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
圣杯 10篇文献引用(2012–2022) 软件作者: K.Rustan M.Leino;彼得·米勒;简·斯曼斯 相关软件: VeriFast;布吉;毒蛇… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
贾斯 5份文件引用(2005–2009) 软件作者: Bartetzko,医学博士,Fischer,C.,Wehrheim,H。 相关软件: JML;埃菲尔;规范#… 主要字段: 计算机科学(68-XX)
爪哇-MaC 11份文件引用(2003年至2021年) 软件作者: Moonzoo Kim、Mahesh Viswanathan、Sampath Kannan、Insup Lee、Oleg Sokolsky 相关软件: JPAX;Java-MOP;哈哈… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
克拉托斯 10篇文献引用(2011–2022) 软件作者: A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件: 爆炸;系统C;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RealCertify公司 10篇文献引用(2018–2023) 软件作者: Victor Magron,Mohab Safey El Din 相关软件: TSSOS;塞杜米;Mosek… 主要字段: –
VeriCool公司 10篇文献引用(2009–2022) 软件作者: Smans,J.、Jacobs,B.、Piessens,F。 相关软件: 布吉;VeriFast;VCC… 主要字段: 计算机科学(68-XX)
BAP(BAP) 7份文件引用(2012–2021) 软件作者: Brumley,D.、Jager,I.、Avgerinos,T.、Schwartz,E.J。 相关软件: BitBlaze;ASTREE公司;z3… 主要字段: 计算机科学(68-XX)
CoVaC公司 9份文件引用(2009–2022) 软件作者: Zaks,A.,Pnueli,A。 相关软件: z3;SeaHorn;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
数据日志LITE 9份文件引用(2002–2019) 软件作者: 乔治·戈特洛布(Georg Gottlob);Erich Grädel;赫尔穆特·维思 相关软件: XPath;Ltur;ComputeTW… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MAVEN公司 9份文件引用(2007–2013) 软件作者: Max Goldman;埃米利亚·卡茨(Emilia Katz);Shmuel Katz 相关软件: ProMoVer;CVPP;Aspectual凸轮… 主要字段: 计算机科学(68-XX)
Speedith公司 9份文件引用(2012–2019) 软件作者: Urbas,M.、Jamnik,M.,Stapleton,G.、Flower,J。 相关软件: 超防;伊莎贝尔;迪亚贝利… 主要字段: –
VeriFun公司 10篇文献引用(2005–2017) 软件作者: 克里斯托夫·沃尔特;斯蒂芬·施韦策 相关软件: ACL2;哈斯克尔;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
克莱纳代数 9份文件引用(2015–2022) 软件作者: A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件: 存档正式证据;Isabelle/HOL;大锤… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…
精炼一元 9份文件引用(2014–2020) 软件作者: 彼得·兰米奇 相关软件: Isabelle/HOL;存档正式证据;伊莎贝尔… 主要字段: 组合数学(05-XX);常微分方程(34-XX);数值分析(65-XX)…
终极Automizer 8份文件引用(2015–2022) 软件作者: 马提亚斯·海兹曼;耶尔根基督;丹尼尔·迪特施(Daniel Dietsch);埃夫伦·埃尔米斯(Evren Ermis);Jochen Hoenicke;马库斯·林登曼;亚历山大·纳茨(Alexander Nutz);席林(Christian Schilling);安德烈亚斯·波德尔斯基 相关软件: SMT互联网;CBMC;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
电动汽车 6篇文献引用(2001年至2021年) 软件作者: 拉尔斯-奥克·弗雷德隆德;迪利安·古罗夫;托马斯·诺尔;Mads大坝;托马斯艺术;根纳迪·楚格诺夫 相关软件: 埃尔朗;伊莎贝尔;Coq… 主要字段: 计算机科学(68-XX)
F外壳 6篇文献引用(2010–2016) 软件作者: 安德烈亚斯·霍尔泽(Andreas Holzer);克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格(Michael Tautschnig);赫尔穆特·维思 相关软件: Java PathFinder;CPA检查员;RapiTime… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
HMC公司 7份文件引用(2014–2021) 软件作者: Jhala,R.、Majumdar,R.和Rybalchenko,A。 相关软件: z3;垫片;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Java+ITP 7份文件引用(2007–2013) 软件作者: Sasse,R.,Meseguer,J。 相关软件: 莫德;爪哇风扇;K校准仪… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
拉赫夫特 8份文件引用(2018–2023) 软件作者: Kafle,B.,Gallagher,J.P.,Morales,J.F。 相关软件: z3;SeaHorn;TreeAutomizer… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RGITL公司 8份文件引用(2014–2022) 软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang 相关软件: 自旋蛋白;KIV;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
tK目标 6篇文献引用(2005–2008) 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);丹尼尔·戈拉(Daniele Gorla);罗萨里奥·普格利泽 相关软件: 科莱姆;琳达;克拉瓦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
VST-弗洛伊德 8份文件引用(2018–2023) 软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特;约西亚·多兹;安德鲁·W·阿佩尔。 相关软件: Coq;工具链;锈蚀… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
扎普 6篇文献引用(2005–2008) 软件作者: 托马斯·鲍尔、舒文杜·拉希里和穆苏瓦蒂夫人 相关软件: 电子稳定控制系统/Java;规范#;简单… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
CVPP公司 7份文件引用(2004–2015) 软件作者: 赫斯曼(Marieke Huisman);古罗夫,帝力 相关软件: MAVEN公司;班德拉;Uppaal… 主要字段: 数论(11-XX);统计学(62-XX);计算机科学(68-XX)…
电子音量检查 7份文件引用(2013年至2022年) 软件作者: 格里戈里·费德尤科维奇;Ondrej Sery;娜塔莎·莎莉吉娜 相关软件: 佩里普洛;FunFrog;SymDiff… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
皮尔斯纳 7份文件引用(2015–2021) 软件作者: 乔治·奈斯(Georg Neis);Hur,Chung-Kil;Kaiser,Jan-Oliver;Craig McLaughlin;德里克·德雷尔(Derek Dreyer);维克托·瓦菲亚迪斯 相关软件: Coq;CakeML;Isabelle/HOL… 主要字段: 计算机科学(68-XX)
克拉拉 5份文件引用(2011–2021) 软件作者: Bodden E、Lam P、Laurie L 相关软件: Java-MOP;apcluster;VGGFace2… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
CPBPV公司 4份文件引用(2010–2023) 软件作者: 赫莱内·科拉维扎;米歇尔·鲁赫(Michel Rueher);帕斯卡·范·亨特利克 相关软件: TCAS;CBMC;毒蛇… 主要字段: 计算机科学(68-XX)
命令序列 3份文件引用(2017–2021) 软件作者: 伯恩德·菲舍尔;奥马尔·因弗索(Omar Inverso);Gennaro帕拉托 相关软件: CBMC;爆炸;懒惰的CSeq… 主要字段: 计算机科学(68-XX)
FunFrog公司 5份文件引用(2013–2019) 软件作者: Ondrej Sery;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 相关软件: eVolCheck;佩里普洛;OpenSMT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MSVL公司 6篇文献引用(2019–2020) 软件作者: 王晓兵、丛田、段振华、梁昭 相关软件: 自旋蛋白;CPA检查员;CESAR… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
复制BLAS 6篇文献引用(2020–2023) 软件作者: P.Ahrens、H.D.Nguyen、J.Demmel 相关软件: MPFR;mctoolbox;稀疏矩阵… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)
StEAM公司 3份文件引用(2004–2011) 软件作者: 彼得·莱文(Peter Leven);蒂尔曼·梅勒;斯特凡·爱德坎普 相关软件: 自旋蛋白;卫星抗体;Zing… 主要字段: 计算机科学(68-XX)
tcp_包 6篇文献引用(2018–2021) 软件作者: 古纳万,AD;卢,B。;张,L。 相关软件: S-Cluster++;算法447;ComputeTW… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
EPGY公司 3份文件引用(2001–2020) 软件作者: 理查德·索默(Richard Sommer);格雷戈里·努科尔斯 相关软件: LPL软件;减少;OTTER… 主要字段: 计算机科学(68-XX);数学教育(97-XX)
检流计 5份文件引用(2009–2019) 软件作者: 席尔瓦,P.F。;J.N.奥利维拉。 相关软件: 菲亚特;维拉斯科;ASTREE… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…
懒惰的CSeq 4份文件引用(2015–2018) 软件作者: 弗拉基米尔·赫特;Le,Hoang M。;丹尼尔·格罗(Daniel Große);罗尔夫·德雷克斯勒 相关软件: CBMC;Cseq;MU CSeq… 主要字段: 计算机科学(68-XX)