蟒蛇 1424年文献引用(1991–2025) 软件作者: 吉多·范罗苏姆 相关软件: SciPy;数字Py;Matplotlib… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
毫升 516份文件引用(1978–2024) 软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学 相关软件: HOL;Coq;伊莎贝尔… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
阿格达 228篇文献引用(1999–2023) 软件作者: 乌尔夫·诺雷尔 相关软件: Coq;哈斯克尔;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
佩斯卡 198篇文献引用(2001–2023) 软件作者: 阿尔恩·兰塔 相关软件: MiniML;Coq;伊莎贝尔… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);几何(51-XX)…
米兰达 155份文件引用(1985–2023) 软件作者: D.A.特纳。 相关软件: 哈斯克尔;毫升;清洁… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
达夫尼 104篇文献引用(2010年至2024年) 软件作者: 鲁斯坦·莱诺 相关软件: z3;Why3;布吉… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
埃兰 106篇文献引用(1996–2020) 软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe 相关软件: 莫德;OBJ咖啡馆;OBJ3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
斯卡拉 88篇文献引用(2005–2023) 软件作者: Christos K.K.Loverdos。;阿波斯托洛斯·西罗普洛斯 相关软件: Coq;z3;轻量级Java… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
APL公司 83份文件引用(1962–2023) 软件作者: 肯尼思·艾弗森 相关软件: 哈斯克尔;米兰达;R、 … 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
水银 75篇文献引用(1994–2022) 软件作者: mercurylang.org网站 相关软件: 哈斯克尔;幼儿保育和教育;咖喱… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…
巴贝尔 72份文件引用(1988–2013) 软件作者: 马里奥·罗德里格斯-阿塔莱霍 相关软件: 核叶;玩具;咖喱… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
Ciao公司 56篇文献引用(1999–2022) 软件作者: Bueno,F.,Cabeza,D.,Carro,M.,Hermenegildo,M.、López-García,P.、Puebla,G。 相关软件: CiaoPP;SICStus公司;汞… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
信号 51篇文献引用(1987–2020) 软件作者: 大卫·诺瓦克;Jean-Pierre Talpin;蒂埃里·戈蒂埃;保罗·勒格尔尼克 相关软件: 卢斯特;酯类;托勒密… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
咖喱 42篇文献引用(1998–2022) 软件作者: M.Hanus、H.Kuchen、J.J.Moreno-Navarro 相关软件: 哈斯克尔;PAKCS;KiCS2… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
Refal公司 45篇文献引用(1969–2022) 软件作者: 瓦伦丁·F·土琴 相关软件: 哈斯克尔;COSTA;CiaoPP… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
GHC公司 36篇文献引用(1986年-2014年) 软件作者: Kazunori上田 相关软件: PARLOG;基马;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
伊德里斯 引用于40篇文献(2011–2023) 软件作者: 埃德温·布雷迪 相关软件: Coq;阿格达;Irdis… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
克莱尔 32篇文献引用(1998年至2019年) 软件作者: 伊夫·卡索;弗朗索瓦·沙维尔(François-Xavier),约塞特(Josset);弗朗索瓦·拉伯特 相关软件: 奥兹;乔科;SALSA… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
息肉 33篇文献引用(1999–2012) 软件作者: Jansson,P。;J·杰林。 相关软件: 哈斯克尔;Stratego;密码… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
质量管理清单 32篇文献引用(2007–2023) 软件作者: 托尔斯滕·阿滕柯奇;乔纳森·格拉塔奇 相关软件: QPL;奎珀;qGCL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几个复变量和分析空间(32-XX)…
白鲸 引用于29份文件(2010–2022) 软件作者: 布里吉特·皮恩特卡;约书亚·邓菲尔德 相关软件: Twelf;阿贝拉;密码… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)
效率 30篇文献引用(2013–2023) 软件作者: 安德烈·鲍尔(Andrej Bauer);普雷特纳,马蒂亚 相关软件: 科卡;github;ML… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
DrScheme博士 27篇文献引用(1997–2016) 软件作者: 芬德勒,罗伯特·布鲁斯;约翰·克莱门茨;科马克·弗拉纳根;马修·弗拉特(Matthew Flatt);克里希纳穆提(Krishnamurthi,Shriram);Paul Steckler;马提亚斯·费莱森 相关软件: LISP;哈斯克尔;ACL2… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);数学教育(97-XX)
伊甸园 23篇文献引用(2001–2018) 软件作者: U.Klusik、Y.Ortega-Mallén、R.Peña 相关软件: 哈斯克尔;胶;GHC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
阿尔多 26篇文献引用(1997–2014) 软件作者: aldor.org;曼纽尔·布朗斯坦 相关软件: AXIOM;枫树;SageMath… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);范畴理论;同调代数(18-XX)…
JoCaml公司 26篇文献引用(2000–2022) 软件作者: Fornet,塞德里克;Le Fessant,Fabrice公司;Luc Maranget;阿兰·施密特 相关软件: 皮克特;OCaml;PiDuce… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
伊尔迪斯 26篇文献引用(2011–2023) 软件作者: —— 相关软件: 伊德里斯;Coq;Agda… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…
MRST-AD公司 26篇文献引用(2016–2023) 软件作者: Krogstad,S.、Lie,K.-A.、Möyner,O.、Nilsen,H.M.、Raynaud,X.、Skaflestad,B 相关软件: MRST;Matlab;MRST-co2lab… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
链接 20篇文献引用(2008–2020) 软件作者: Ezra Cooper、Sam Lindley、Philip Wadler、Jeremy Yallop 相关软件: 效率;科卡;GitHub… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
灵活 22篇文献引用(1990–2009) 软件作者: 贾卡隆,A.,米什拉,P.,普拉萨德,S 相关软件: 皮克特;毫升;JoCaml… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
F类* 21篇文献引用(2011–2020) 软件作者: 微软研究院(INRIA);尼基尔·斯瓦米;Chen,Juan;Fornet,塞德里克;支柱,Pierre-Yves;卡尔蒂基扬·巴尔干;杨吉恩 相关软件: Coq;Nuprl;EasyCrypt… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
软糖 18篇文献引用(1993–2022) 软件作者: M.Carlsson、T.Hallgren。 相关软件: 哈斯克尔;清洁;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
德尔芬 17篇文献引用(2003–2020) 软件作者: Schürmann,C.、Fontana,R.、Liao,Y.、Poswolsky,A。 相关软件: Twelf;Coq;白鲸… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
立方agda 17篇文献引用(2020–2023) 软件作者: 安德烈亚·维佐西(Andrea Vezzosi);莫特伯格,安德斯;安德烈亚斯·亚贝尔 相关软件: 立方体;github;密码… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
HasCasl公司 17篇文献引用(2002年至2015年) 软件作者: Schr“oder,卢茨;Mossakowski,蒂尔 相关软件: CASL;哈斯克尔;Hets… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
剑麻 13份文件引用(1988–2010) 软件作者: James McGraw等人。 相关软件: 西尔克;伊甸园;Lucid… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
丁香花 16篇文献引用(1993–2022) 软件作者: 伊恩·麦基 相关软件: 阿尔姆斯;FreeST;GitHub… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
兽人 15篇文献引用(2009–2023) 软件作者: 基钦,大卫;阿德里安·夸克(Adrian Quark);威廉·库克;贾亚德夫·米斯拉 相关软件: 奶牛;莫德;朱莉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
F类# 14篇文献引用(2007–2019) 软件作者: Don Syme,微软研究院;等人。 相关软件: 哈斯克尔;蟒蛇;HasCasl… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
NESL公司 14篇文献引用(1994–2022) 软件作者: 盖伊·E·布莱洛赫。 相关软件: 哈斯克尔;MapReduce;GHC… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
轻松检查 10篇文献引用(2009年至2020年) 软件作者: 扬·克里斯蒂安森(Jan Christiansen);塞巴斯蒂安·费舍尔 相关软件: 快速检查;咖喱;SmallCheck… 主要字段: 计算机科学(68-XX)
工厂 11份文件引用(2011–2020) 软件作者: 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格 相关软件: 教会;IBAL;ProbLog… 主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
弗兰 10篇文献引用(1997–2022) 软件作者: 科纳尔·埃利奥特;保罗·哈达克 相关软件: 哈斯克尔;卢斯特;酯类… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…
口香糖 12份文件引用(1997–2016) 软件作者: Trinder,P.W.、Hammond,K.、Mattson,J.S.Jr.、Partridge,A.S.、Peyton Jones,S.L。 相关软件: 哈斯克尔;伊甸园;GHC… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
熔岩 11份文件引用(2002–2018) 软件作者: Bjesse,P.、Claessen,K.、Sheeran,M.、Singh,S。 相关软件: 哈斯克尔;muFP;Coquet… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
里昂 12份文件引用(2014–2022) 软件作者: 雷吉斯·布兰科;维克多·昆卡(Viktor Kuncak);艾蒂安·克劳斯;菲利普·苏特 相关软件: CVC4;达夫尼;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HACL公司* 12份文件引用(2018–2023) 软件作者: Jean Karim Zinzindohoue、Karthikeyan Bhargavan、Jonathan Protzenko、Benjamin Beurdouche 相关软件: Why3;茉莉花;工具链… 主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
FoCaLiZe公司 引用于9份文件(2015–2023) 软件作者: INRIA公司;佩索,F.,维娅,P.,多利盖兹,D。 相关软件: Coq;dedukti;PVS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
阿西莫洛 引用于7份文件(2015–2023) 软件作者: 安德森·C·Führer·C·奥凯森·J·。 相关软件: 蟒蛇;日晷;F2PY… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
雅典娜 10篇文献引用(2004–2017) 软件作者: 康斯坦丁·阿库达斯 相关软件: 雅典娜;HE-E1GODF;卡斯特罗… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
特修斯 引用于9份文件(2015年至2022年) 软件作者: James,R.P.,Sabry,A。 相关软件: 咖喱;汞;代数… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
Yampa公司 引用于9份文件(2003–2020) 软件作者: 亨利克·尼尔森(Henrik Nilsson)、安东尼·考特尼(Antony Courtney) 相关软件: 哈斯克尔;酯类;LUSTRE… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
凸轮 引用于9份文件(1993–2021) 软件作者: 印度 相关软件: OCaml;ACL2;Python… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…
CoCaml公司 引用于9份文件(2017–2023) 软件作者: Jeannin,Jean-Baptiste;德克斯特·科赞;亚历山德拉·席尔瓦 相关软件: CoALP;coFJ;Paco… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
隐秘HOL 引用于9份文件(2017–2022) 软件作者: Basin,D.,Lochbihler,A.,Sefidgar,S.R。 相关软件: 伊莎贝尔·霍尔;存档正式证据;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
阿加皮亚 6篇文献引用(2008–2020) 软件作者: tefénescu,Gheorghe;塔塔姆,莫妮卡 相关软件: TensorFlow;弦;罗丹… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
NLambda公司 8份文件引用(2016–2022) 软件作者: 巴托克·克林;MichałSzynwelski 相关软件: 路易斯;z3;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
NumPyro公司 6篇文献引用(2021–2023) 软件作者: 杜凡、尼拉杰·普拉丹、马丁·扬科维亚克 相关软件: 坚果;Pyro;JAX… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
EVES公司 引用于7份文件(1993–2006) 软件作者: Sento Kromodimoeljo;比尔·帕斯;Mark Saaltink;丹·克雷根(Dan Craigen);欧文·梅赛尔 相关软件: IMPS;PVS;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
狂热的 引用于7份文件(2011–2021) 软件作者: Foster,N.、Harrison,R.、Freedman,M.J.、Monsanto,C.、Rexford,J.、Story,A.、Walker,D。 相关软件: NetKAT;荨麻;VeriCon… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
i任务 5份文件引用(2008–2013) 软件作者: 普拉斯梅耶尔(Plasmeijer),里纳斯(Rinus);彼得·阿希顿;彼得·科普曼 相关软件: 清洁;米兰达;哈斯克尔… 主要字段: 计算机科学(68-XX)
雅可比2.0 引用于7份文件(2001–2021) 软件作者: 马丁·科勒(Martin Kröger);胡特,马库斯;汉斯·克里斯汀·奥廷格 相关软件: Mathematica;地理统计;SymPy公司 主要字段: 动力学系统和遍历理论(37-XX);微分几何(53-XX);数值分析(65-XX)…
LNT2LOTOS公司 引用于7份文件(2012–2022) 软件作者: David Champelovier、Xavier Clerc、Hubert Garavel、Yves Guerte、Frédéric Lang、Christine McKinty、Vincent Powazny、Wendelin Serwe、Gideon Smeding 相关软件: CADP;自旋蛋白;Exp.打开… 主要字段: 计算机科学(68-XX)
PolyLib公司 引用于7份文件(2004–2009) 软件作者: Jansson,P.,Jeuring,J。 相关软件: 哈斯克尔;息肉;快速检查… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
重新选择 6篇文献引用(2006–2018) 软件作者: 吉姆·格兰迪(Jim Grundy);Tom Melham;约翰·奥利里 相关软件: Coq;毫升;Agda… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Lambda图书馆C++ 5份文件引用(2002–2018) 软件作者: 贾科·加尔维;加里·鲍威尔;安德鲁·卢姆斯代恩 相关软件: STL;哈斯克尔;Smalltalk… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
比例6.2 6篇文献引用(2015–2021) 软件作者: 里尔登,B。;列斐伏尔,R。;列斐伏尔,J。;克拉诺,K。;威廉姆斯,M。;Petrie,L。;美国Mertyurek。 相关软件: 德诺沃;特里利诺斯;比例… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
斯威夫特 2份文件引用(2020–2021) 软件作者: M.王尔德、M.哈特根、J.沃兹尼亚克、B.克利福德、D.卡茨、I.福斯特 相关软件: 飞马座;MapReduce;PyCOMPS… 主要字段: 计算机科学(68-XX)
瓶 3份文件引用(2010–2011) 软件作者: 大陆,G.,莫里塞特,G.,威尔士,M。 相关软件: MiniML;标签;Ynot… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)
表格/3 2份文件引用(2001–2020) 软件作者: 玛格丽特·伯内特;约翰·阿特伍德(John Atwood);Djang、Rebecca Walpole;詹姆斯·雷奇温(James Reichwein);Herkimer Gottfried;杨雪莉 相关软件: VTK;Gencel;超级对撞机… 主要字段: 计算机科学(68-XX)
莱姆 4份文件引用(2011–2021) 软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷(Kathryn E.Gray)。;汤姆·里奇;彼得·休厄尔 相关软件: 伊莎贝尔·霍尔;Coq;ACL2… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
棒棒糖 5份文件引用(2010–2016) 软件作者: 卡尔·马祖拉克;史蒂夫·兹丹塞维奇 相关软件: VeriML;雷卡姆;哈斯克尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
PLaSM公司 5份文件引用(1992–1999) 软件作者: 乔治·斯科泽利:西蒙·波图西;弗朗科·米利奇奥(Franco Milicchio);巴尔达齐,C。;Paoluzzi,A。;帕斯库奇,V。;M.维琴蒂诺。 相关软件: 玛雅人;佛罗里达州;数学软件 主要字段: 计算机科学(68-XX)
PolyAML公司 5份文件引用(2005–2012) 软件作者: 丹塔斯,D.S。;Walker,D。;Washburn,G。;魏里奇,S 相关软件: Aspectual Caml;方面J;MAVEN… 主要字段: 计算机科学(68-XX)
Aspectual凸轮 4份文件引用(2005–2012) 软件作者: Hidehiko Masuhara;Hideaki Tatsuzawa;Akinori Yonezawa 相关软件: PolyAML;OCaml;方面C++… 主要字段: 计算机科学(68-XX)
AtomCaml公司 3份文件引用(2005–2022) 软件作者: Michael F.Ringenburg。;丹·格罗斯曼 相关软件: 萨摩亚;柔道STM;SPEC基准… 主要字段: 计算机科学(68-XX)
卡米洛特 4份文件引用(2005–2019) 软件作者: 汉斯·沃尔夫冈·洛伊德尔;肯尼思·麦肯齐 相关软件: 圣杯;OCaml;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
卡特尔 3份文件引用(2018–2023) 软件作者: A.Giantsios、N.Papaspyrou、K.Sagonas 相关软件: 切割机;12月6日;厄利伯里… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
法西乐 3份文件引用(2005–2009) 软件作者: 巴尼尔,N.,布里塞特,P。 相关软件: 乔科;ProB;Gecode… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
长石 2份文件引用(2015年至2016年) 软件作者: E.Axelsson、K.Claessen、G.Devai、Z.Horvath、K.Keijzer、B.Lyckegard、A.Persson、M.Sheeran、J.Sveningsson、A.Vajda 相关软件: 熔岩;哈斯克尔;旋风… 主要字段: 计算机科学(68-XX)
卡米 4份文件引用(2018–2021) 软件作者: Choi,J.、Vijayaraghavan,M.、Sherman,B.、Chlipala,A.、Arvind 相关软件: Coq;github;Coquet… 主要字段: 计算机科学(68-XX)
Nettle公司 3份文件引用(2017–2021) 软件作者: A.Voellmy、A.Agarwal、P.Hudak 相关软件: 狂热;NetKAT;SDN-SafeCheck… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PFLP公司 3份文件引用(2020–2022) 软件作者: 桑德拉·戴卢斯(Sandra Dylus)、扬·克里斯蒂安森(Jan Christiansen)、芬兰·蒂根(Finn Teegen) 相关软件: 教会;EasyCheck;瑞士… 主要字段: 计算机科学(68-XX)
PODC公司 4份文件引用(2001–2005) 软件作者: 邝海荣;Bic,卢博米尔F。;迈克尔·迪伦科特(Michael B.Dillencourt)。 相关软件: NINJA公司 主要字段: 计算机科学(68-XX)
PrologCheck(序言检查) 3份文件引用(2014–2022) 软件作者: 阿马拉尔,克劳迪奥;马里奥弗洛里多;维托尔·桑托斯·科斯塔 相关软件: K校准仪;K工具;快速检查… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
SPL征服者 3份文件引用(2016–2021) 软件作者: Siegmund,N.、Rosenmüller,M.、Kuhlemann,M.,Kästner,C.、Apel,S.、Saake,G。 相关软件: 斯卡拉斯卡;AlgoWiki;TAU… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
XTL公司 4份文件引用(2003–2017) 软件作者: Garavel,H.、Mateescu,R。 相关软件: CADP;LNT2LOTOS公司;Exp.打开… 主要字段: 计算机科学(68-XX)
CHAD(查德) 3份文件引用(2022–2023) 软件作者: 瓦卡,马提伊斯;汤姆·斯米丁 相关软件: 提灯;效率;密码… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
佛罗里达州 3份文件引用(1999–2003) 软件作者: J.Backus、J.H.Williams、E.L.Wimmers 相关软件: 玛雅;PLaSM公司 主要字段: 数值分析(65-XX);计算机科学(68-XX)
HiPE公司 2份文件引用(2002–2003) 软件作者: E.Johansson、M.Pettersson、K.Sagonas 相关软件: 埃尔朗;SICStus公司;清洁 主要字段: 计算机科学(68-XX)