轻量级Java 108篇文献引用(2001–2023) 软件作者： Atsushi Igarashi；本杰明·皮尔斯（Benjamin C.Pierce）。；菲利普·沃德勒 相关软件： JML；毫升；埃菲尔… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
蛋糕ML 60篇文献引用(2014–2023) 软件作者： 拉马纳库马尔；玛格努斯·奥·米林（Magnus O.Myreen）。；迈克尔·诺里什（Michael Norrish）；斯科特·欧文斯 相关软件： Isabelle/HOL；Coq；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
清洁 56篇文献引用(1987–2016) 软件作者： 医学博士Plasmeijer。 相关软件： 哈斯克尔；米兰达；闪光… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
沟槽 48篇文献引用(2004–2023) 软件作者： Kastenberg，H.，Rensink，A。 相关软件： AGG；自旋蛋白；GrGen… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马里乌斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
LUPS公司 37篇文献引用(1999–2019) 软件作者： 何塞·朱利奥·阿尔弗雷斯；佩雷拉，路易斯·莫尼兹；哈利娜·普尔兹穆森斯卡（Halina Przymusinska）；Przymusinski，Teodor C。 相关软件： XSB；平滑；EVOLP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
红宝石 22篇文献引用(2002–2017) 软件作者： 弗拉纳根，D。；松本，Y。 相关软件： 蟒蛇；JavaScript；PERL… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
规则ML 22篇文献引用(2002–2022) 软件作者： 安德烈亚斯·埃伯哈特 相关软件： swrl；三倍的；沙达拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LARS公司 23篇文献引用（2016年至2022年） 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o克林戈；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CP逻辑 20篇文献引用(2009–2023) 软件作者： Joost Vennekens；马克·德内克（Marc Denecker）；莫里斯·布吕诺格 相关软件： ProbLog；PITA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
SCIFF公司 19份文件引用（2006年至2022年） 软件作者： 马可·阿尔贝蒂、费德里科·切萨尼、马可·加瓦内利、伊芙琳娜·拉姆马、保拉·梅洛、保罗·托罗尼 相关软件： HYPROLOG；棱镜；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
K-Java语言 17篇文献引用(2015–2023) 软件作者： 丹尼斯·博格德纳什、格里戈·罗什 相关软件： K校准仪；莫德；KJS… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
C-浅色 12份文件引用(2002–2019) 软件作者： 瓦莱里·A·内波尼亚西希（Valery A.Neponminaschy）、伊戈尔·阿努列夫（Igor S.Anureev）、阿列克谢·普罗姆斯基（Alexey V.Promsky） 相关软件： 原子；VCC；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
NOrec公司 11份文件引用(2010–2022) 软件作者： Dalesandro，L.、Spear，M.F.、Scott，M.L。 相关软件： 环STM；TLRW；柔道STM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VPM公司 4份文件引用(2005–2007) 软件作者： 达尼尔·瓦罗（Dániel Varró），安德拉斯·帕塔里察（András Pataricza） 相关软件： VIATRA2；进度；AGG… 主要字段： 计算机科学（68-XX）
多媒体卡 9份文件引用(2003–2020) 软件作者： 杨平；罗马克里希南，C.R。；斯科特·斯莫尔卡。 相关软件： MWB；MCK；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Jinja螺纹 9份文件引用(2009–2020) 软件作者： A.洛赫比勒。 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
渐变动态语义 7份文件引用（2016年至2022年） 软件作者： 马蒂奥·西米尼；杰里米·西克。 相关软件： 阿格达；Coq；福赛斯… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-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）
KeY-C公司 5份文件引用(2009–2023) 软件作者： Mürk，奥列格；丹尼尔·拉尔森（Daniel Larsson）；雷纳·哈内尔 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MetaKlaim公司 5份文件引用(2003–2020) 软件作者： Gianluigi法拉利；尤金尼奥·莫吉；罗萨里奥·普格利泽 相关软件： 科莱姆；克拉瓦；杰森… 主要字段： 计算机科学（68-XX）
投掷 2份文件引用(2020–2021) 软件作者： J.Lee、M.X.Grey、S.Ha、T.Kunz、S.Jain、Y.Ye、S.S.Srinivasa、M.Stilman、C.K.Liu 相关软件： MuJoCo；活性氧；Python… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
F路径 在0个文档中引用 软件作者： David，P.-C.，Ledoux，T.，Coupaye，T..，Léger，M。 相关软件： FScript；OCaml；xMAML… 主要字段： 计算机科学（68-XX）
F脚本 在0个文档中引用 软件作者： David，P.-C.，Ledoux，T.，Coupaye，T..，Léger，M。 相关软件： FPath；OCaml；xMAML… 主要字段： 计算机科学（68-XX）
KeY-ABS公司 4份文件引用(2015–2021) 软件作者： Din，Crystal Chang；理查德·布贝尔（Richard Bubel）；雷纳·哈内尔 相关软件： 防抱死制动系统；斯卡拉；算法864… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
R-查戎 4份文件引用(2006–2013) 软件作者： 费边·克拉茨（Fabian Kratz）；奥列格·索科尔斯基（Oleg Sokolsky）；乔治·帕帕斯（George J.Pappas）。；李因苏普 相关软件： QEPCAD；查戎；RAMAS… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
CHAD（查德） 3份文件引用(2022–2023) 软件作者： 瓦卡，马提伊斯；汤姆·斯米丁 相关软件： 提灯；效率；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
DynAlloy公司 2份文件引用(2007–2021) 软件作者： 马塞洛·弗里亚斯（Marcelo F.Frias）、胡安·加莱奥蒂（Juan P.Galeotti）、卡洛斯·洛佩斯·蓬博（Carlos López Pombo）、纳扎雷诺·阿吉雷（Nazareno Aguirre） 相关软件： MiniSat；JPF-SE；YOGI… 主要字段： 计算机科学（68-XX）
泄漏 3份文件引用(1994–2012) 软件作者： 安东尼奥·阿伦卡尔（Antonio J.Alencar）、约瑟夫·高根（Joseph A.Goguen） 相关软件： AGG；亨欣；凹槽… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
二进制多重关系 2份文件引用(2016–2020) 软件作者： Hitoshi Furusawa；乔治·斯特鲁斯 相关软件： 存档正式证据；Isabelle/HOL；克莱纳代数… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
BYTESURGEON公司 2份文件引用(2006–2008) 软件作者： 马库斯·登克；Stéphane Ducasse；埃里克·坦特 相关软件： SmallJS；JavaScript；WhyLine… 主要字段： 计算机科学（68-XX）
CLF公司 2份文件引用(2007–2018) 软件作者： 凯文·沃特金斯；伊利亚诺·塞尔维萨托；弗兰克·芬宁（Frank Pfenning）；大卫·沃克 相关软件： 名义上的伊莎贝尔；阿格达；阿贝拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
嵌入2检测 2份文件引用(2022–2023) 软件作者： Hansi Hettiarachchi；玛丽亚姆·阿德多伊恩·奥洛；贾格德夫·博加尔；穆罕默德·梅德哈特·加博 相关软件： 泥浆；推特新闻；保函… 主要字段： 计算机科学（68-XX）
美国财务会计准则 2份文件引用(1998–1999) 软件作者： 拉尔夫·埃布纳（Ralf Ebner）；亚历山大·法芬格 相关软件： 哈斯克尔 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
JCCM公司 1份文件引用（2001年） 软件作者： 坎波，塞莱斯特；三月{i} n个，安德烈；加尔克'{i} 一个阿图罗；D英寸{i} 阿兹伊格纳西奥；彼得·T·布鲁尔（Peter T.Breuer）。；卡洛斯·德尔加多；加尔克'{i} 一个，卡洛斯 相关软件： – 主要字段： 计算机科学（68-XX）
KAD公司 2份文件引用(2019–2022) 软件作者： 维克托·戈梅斯、沃尔特·古特曼、彼得·赫夫纳、格奥尔格·斯特鲁思、特贾克·韦伯 相关软件： 存档正式证据；贝勒红；变压器语义… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
宾西姆 1份文件引用(2019) 软件作者： Ming，J.，Xu，D.，Jiang，Y.，Wu，D。 相关软件： 戴坦；DynOpVm；VOT4CS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
FScaFi公司 1份文件引用(2021) 软件作者： 罗伯特·卡萨迪（Roberto Casadei）、米尔科·维罗利（Mirko Viroli）、乔治·奥德里托（Giorgio Audrito）、费鲁西奥·达米亚尼（Ferruccio Damiani） 相关软件： TuSoW；变形杆菌；xarray… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
坦桑尼亚 1份文件引用(2017) 软件作者： 克里斯托弗·利德伯里（Christopher Lidbury）；阿拉斯泰尔·唐纳森。 相关软件： 螺纹消毒剂；多种族；CDS检查器… 主要字段： 计算机科学（68-XX）