HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
OCaml公司 274份文件引用（1998年-2023年） 软件作者： INRIA公司；X.Leroy、D.Rémy、J.Vouillon、D.Doligez 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
NLopt（NLopt） 151篇文献引用(2012–2024) 软件作者： S.G.约翰逊。 相关软件： github；R；BOBYQA… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
SLMC公司 75篇文献引用(2003–2023) 软件作者： 雨果·维埃拉；路易斯·凯恩斯 相关软件： 棱镜；管道；莫德… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
奥特 34份文件引用(2007–2021) 软件作者： 彼得·休厄尔（Peter Sewell）；纳德利，弗朗西斯科·扎帕；斯科特·欧文斯；吉尔斯·佩斯金（Gilles Peskine）；托马斯·里奇；萨卡，苏斯米特；斯特尼萨，洛克 相关软件： Coq；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
效率 30篇文献引用(2013–2023) 软件作者： Bauer，Andrej先生；普雷特纳，马蒂亚 相关软件： 科卡；github；ML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
乔坎尔 26篇文献引用(2000–2022) 软件作者： Fornet，塞德里克；法布里斯·勒费桑；Luc Maranget；阿兰·施密特 相关软件： 皮克特；OCaml；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
泽农 21篇文献引用(2007–2022) 软件作者： 理查德·博尼肯（Richard Bonichon）；戴维·德拉哈耶（David Delahaye）；Damien Doligez 相关软件： Coq；TPTP；dedukti… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
贝德维尔 21篇文献引用(2007–2022) 软件作者： David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadathur、Alwen Tiu 相关软件： Twelf；阿贝拉；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；卡尔蒂基扬·巴尔干；杨吉恩 相关软件： Coq；Nuprl；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
麻糬 19份文件引用(2015–2023) 软件作者： 佐藤隆介；小林，直纪；Hiroshi Unno先生 相关软件： z3；垫片；GitHub… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
菲亚特 17篇文献引用(2015–2022) 软件作者： Delaware，B.，Claudel，C.P.，Gross，J.，Chlipala，A。 相关软件： Coq；Isabelle/HOL；CertiCoq… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；佩索，F.，维娅，P.，多利盖兹，D。 相关软件： Coq；dedukti；PVS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MetaOCaml公司 9份文件引用(2006–2018) 软件作者： 瓦利德·塔哈；克里斯蒂亚诺·卡尔卡尼奥；泽维尔·勒罗伊（Xavier Leroy）；Ed Pizzi；埃米尔·帕萨利克；杰森·李·埃克哈特（Jason Lee Eckhardt）；鲁门·凯亚巴切夫；奥列格·基斯廖 相关软件： OCaml；阿格达；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
分离逻辑 10篇文献引用(2015–2022) 软件作者： 彼得·兰米奇（Peter Lammich）；雷内·梅斯 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
凸轮 9份文件引用(1993–2021) 软件作者： 印度 相关软件： OCaml；ACL2；Python… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
CoCaml公司 9份文件引用(2017–2023) 软件作者： Jeannin，Jean-Baptiste；德克斯特·科赞；亚历山德拉·席尔瓦 相关软件： coFJ；CoALP；Paco… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
迷你凯恩人 9份文件引用(2008–2022) 软件作者： Daniel P.Friedman、William E.Byrd、Oleg Kiselyov 相关软件： 卡恩；自动化；汞… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
HMC公司 引用于7份文件(2014–2021) 软件作者： Jhala，R.、Majumdar，R.和Rybalchenko，A。 相关软件： z3；垫片；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
解释 8份文件引用(1997–2021) 软件作者： Gaël Lalire、Mathias Argoud、Bertrand Jeannet 相关软件： 停机坪；ASTREE；YOGI… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OEuf公司 8份文件引用(2018–2022) 软件作者： 马伦，E。；彭斯坦纳，S。；Wilcox，J.R。；Tatlock，Z。；格罗斯曼，D。 相关软件： Coq；CertiCoq；CakeML… 主要字段： 计算机科学（68-XX）
沙帕尔 6篇文献引用(2016–2023) 软件作者： 莱萨尼、莫森；克里斯蒂安·贝尔（Christian J.Bell）。；亚当·奇利帕拉 相关软件： 铁人舰队；威尔第；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TPLib公司 6篇文献引用(2011–2017) 软件作者： 十、阿拉米吉恩 相关软件： 多品牌；热带.lib；TropLi… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： VAMPIRE公司；SMT-LIB；芝诺… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；凯瑟琳·格雷（Kathryn E.Gray）。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
法西乐 引用于3份文件(2005–2009) 软件作者： 巴尼尔，N.，布里塞特，P。 相关软件： 乔科；ProB；Gecode… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ocaml中的js 4份文件引用(2016–2022) 软件作者： Vouillon，J。；巴拉特，V。 相关软件： OCaml；奥西根；VeriPhy；…（V）… 主要字段： 计算机科学（68-XX）
猫头鹰 2份文件引用(2022–2023) 软件作者： 王亮（Liang Wang） 相关软件： OCaml；DGM；亚当… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Sawja公司 4份文件引用(2011–2022) 软件作者： 劳伦特·休伯特（Laurent Hubert）；巴尔，尼古拉斯；贝松，Fr‘ed’eric；Demange，Delphine；托马斯·延森（Thomas Jensen）；文森特·蒙福特；大卫·皮哈迪（David Pichardie）；蒂芬·特平 相关软件： WALA；PAGAI；深悟空… 主要字段： 计算机科学（68-XX）
CertiStr证书 引用于3份文件(2022–2023) 软件作者： Kan Shuanglong、Anthony W.Lin、Philipp Rümmer、Micha Schrader 相关软件： SMT-LIB；Isabelle/HOL；z3… 主要字段： 计算机科学（68-XX）
DPT（DPT） 引用于3份文件(2009–2018) 软件作者： A.Goel、J.Grundy。 相关软件： FOCI；SMT-LIB；自动引用… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Gc平移 引用于3份文件(2007–2011) 软件作者： 丹尼尔·赫希科夫（Daniel Hirschkoff）；Damien Pous；戴维·桑吉奥吉 相关软件： SLMC；OCaml；科莱姆… 主要字段： 计算机科学（68-XX）
session-ocaml会议 引用于3份文件(2018–2023) 软件作者： Imai，Keigo；吉田、Nobuko；袁，Shoji 相关软件： 莫德；蒙哥；LASH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
链球菌属 引用于3份文件(2017–2022) 软件作者： 奥列格·基塞利约夫（Oleg Kiselyov）；阿格洛斯·比布迪斯；Nick Palladinos；亚尼斯·斯马拉格达基斯 相关软件： OCaml；茉莉花；HACL*… 主要字段： 计算机科学（68-XX）
经验证的校准仪 引用于3份文件(2009–2018) 软件作者： 汤姆·里奇 相关软件： 存档正式证据；Isabelle/HOL；FOL_Harrison… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CAVA公司 2份文件引用(2018–2019) 软件作者： 朱利安·布伦纳；彼得·兰米奇（Peter Lammich）；等。 相关软件： 石笼SCC；CAVA LTL模型检查器；存档正式证据… 主要字段： 计算机科学（68-XX）
加密验证 2份文件引用(2012–2013) 软件作者： 大卫·卡德；布鲁诺·布兰切特 相关软件： ASPIER公司；OCaml；密码点… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DynaMoW公司 2份文件引用(2011) 软件作者： Chyzak，Frédéric；亚历克西斯·达拉斯 相关软件： OCaml；Camlp4；组织环境信息系统 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
埃利姆 2份文件引用(2016) 软件作者： 加布里埃尔·拉丹；杰罗姆·沃伊隆；文森特·巴拉特 相关软件： OCaml；用户/网络；重量… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
lang-n-play语言 2份文件引用(2020) 软件作者： 本杰明·穆拉德（Benjamin Mourad）；Cimini，马泰奥 相关软件： 奥特；Twelf；SugarJ… 主要字段： 计算机科学（68-XX）
梅奈尔 2份文件引用(2012–2017) 软件作者： 弗朗索瓦·波蒂埃（François Pottier）、亚恩·雷吉斯·贾纳斯（Yann Régis-Gianas） 相关软件： 马蒂塔；开放理论；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
布拉加方法 1份文件引用(2022) 软件作者： 多米尼克·拉切·温德林（Dominique Larchey-Wendling）；Jean-François莫宁 相关软件： OCaml；CompCert；Coq公司 主要字段： 计算机科学（68-XX）
轻松OCaml 1份文件引用(2015) 软件作者： Benedikt Becker，Christian Haack，J.B.Wells 相关软件： OCaml；SHErrLoc公司；vZ… 主要字段： 计算机科学（68-XX）
HybCore公司 1份文件引用(2020) 软件作者： 谢尔盖·冈查洛夫（Sergey Goncharov）；内维斯（Neves）、雷纳托（Renato）；何塞·普伦萨 相关软件： Modelica；OCaml；GHCi… 主要字段： 计算机科学（68-XX）
THORS公司 1份文件引用(2012) 软件作者： Lester，M.M.，Neatherway，R.P.，Ong，C.-H.L.，Ramsay，S.J.，莱斯特，M.M.，尼瑟韦，R.P.，翁，C.-H.L.，拉姆齐，S.J。 相关软件： TRecS；特征CFA 主要字段： 计算机科学（68-XX）
Verimag多面体库 1份文件引用(2017) 软件作者： 亚历克西斯·福莱、亚历山大·马雷查尔、西尔万·博美、韩愈、米歇尔·佩林、大卫·莫诺 相关软件： PAGAI；PPL；停机坪 主要字段： 运筹学、数学规划（90-XX）