Coq公司 1964年文献引用(1993–2024) 软件作者: 克利斯朵夫·德林格;Jean-François Dufourd 相关软件: Isabelle/HOL;伊莎贝尔;HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
伊莎贝尔/HOL 1068年文献引用(1996–2024) 软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科 相关软件: 伊莎贝尔;Coq;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
伊莎贝尔 734份文件中引用(1990–2023) 软件作者: 拉里·保尔森(Larry Paulson)、托比亚斯·尼普科(Tobias Nipkow)、马卡里乌斯·温泽尔(Makarius Wenzel) 相关软件: Isabelle/HOL;HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
PVS公司 617文件引用(1993年-2023年) 软件作者: Sam Owre、Natarajan Shankar、John Rushby 相关软件: Coq;Isabelle/HOL;HOL… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
毫升 516份文件引用(1978–2024) 软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学 相关软件: HOL;Coq;伊莎贝尔… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
水獭 325篇文献引用(1988–2023) 软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 相关软件: TPTP;VAMPIRE公司;SPASS… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
HOL灯 319份文件引用(1998–2024) 软件作者: 约翰·哈里森 相关软件: Coq;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
ACL2型 287份文件引用(1998–2023) 软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore) 相关软件: Coq;Isabelle/HOL;PVS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
Z轴 237篇文献引用(1958–2023) 软件作者: 吉姆·伍德科克;吉姆·戴维斯 相关软件: 马戏团;校对能力;罗丹… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
联合 183份文件引用(1988–2021) 软件作者: K.Mani Chandy;贾亚德夫·米斯拉 相关软件: NQTHM;PVS;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
高尔夫 158份文件引用(1996–2024) 软件作者: 赫克托·J·列夫斯克(Hector J.Levesque)。;雷蒙德·雷特(Raymond Reiter);Lespérance,伊夫斯;林方珍;Richard B.舍尔。 相关软件: ConGolog;AgentSpeak;METATEM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
伊萨尔 154份文件引用(2000–2023) 软件作者: 马卡里乌斯·温策尔 相关软件: 伊莎贝尔;Isabelle/HOL;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
LOTOS公司 135份文件引用(1988–2023) 软件作者: 博洛涅西,T.,布林克斯马,E。 相关软件: CADP;自旋蛋白;Uppaal… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
SPARQL公司 101篇文献引用(2007–2023) 软件作者: w3.org;马塞洛·阿里纳斯;佩雷斯,豪尔赫 相关软件: 耶拿;DBpedia;XPath… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
Flyspeck飞点 131篇文献引用(2004–2023) 软件作者: 托马斯·黑尔斯(Thomas C.Hales)。;坦克墨水,雕刻;塞萨里·卡利西克;约瑟夫·乌尔班(Josef Urban);赫尔曼·格乌弗斯 相关软件: HOL灯;Isabelle/HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);凸和离散几何(52-XX)…
Java路径查找器 96篇文献引用(2000–2023) 软件作者: 克劳斯·哈维隆德;托马斯·普雷斯伯格 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)
卢斯特 104篇文献引用(1992–2023) 软件作者: 卡斯皮,P。;Pilaud,D。;Halbwachs,N。;普拉斯,J.A。 相关软件: 埃斯特尔;信号;Simulink… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
PDDL公司 95篇文献引用(2000–2023) 软件作者: 福克斯,M。;Long,D。;Ghallab,M.、Howe,A.、Knoblock,C.、McDermott,D.、Ram,A.、Veloso,M.,Weld,D.、Wilkins,D。 相关软件: 图形平面图;步行卫星;SAPA… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
生物-PEPA 97篇文献引用(2008–2024) 软件作者: 费德里卡·乔切塔(Federica Ciocchetta)、玛丽亚·路易莎·格雷耶罗(Maria Luisa Guerriero)、瓦什蒂·加尔宾(Vashti Galpin)、简·希尔斯顿(Jane Hillston)、朱利奥·卡拉瓦尼亚(Giulio Caravagna)、艾伦·克拉克(Allan Clark)、安德烈亚·德加斯佩里(Andrea Degasperi)、亚当·杜吉 相关软件: 政治公众人物协议;棱镜;生物活性炭… 主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
AVISPA公司 82篇文献引用(2005–2023) 软件作者: 信息社会技术方案下的欧洲共同体(1998-2002) 相关软件: 卡斯珀;ProVerify;OFMC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
马蒂塔 78篇文献引用(2007–2024) 软件作者: 安德烈亚·阿斯佩蒂(Andrea Asperti);里奇奥蒂,威尔默;克劳迪奥·萨切多蒂·科恩;恩里科·塔西 相关软件: Coq;米扎尔;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
科莱姆 65篇文献引用(2000–2023) 软件作者: 德尼古拉,R。;法拉利,G.L。;普格利泽,R。 相关软件: 琳达;克拉瓦;SCEL… 主要字段: 数学逻辑与基础(03-XX);一般拓扑(54-XX);计算机科学(68-XX)…
伊莎贝尔/采埃孚 70篇文献引用(1993年-2023年) 软件作者: 劳伦斯·保尔森 相关软件: 伊莎贝尔;Coq;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
CompCert公司 58篇文献引用(2009–2023) 软件作者: X·勒罗伊。 相关软件: Coq;Isabelle/HOL;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
X减少 53篇文献引用(2003–2020) 软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯) 相关软件: CDuce;XPath;PiDuce… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
K校准仪 46篇文献引用(2007–2022) 软件作者: 罗什、格里戈尔等人 相关软件: 莫德;K工具;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
旋转(swrl) 32篇文献引用(2005–2022) 软件作者: Horrocks,I.、Patel Schneider,P.F.、Boley,H.、Tabet,S.、Grosof,B.、Dean,M。 相关软件: 颗粒;FaCT++;SPARQL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
康戈洛格 引用于40篇文献(1999–2022) 软件作者: 德贾科莫;Lespérance,Y。;H.J.列夫斯克。 相关软件: 高尔夫;AgentSpeak;METATEM… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
IF-2.0型 38篇文献引用(2002–2022) 软件作者: 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔 相关软件: Uppaal;克罗诺斯;旋转… 主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
博客 引用于40篇文献(2006–2023) 软件作者: 米尔奇,B。;Marthi,B。;罗素,S。;桑塔格,D。;Ong,D.L。;Kolobov,A。 相关软件: 教会;ProbLog;IBAL… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
PNML公司 30篇文献引用(1992–2022) 软件作者: 希拉,L.M。;Kordon,F。;佩特鲁奇,L。;Trèves,N。 相关软件: 沃夫兰;设计/CPN;CPN/工具… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
ASF+SDF 32篇文献引用(1996–2022) 软件作者: 范登·布兰德,M.G.J。;van Deursen,A。;海林,J。;德容,H.A。;de Jonge,M。 相关软件: Stratego;莫德;ATERM… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
GF公司 30篇文献引用(1999–2021) 软件作者: 阿恩·兰塔 相关软件: Coq;米扎尔;Isar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
PMaude公司 30篇文献引用(2005–2023) 软件作者: 古尔·阿加;何塞·梅塞盖尔(JoséMeseguer);库什克森 相关软件: 莫德;PVeStA;棱镜… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
红宝石 22篇文献引用(2002年至2017年) 软件作者: 弗拉纳根,D。;松本,Y。 相关软件: 蟒蛇;JavaScript;PERL… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
JUnit公司 16篇文献引用(2002–2022) 软件作者: Yoonsik Cheon;Gary T.Leavens。 相关软件: JML;埃菲尔;ESC/Java… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
爪哇风扇 30篇文献引用(2004–2018) 软件作者: 阿扎德·法尔赞;陈冯;何塞·梅塞盖尔;格里高·罗什乌 相关软件: 莫德;K校准仪;MMT… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
歧管 28篇文献引用(1993年-2023年) 软件作者: 博桑格,M.M。;Arbab,F。;德·巴克尔,J.W。;Rutten,J.J.M.M。;A.斯库特拉。 相关软件: 琳达;里奥;石灰… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
美国铝业公司 22篇文献引用(2000–2023) 软件作者: Jackson,D。;谢赫特,I。;我·什利亚克特。 相关软件: 合金;自旋蛋白;箔条… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
DACTL公司 28篇文献引用(1987–2015) 软件作者: John R.W.Glauert、Richard Kennaway、George A.Papadopoulos、Ronan Sleep 相关软件: 迭戈;进度;蒙斯特… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…
规则ML 22篇文献引用(2002–2022) 软件作者: 安德烈亚斯·埃伯哈特 相关软件: swrl;三倍的;沙达拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
J流量 23篇文献引用(2002–2022) 软件作者: 安德鲁·C·迈尔斯 相关软件: TaintDroid;哈斯克尔;TALx86… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
qGCL公司 25篇文献引用(2000–2024) 软件作者: 保罗·祖利亚尼 相关软件: QPL;质量管理清单;Quipper… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
本质 27篇文献引用(2008–2023) 软件作者: 艾伦·M·弗里希(Alan M.Frisch)。;沃里克·哈维;克里斯·杰斐逊(Chris Jefferson);马丁内斯·埃尔南德斯(Martínez-Hernández),伯纳黛特(Bernadette);伊恩·米格尔 相关软件: 微量锌;锌;ESRA… 主要字段: 结合环与代数(16-XX);计算机科学(68-XX);量子理论(81-XX)…
电子LOTOS 23篇文献引用(1998–2016) 软件作者: 罗伯特·克拉克;安娜·莫雷拉 相关软件: CADP;自旋蛋白;LOTOS… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
GrGen公司 19份文件引用(2006–2023) 软件作者: 盖·鲁比诺;格诺特·维特(Gernot Veit Batz);丹尼尔·格伦德;塞巴斯蒂安·哈克;亚当·萨勒科夫斯基 相关软件: AGG;富贾巴;凹槽… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
变身 23篇文献引用(2012–2023) 软件作者: 托尔斯滕·阿伦特;恩里科·比尔曼;斯特凡·尤拉克;克里斯蒂安·克劳斯(Christian Krause);加布里埃尔·坦泽尔 相关软件: AGG;沟槽;GrGen… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
2APL公司 13份文件引用(2009年至2020年) 软件作者: 迈赫迪·达斯塔尼 相关软件: 杰森;AgentSpeak;Jadex… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LARS公司 23篇文献引用(2016–2022) 软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。 相关软件: 克林戈;o克林戈;SPARQL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
LPL软件 引用于20份文件(2000–2023) 软件作者: Dave Barker-Plummer、Jon Barwise、John Etchemendy;Albert Liu、Michael Murray、Emma Pease 相关软件: EPGY;减少;OTTER… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
PolyTOIL公司 19份文件引用(1997–2014) 软件作者: Bruce,K.,Schuett,A.,van Gent,R.,Fiech,A。 相关软件: 羽量级Java;埃菲尔;Smalltalk… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
圣杯 引用于20份文件(1994–2021) 软件作者: 达雷尔·雷蒙德;伍德,德里克 相关软件: 自动化;AMoRE;GitHub… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
PCOMP公司 21篇文献引用(1991年-2023年) 软件作者: 多布曼,M。;Liepelt,M。;希特科夫斯基,K。 相关软件: PDEFIT;易于安装;ADOL-C… 主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
CP逻辑 引用于20份文件(2009–2023) 软件作者: Joost Vennekens;马克·德纳克;莫里斯·布吕诺格 相关软件: ProbLog;PITA;棱镜… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
HOL-OCL公司 13份文件引用(2002–2016) 软件作者: 阿希姆·D·布鲁克。;沃尔夫,伯克哈特 相关软件: ATL;凯伊;ETPS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
IPSEN公司 引用于20份文件(1991–2010) 软件作者: 安迪·舒尔 相关软件: mctoolbox;LAPACK;PostgreSQL… 主要字段: 历史与传记(01-XX);线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX)…
SCEL公司 17篇文献引用(2014–2023) 软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂齐、安德烈·范丁 相关软件: 科莱姆;莫德;PALOMA… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
ArchJava建筑 10篇文献引用(2002年至2017年) 软件作者: 乔纳森·奥尔德里奇;钱伯斯,克雷格;大卫·诺金 相关软件: SOFA 2.0;宽带;UMLDiff… 主要字段: 计算机科学(68-XX)
半人马座 18篇文献引用(1991–2019) 软件作者: Borras,P.、Clément,D.、Despeyroux,Th.、Incerpi,J.、Kahn,G.、Lang,B.、Pascual,V、 相关软件: K校准仪;Coq;莫德… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
cminor(小) 17篇文献引用(2007–2016) 软件作者: A.W.阿佩尔、S.布拉齐。 相关软件: Coq;CompCert;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
伊莎贝尔/UTP 19份文件引用(2015–2021) 软件作者: 西蒙·福斯特(Simon Foster);Zeyda,Frank;吉姆·伍德科克 相关软件: Isabelle/HOL;马戏团;Z、 … 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;对照(93-XX)
泰尤斯 18篇文献引用(2001–2022) 软件作者: Nadathur,G.,Mitchell,D.J。 相关软件: Twelf公司;阿贝拉;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ArcAngel公司 在14份文件中引用(2003–2023) 软件作者: 马塞尔·奥利维拉(Marcel Oliveira);安娜·卡瓦尔坎蒂;吉姆·伍德科克 相关软件: 马戏团;Z;电源保护… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
糖蛋白2 17篇文献引用(2009–2022) 软件作者: C.烘焙;D.丰满 相关软件: AGG;GrGen;Fujaba… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
伦敦商学院 16篇文献引用(2010–2022) 软件作者: 迈克尔·佩德森(Michael Pedersen);戈登·普洛金(Gordon D.Plotkin)。 相关软件: 生物-PEPA;BioNetGen;生物活性炭… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
MB基础 17篇文献引用(1999–2006) 软件作者: 安德烈亚斯·弗兰克;迈克尔·科尔哈斯 相关软件: TPS;欧米茄;数字(amp;N)… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)
大都市 7份文件引用(2006–2018) 软件作者: Balarin F、Watanabe Y、Hsieh H、Lavagno L、Passerone C、Sangiovanni-Vincentelli A 相关软件: 托勒密;里奥;LUSTRE… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
可视信息系统 10篇文献引用(2005–2015) 软件作者: Brayton,R.K.等人。 相关软件: NuSMV;自旋蛋白;LTL2BA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
那不勒斯 在14份文件中引用(2010–2021) 软件作者: Cramer,M.,Koepke,P.,Schröder,B。 相关软件: 米扎尔;对于TheL;Flyspeck… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
方案 在14份文件中引用(1989–2011) 软件作者: 盖伊·L·斯蒂尔;杰拉尔德·杰伊·萨斯曼 相关软件: LISP;PVS;Lotrescheme… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
岛国 引用于9份文件(2006–2016) 软件作者: 马克·埃斯特瓦(Marc Esteva)、大卫·德·拉克鲁斯(David de la Cruz)、卡尔斯·塞拉(Carles Sierra) 相关软件: 社会可视化者;杰森;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
Java Jr语言 13份文件引用(2005–2020) 软件作者: 杰弗里,艾伦;朱利安·拉特克 相关软件: Z;埃菲尔;多重显示… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
NESL公司 在14份文件中引用(1994–2022) 软件作者: 盖伊·E·布莱洛赫。 相关软件: 哈斯克尔;MapReduce;GHC… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
TLAPS(TLAPS) 在14份文件中引用(1999–2023) 软件作者: 拉波特 相关软件: 薄层色谱法;常春藤;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
对于左 12份文件引用(2002–2021) 软件作者: Vershinin,K.,Paskevich,A。 相关软件: 米扎尔;SAD;定理… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
伊莎贝尔/马戏团 12份文件引用(2013–2017) 软件作者: Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff 相关软件: Isabelle/HOL;电源保护;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)
熔岩 11份文件引用(2002–2018) 软件作者: Bjesse,P.、Claessen,K.、Sheeran,M.、Singh,S。 相关软件: 哈斯克尔;muFP;Coquet… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
LFLC 2000型 13份文件引用(2004–2022) 软件作者: 伊朗空军 相关软件: ETPS;果汁;模糊森林… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
生锈带 13份文件引用(2018–2022) 软件作者: Jung,R.、Jourdan,J.H.、Krebbers,R.和Dreyer,D。 相关软件: 锈蚀;Coq;工具链… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
UML2合金 6篇文献引用(2008–2015) 软件作者: Anastasakis,K.、Bordbar,B.、Georg,G.、Ray,I 相关软件: HOL-OCL;莫德;ATL… 主要字段: 计算机科学(68-XX)
米兹3 12份文件引用(2012–2020) 软件作者: 弗里克·威迪杰克 相关软件: Coq;米扎尔;Isar… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…
美赞臣 引用于9份文件(2006–2019) 软件作者: Bierman GM、Parkinson MJ、Pitts AM 相关软件: 羽量级Java;中量级爪哇;旋风… 主要字段: 计算机科学(68-XX)
Myhill-Nerode公司 12份文件引用(2011–2020) 软件作者: 吴春汉;张兴元;城市,基督教 相关软件: Coq;存档正式证据;常规集… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
FoCaLiZe公司 引用于9份文件(2015–2023) 软件作者: INRIA公司;佩索,F.,维娅,P.,多利盖兹,D。 相关软件: Coq;dedukti;PVS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
6月2日 11份文件引用(1996–2004) 软件作者: 艾伦·海登;格雷格·纳尔逊 相关软件: 天蓝色;MMP/Geometer;梅德勒… 主要字段: 几何(51-XX);数值分析(65-XX);计算机科学(68-XX)…
洛克史密斯 10篇文献引用(2008–2021) 软件作者: Pratikakis,P.、Foster,J.S.、Hicks,M。 相关软件: 继电器;橡皮擦;地精… 主要字段: 计算机科学(68-XX)
穆瓦尔 8份文件引用(2010–2023) 软件作者: Ou,X.,Govindavajhala,S.,Appel,A.W。 相关软件: ADEPTS;分享;SPSS… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
壁画 10篇文献引用(1991–2014) 软件作者: C.B.琼斯。;K.D.琼斯。;Lindsay,P.A。;R.D.摩尔。 相关软件: RAISE(提升);落叶松;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
社会可视化者 8份文件引用(2007–2013) 软件作者: 亚历山大·阿提基斯;塞尔格特,马雷克;杰里米·皮特 相关软件: 岛民;CCalc;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
DEDALE公司 7份文件引用(2001–2010) 软件作者: S.Grumbach、P.Rigaux、L.Segoufin 相关软件: CCUBE;抒情的;Oracle… 主要字段: 近似和展开(41-XX);计算机科学(68-XX)
雷贝卡 8份文件引用(2010–2022) 软件作者: 穆罕默德·马赫迪·贾古奥里;Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦加尔 相关软件: Uppaal;克里奥尔;定时丽贝卡… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Speedith公司 引用于9份文件(2012–2019) 软件作者: Urbas,M.、Jamnik,M.,Stapleton,G.、Flower,J。 相关软件: 超防;伊莎贝尔;迪亚贝利… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);凸和离散几何(52-XX)…