伊莎贝尔/HOL 1068年文献引用(1996–2024) 软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科 相关软件: 伊莎贝尔;Coq;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
LISP公司 114篇文献引用(1960–2023) 软件作者: 约翰·麦卡锡 相关软件: ACL2;NQTHM;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
轻量级Java 107篇文献引用(2001–2023) 软件作者: Atsushi Igarashi;本杰明·皮尔斯(Benjamin C.Pierce)。;菲利普·沃德勒 相关软件: JML;毫升;埃菲尔… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…
教堂 57篇文献引用(2008–2023) 软件作者: Goodman N.、Mansinghka V.K.、Roy D.、Bonawitz K.、Tenenbaum J.B。 相关软件: 博客;IBAL;ProbLog… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);概率论与随机过程(60-XX)…
HOPLA公司 14篇文献引用(2002–2014) 软件作者: 米克尔·奈加德;格林·温斯克尔 相关软件: 新HOPLA 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…
平面图 9份文件引用(1997–2005) 软件作者: 迈克尔·希克斯;潘卡杰·卡卡尔;乔纳森·摩尔(Jonathan T.Moore)。;卡尔·A·冈特。;斯科特·奈特尔斯 相关软件: OCaml;番石榴;AtomCaml… 主要字段: 计算机科学(68-XX)
采购订单模板 6篇文献引用(2018–2022) 软件作者: 阿南德,阿比舍克;西蒙·博利埃(Simon Boulier);科恩、西里尔;索索、马蒂厄;尼古拉斯·塔巴鲁 相关软件: Coq;CertiCoq;OEuf… 主要字段: 计算机科学(68-XX)
PELCR公司 4份文件引用(2007–2019) 软件作者: 马可·佩奇尼(Marco Pedicini);弗朗西斯科·夸利亚 相关软件: MPINE;PORGY公司;哈斯克尔 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CRSX公司 3份文件引用(2009–2011) 软件作者: 罗丝,K.H。;国际商用机器公司 相关软件: 自动化;流行标志;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LLFp公司 4份文件引用(2016年至2019年) 软件作者: Furio Honsell;路易吉·利库里;皮塔·马克西莫维奇;伊万·斯卡格内托 相关软件: Coq;MMT;Agda… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
特征CFA 3份文件引用(2011–2012) 软件作者: 塔伦·帕布;Shreyas Ramalingam;马修,可能;霍尔,玛丽 相关软件: PETSc;CUDA;THORS… 主要字段: 计算机科学(68-XX)
SUBSEXPL公司 3份文件引用(2006–2011) 软件作者: F.L.C.de Moura。;Ayala Rinc\'on,M.(阿亚拉·林肯,M.)。;Kamareddine,F。 相关软件: 自动化;OCaml;Emacs… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
榛子 引用于2份文件(2017) 软件作者: 奥马尔、赛勒斯;伊恩·沃西(Ian Voysey);迈克尔·希尔顿;乔纳森·奥尔德里奇;马修·哈默(Matthew A.Hammer)。 相关软件: 甲基丙烯酸甲酯;js_of_ocaml;mbeddr… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
微型流氓 引用于2份文件(2005–2007) 软件作者: 阿伦·斯塔姆(Aaron Stump);瑞安·贝桑德(Ryan Besand);詹姆斯·布罗德曼。;Hseu,Jonathan;比尔·金纳斯利 相关软件: 卡宴;CVC;阿尔法… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
阿那戈波斯 1份文件引用(2011年) 软件作者: Bugge Grathwohl,尼尔斯·比约恩;杰罗·凯特马(Jeroen Ketema);Jens Duelund,Pallesen;雅各布·格鲁·西蒙森 相关软件: TILC;郁金香;格拉夫维兹 主要字段: 计算机科学(68-XX)
乔夫 1份文件引用(2019) 软件作者: 戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha) 相关软件: 朱庇特;蟒蛇 主要字段: 计算机科学(68-XX)