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）…
ACL2型 287份文件引用（1998年-2023年） 软件作者： 马特·考夫曼（Matt Kaufmann）、斯特罗特·摩尔（Strother Moore） 相关软件： Coq；Isabelle/HOL；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
E定理证明器 229篇文献引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： VAMPIRE公司；TPTP；SPASS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
低成本融资 164篇文献引用(1972–2024) 软件作者： 罗宾·米尔纳 相关软件： Coq；毫升；HOL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
欧兹 110篇文献引用(1994–2023) 软件作者： Henz，M.、Smolka，G.和Würtz，J。 相关软件： 炸薯条；莫扎特；克莱尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
弹丸 71篇文献引用（2006年-2023年） 软件作者： Sirin，E.，Parsia，B.，Grau，B.C.，Kalyanpur，A.，Katz，Y。；Clark&Parsia有限责任公司 相关软件： FaCT++；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
格菲 71篇文献引用(2012–2024) 软件作者： M.Bastian、S.Heymann、M.Jacomy 相关软件： 力量图谱2；网络X；图表… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
马拉雷亚 56篇文献引用(2007–2023) 软件作者： 约瑟夫·乌尔班 相关软件： E定理证明器；VAMPIRE公司；Mizar… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-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）…
FRIL公司 38篇文献引用（1987年至2022年） 软件作者： 鲍德温，J.F。；马丁·T·P。；B.W.皮尔斯沃思。 相关软件： Likelog；FPROLOG；XPath… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
前缀库 40篇文献引用(2015–2023) 软件作者： 尼古拉斯·马泰；沃尔什，托比 相关软件： PerMallows；PLMIX公司；Pmr… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
OMRS公司 39篇文献引用(1995–2009) 软件作者： 阿曼多，亚历山德罗；Michael Kohlhase；西尔维奥·兰伊斯 相关软件： 分析；定理；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
拍打 34份文件引用(2011–2022) 软件作者： 孙军、刘洋、董金松、庞军 相关软件： Uppaal；自旋蛋白；ProB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
EasyCrypt公司 35篇文献引用(2011–2022) 软件作者： Barthe，Gilles公司；本杰明·格雷戈里；Sylvain Heraud；贝盖林，圣地亚哥·扎内拉 相关软件： Coq；F*；AVISPA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
DLV公司 29篇文献引用(2001–2022) 软件作者： 乔瓦尼·格拉索；萨尔瓦多伊里塔诺；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： WASP；格林戈；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HOLyHammer公司 31份文件引用(2014–2022) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： HOL灯；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
人力资源 27篇文献引用(2002–2022) 软件作者： 西蒙·科尔顿 相关软件： 涂鸦；水獭；梅斯4… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： SLAM；跟踪器；匕首… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
马拉布 26篇文献引用(2021–2024) 软件作者： Katz，G.，Huang，D.A.，Ibeling，D.，Julian，K.，Lazarus，C.，Lim，R.，Shah，P.，Thakoor，S.，Wu，H.，Zelji-C，A.，Dill，D.L.，Kochenderfer，M.J.，Barrett，C。 相关软件： Reluplex；NNV；AI2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
CoqHammer公司 28篇文献引用(2017–2023) 软件作者： 库卡斯·扎伊卡；Cezary卡利西克 相关软件： Coq；E定理证明器；VAMPIRE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数几何（14-XX）…
QUBE公司 26篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QuBE++；Quaffle；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-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）…
LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o克林戈；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NoMoRe公司 22篇文献引用(2001–2012) 软件作者： 愤怒，克里斯蒂安；Kathrin Konczak；托马斯·林奇 相关软件： 亚萨特；C模型；平滑… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）
狮子座III 21篇文献引用(2015–2023) 软件作者： 亚历山大·斯蒂恩（Alexander Steen）；马克斯·维斯涅夫斯基（Max Wisniewski）；克里斯托夫·本兹穆勒 相关软件： Satallax公司；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
SCEL公司 18篇文献引用(2014–2023) 软件作者： 洛科·德·尼古拉（Rocco De Nicola）、迭戈·拉特拉（Diego Latella）。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂齐、安德烈·范丁 相关软件： 科莱姆；莫德；CARMA… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GASP公司 18篇文献引用(2008–2022) 软件作者： 亚历山德罗·达尔·帕鲁；阿戈斯蒂诺·多维尔；恩里科·蓬泰利（Enrico Pontelli）；吉安弗兰科·罗西 相关软件： 克林戈；格林戈；WASP… 主要字段： 计算机科学（68-XX）
塑料 18篇文献引用(2000–2023) 软件作者： 保罗·卡拉汉 相关软件： 乐高；Coq；阿尔法… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
RSBR公司_ 18篇文献引用(2001–2020) 软件作者： 钟宁；董菊珍；Setsuo Ohsuga 相关软件： LERS；C4.5；D-SCIDS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
数学网 16篇文献引用(2000–2016) 软件作者： 杰根·齐默；迈克尔·科尔哈斯 相关软件： TPTP；水獭；PVS… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；常微分方程（34-XX）…
立方agda 17篇文献引用(2020–2023) 软件作者： 安德烈亚·维佐西（Andrea Vezzosi）；莫特伯格，安德斯；安德烈亚斯·亚贝尔 相关软件： 立方体；github；Coq… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
MEDLAR公司 14篇文献引用（1995年至2013年） 软件作者： 布鲁诺·巴赫伯格、约阿希姆·普法尔兹格拉夫、卡雷尔·斯托克曼、沃尔夫冈·盖尔克、维奥里卡·索夫罗尼 相关软件： 枫树；6月2日；BVPh… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
TLAPS公司 14篇文献引用(1999–2023) 软件作者： 拉波特 相关软件： 薄层色谱法；常春藤；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
崔弟 14篇文献引用(2016–2023) 软件作者： 蒂姆，M。 相关软件： DiArg；LARS；Clingo… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
ACL2 12份文件引用(2007–2021) 软件作者： 彼得·迪林杰（Peter C.Dillinger）。；Manolios、Panagiotis；达隆·弗隆；J Strother摩尔 相关软件： ACL2；泽诺；NQTHM… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
ECDAR公司 9份文件引用(2011–2022) 软件作者： 亚历山大·戴维；金·拉森。G。；Legay，Axel；乌尔里克·奈曼；安德烈·索夫斯基 相关软件： Uppaal；MIO工作台；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
GAVS公司 10篇文献引用(2005–2022) 软件作者： Cheng，Chih-Hong；巴克尔，基督徒；卢滕伯格，迈克尔；诺尔，阿洛伊斯 相关软件： 要旨；PRISM-名称；棱镜… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
FisPro公司 6篇文献引用(2008–2022) 软件作者： 纪尧姆，S。；查诺莫迪克，B。 相关软件： R；C4.5；AS 136… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
壁画 10篇文献引用(1991–2014) 软件作者： C.B.琼斯。；K.D.琼斯。；林赛，P.A。；R.D.摩尔。 相关软件： RAISE（提升）；落叶松；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿克拉 10篇文献引用(2005–2011) 软件作者： 乔瓦尼·佩祖洛（Giovanni Pezzulo）；Gianguglielmo·卡尔维 相关软件： 古巴国防部；可可；戴恩… 主要字段： 总体主题；藏品（00-XX）；数论（11-XX）；场论与多项式（12-XX）…
克莱沃 9份文件引用(2020–2023) 软件作者： 贾斯汀·约翰逊（Justin Johnson）、巴拉斯·哈里哈兰（Bharath Hariharan）、劳伦斯·范德马滕（Laurens van der Maaten）、李菲菲（Li Fei-Fei）、C.劳伦斯·齐特尼克（C.Lawrence Zitnick）、罗斯·吉希克 相关软件： CLEVR数据集；VQA；DeepProbLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
CLEVR数据集 9份文件引用(2020–2023) 软件作者： 贾斯汀·约翰逊（Justin Johnson）、巴拉斯·哈里哈兰（Bharath Hariharan）、劳伦斯·范德马滕（Laurens van der Maaten）、李菲菲（Li Fei-Fei）、C.劳伦斯·齐特尼克（C.Lawrence Zitnick）、罗斯·吉希克 相关软件： CLEVR；VQA；DeepProbLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
clpfd公司 6篇文献引用(2014–2022) 软件作者： 马库斯·特里斯卡 相关软件： SWI-预测；Prolog；SICStus… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
莱拉 9份文件引用(2002–2011) 软件作者： 安娜·齐安波里尼（Anna Ciampolini）；伊芙琳娜·拉姆；梅洛，保拉；保罗·托罗尼 相关软件： KQML；Qu-Prolog；数据日志… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
MASTRO公司 8份文件引用(2018–2021) 软件作者： Calvanee，D.等人。 相关软件： Ontop；SPARQL；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
3拍 9份文件引用（2010年-2023年） 软件作者： Contejean，E.，Paskevich，A.，Urbain，X.，Courtieu，P.，Pons，O.，Forest，J。 相关软件： Isabelle/HOL；Coq；CoLoR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DLog（数据日志） 8份文件引用(2008–2020) 软件作者： 格格利·卢卡西（Gergely Lukácsy）；佩特尔·塞雷迪 相关软件： 精益TAP；颗粒；接通DLV… 主要字段： 计算机科学（68-XX）
星期五 9份文件引用(2009–2019) 软件作者： Z.C.Johanyák、D.Tikk、S.Kovács、k.W.Wong 相关软件： GSA；BGSA；神经网络工具箱… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；计算机科学（68-XX）…
欧米茄-ANTS 9份文件引用(2001–2008) 软件作者： 克里斯托夫·本兹穆勒；沃尔克·索尔格 相关软件： 欧米茄；LOUI；陷阱… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
接通DLV 8份文件引用(2009–2021) 软件作者： Ricca，F.、Gallucci，L.、Schindlauer，R.、Dell'armi，T.、Grasso，G.、Leone，N。 相关软件： DLV-EX；颗粒；Lparse… 主要字段： 计算机科学（68-XX）
RealPlan（实际计划） 9份文件引用(2001–2008) 软件作者： 斯里瓦斯塔瓦，比斯拉夫；Subbarao市Kombhampati；多，明B。 相关软件： 图形平面图；STAN；CPlan… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
网络PIE 8份文件引用(2012–2022) 软件作者： Urbani，J.、Kotoulas，S.、Maassen，J.，van Harmelen，F.、Bal，H。 相关软件： 大数据日志；XSB；数据日志… 主要字段： 计算机科学（68-XX）
贝叶斯OWL 7份文件引用(2008–2019) 软件作者： 丁钟立；云鹏；潘蓉 相关软件： 博客；PR-OWL；IBAL… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
莫德哈特 5份文件引用(1997–2017) 软件作者： F.贾哈尼安；A.K.Mok先生 相关软件： 酯类；Uppaal；克罗诺斯… 主要字段： 数学逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
MSTA公司 7份文件引用(2009–2023) 软件作者： D'ippolito，N。；Fischbein，D。；Chechik，M。；乌奇特尔，S。 相关软件： VMC；MIO工作台；LTSA-WS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
战略武器限制公约 6篇文献引用(1989–2010) 软件作者： 桑德拉·马库斯；约翰·麦克德莫特 相关软件： 鼹鼠；蛋白质；WordNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
UMM公司 6篇文献引用(2007–2016) 软件作者： Yang Y、Gopalakrishnan G、Lindstrom G 相关软件： Coq；检查围栏；TSOTool… 主要字段： 计算机科学（68-XX）
jCOLIBRI公司 3份文件引用(2005–2014) 软件作者： Juan JoséBello-Tomás、Pedro A.González-Calero、Belén Díaz-Agudo 相关软件： 西拉默；BacSim；神经元… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
LNgen（液化天然气） 7份文件引用(2011–2021) 软件作者： 艾德米尔，B.E.，魏里奇，S。 相关软件： 流行标志；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MGTP公司 6篇文献引用（1995年至2013年） 软件作者： 长谷川龙子；藤田，广岛；宫崎骏小村；Shirai、Yasuyuki 相关软件： 萨奇莫；TPTP；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
微型操作系统 6篇文献引用(2008–2019) 软件作者： 安德鲁·道尔顿（Andrew R.Dalton）。；Sally K.Wahba。；斯拉文西·丹达穆迪；杰森·霍尔斯特罗姆。 相关软件： FDR3；ProB；AUTOSAR… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
国际象棋 5份文件引用(2008–2021) 软件作者： Musuvathi M、Qadeer S、Ball T 相关软件： 橡皮擦；veriSoft；阿维奥… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
流浪汉 4份文件引用(2021–2022) 软件作者： Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 相关软件： 数据日志；RDFox公司；LUBM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DeReS公司 3份文件引用(2019–2022) 软件作者： Cholewinski，P.、Marek，V.、Truszczynski，M。 相关软件： 数据日志；中国科学院科学院；Clingo… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
FAMILIAR系列 4份文件引用(2020–2022) 软件作者： Acher，M。；科莱，P。；拉希尔，P。；法国，R.B。 相关软件： 安；黑色素；MetaDepth… 主要字段： 计算机科学（68-XX）
LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；Nitpick公司；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ModuRes公司 5份文件引用(2015–2022) 软件作者： 菲利普·西奇科夫斯基（Filip Sieczkowski）；阿列舍·比兹亚克；拉尔斯·比克达尔 相关软件： Coq；VST-Floyd；锈带… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
皮尔洛 4份文件引用(2014–2022) 软件作者： Lenz Belzner；德尼古拉（De Nicola）、罗科（Rocco）；安德烈·范丁（Andrea Vandin）；马丁·威尔辛 相关软件： MultiVeStA；SCEL；莫德… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
西格玛KEE 4份文件引用(2009–2020) 软件作者： 亚当·皮斯（Adam Pease）；舒尔茨，斯蒂芬 相关软件： E定理证明器；VAMPIRE公司；SRASS… 主要字段： 计算机科学（68-XX）
德克萨斯州 5份文件引用(2021–2022) 软件作者： C.Lemieux、D.Park、I.Beschatnikh 相关软件： PPTLMiner；S-TaLiRo；Daikon… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
THOR公司 4份文件引用(2008–2017) 软件作者： Magill，S.、Tsai，M.-H.、Lee，P.、Tsa，Y.-K。 相关软件： 小脚；HIP；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
英国圣公会 4份文件引用（2018年至2024年） 软件作者： 托宾，D。；van de Meent，J.W。；Yang，H。；木材，F。 相关软件： 高温；ProbLog；验证… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Aximo公司 4份文件引用（2009-2016年） 软件作者： 理查兹，S.，M.萨达德 相关软件： 演示；佩斯卡 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
CoQA公司 2份文件引用(2022–2023) 软件作者： Siva Reddy、Danqi Chen、Christopher D.Manning 相关软件： BERT；RoBERTa公司；Tensor2传感器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
卡米 4份文件引用(2018–2021) 软件作者： Choi，J.、Vijayaraghavan，M.、Sherman，B.、Chlipala，A.、Arvind 相关软件： Coq；github；Coquet… 主要字段： 计算机科学（68-XX）
防开启 3份文件引用(2011–2019) 软件作者： Barker-Plummer，D.，Etchemendy，J.，Liu，A.，Murray，M.，Swoboda，N。 相关软件： Speedith；Doodle博士；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
ReCoRD公司 1份文件引用(2023) 软件作者： Sheng Zhang、Xiaodong Liu、Jingjing Liu、Gao Jianfeng、Kevin Duh、Benjamin Van Durme 相关软件： 小队；超级胶水；BERT… 主要字段： 计算机科学（68-XX）
玻璃钢 2份文件引用(2021–2022) 软件作者： 拉拉·里扎；克里斯托夫·伯格迈尔（Christoph Bergmeir）；弗朗西斯科·埃雷拉；何塞·贝尼特斯 相关软件： R；fugeR；模糊R… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）
IMLI公司 3份文件引用(2021–2022) 软件作者： Bishwamittra Ghosh，Kuldeep S.Meel 相关软件： MLIC；UCI-ml；形状… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
JEOPS公司 3份文件引用(2000–2008) 软件作者： 卡洛斯·桑托斯·达菲格雷拉·菲略（Santos da Figueira Filho）；格勃·里斯博亚·拉马略 相关软件： SWI-预测；杰斯；JBoss… 主要字段： 计算机科学（68-XX）
K加热器 3份文件引用(2012) 软件作者： 马克·芬塔默（Marc Finthammer）；马蒂亚斯·蒂姆 相关软件： 炼金术；ProbLog（问题日志） 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
梅兰奇 3份文件引用(2019–2023) 软件作者： Degueule T、Combemale B、Blouin A、Barais O、Jézéquel J-M 相关软件： 黑色素；莫德；AToMPM… 主要字段： 计算机科学（68-XX）
MNiBLoS（移动互联网操作系统） 3份文件引用(2016–2023) 软件作者： 阿曼达·维达尔 相关软件： Fuzzydl；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
个人实验室 在0个文档中引用 软件作者： 乔治·帕潘德里欧、Tyler Zhu、Liang-Chieh Chen、Spyros Gidaris、乔纳森·汤普森、凯文·墨菲 相关软件： 多姿态网络；RMPE；深度切割… 主要字段： 计算机科学（68-XX）
产品生命周期管理 3份文件引用(2020) 软件作者： 丹尼尔·基什内尔 相关软件： Isabelle/HOL；精益；逻辑键… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
POGTGolog公司 2份文件引用(2020–2021) 软件作者： 阿尔贝托·芬奇；托马斯·卢卡塞维奇 相关软件： GTGolog；赌博；高尔夫 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
皮埃达尔 2份文件引用(2014) 软件作者： Legay，Axel；路易斯·马里·特劳努埃兹 相关软件： UPPAAL TIGA；ECDAR；z3… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
TimeML（时间ML） 3份文件引用(2014–2020) 软件作者： Ingria，B.，Pustejovsky，J。 相关软件： C4.5；威卡；LIBLINEAR… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…