×

找到973个软件包(结果1-100)

伊莎贝尔/HOL

1068年文献引用(1996年至2024年)
软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科
相关软件: 伊莎贝尔;Coq;HOL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

z3型

753份文件引用(2001–2024)
软件作者: 微软研究院;莱昂纳多·德·莫拉;尼古拉·比约纳
相关软件: CVC4;SMT-LIB;Yices…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

自旋蛋白

619文件引用(1990–2023)
软件作者: 贝尔实验室
相关软件: NuSMV;Uppaal;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

伊莎贝尔

734份文件中引用(1990–2023)
软件作者: 拉里·保尔森、托比亚斯·尼普科夫、马卡里乌斯·温泽尔
相关软件: Isabelle/HOL;HOL;Coq…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

Uppaal公司

564份文件引用(1990–2023)
软件作者: 瑞典乌普萨拉大学;丹麦奥尔堡大学
相关软件: 克罗诺斯;高科技;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PVS公司

617文件引用(1993–2023)
软件作者: Sam Owre、Natarajan Shankar、John Rushby
相关软件: Coq;Isabelle/HOL;HOL…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

SIFT公司

382份文件引用(2006–2024)
软件作者: 大卫·罗伊
相关软件: 冲浪;PCA-SIFT;PASCAL VOC…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

毫升

516份文件引用(1978–2024)
软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学
相关软件: HOL;Coq;伊莎贝尔…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

米扎尔

引用于531份文件(1983–2023)
软件作者: Grzegorz Bancerek公司;茨瓦夫·拜林斯基;亚当·格拉博夫斯基(Adam Grabowski);阿图尔·科尼洛维奇;罗伯特·米列夫斯基(Robert Milewski);亚当·诺莫维奇(Adam Naumowicz);Andrzej Trybulec;约瑟夫·乌尔班
相关软件: Coq;Isabelle/HOL;HOL灯…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…

高超声速

320篇文献引用(1996年至2024年)
软件作者: 汤姆·亨廷格(Tom Henzinger)、裴勇浩(Pei-Hin-Ho)和霍华德·旺托伊(Howard Wong-Toi)。
相关软件: Uppaal;PHAVer;Kronos…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

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)…

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…
主要字段: (03B35-XX);(68Q60-XX);(68T15-XX)

克洛诺斯

246篇文献引用(1997–2022)
软件作者: Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine
相关软件: Uppaal;高科技;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

联合

183份文件引用(1988–2021)
软件作者: K.Mani Chandy;贾亚德夫·米斯拉
相关软件: NQTHM;PVS;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

OBJ咖啡馆

167篇文献引用(1997–2023)
软件作者: 森喜朗(Akira Mori);高基町五指
相关软件: 莫德;OBJ3;CASL…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);代数几何(14-XX)…

CESAR公司

160篇文献引用(1982–2023)
软件作者: Queille,J.P。;J.西法基斯。
相关软件: 自旋蛋白;SLAM;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

酯类

137篇文献引用(1985–2023)
软件作者: 杰拉德·贝瑞
相关软件: 卢斯特;信号;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

ETPS公司

162篇文献引用(1986–2022)
软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning
相关软件: TPS;Isabelle/HOL;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

SLAM公司

127篇文献引用(2001–2023)
软件作者: 托马斯·鲍尔(Thomas Ball);Rajamani,Sriram K。
相关软件: 爆炸;自旋蛋白;班德拉…
主要字段: (68U99-XX);(68Q60-XX)

Why3号机组

144篇文献引用(2004–2023)
软件作者: 弗朗索瓦·博博特;Jean-Christophe Filliátre;克劳德·马奇;纪尧姆·梅尔金德;安德烈·帕斯科维奇
相关软件: Coq;卡拉卡拉;z3…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…

OBJ3型

140篇文献引用(1989–2023)
软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(基尼里)
相关软件: 莫德;OBJ咖啡馆;CASL…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

爆炸

111篇文献引用(2003–2022)
软件作者: 托马斯·亨辛格(Thomas A.Henzinger)。;Jhala,Ranjit;Rupak Majumdar;格雷戈伊尔·萨特雷
相关软件: SLAM;CPA检查员;CBMC…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

布吉

126篇文献引用(2007–2023)
软件作者: K.鲁斯坦·莱诺
相关软件: z3;Why3;规范#…
主要字段:

Java PathFinder

95篇文献引用(2000–2023)
软件作者: 克劳斯·哈弗伦德;托马斯·普雷斯伯格
相关软件: 自旋蛋白;班德拉;veriSoft…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

PHAVer公司

119篇文献引用(2005–2024)
软件作者: 戈兰·弗雷斯
相关软件: 高科技;SpaceEx;RSOLVER…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PPL(公私合营)

108篇文献引用(2002–2023)
软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);埃纳州扎法内拉;帕特里夏·M·希尔。
相关软件: 高科技;停机坪;ASTREE…
主要字段: (68U05-XX);(52B11-XX);(68N30-XX)

达夫尼

104篇文献引用(2010–2024)
软件作者: 鲁斯坦·莱诺
相关软件: z3;Why3;布吉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

西雅娜

75篇文献引用(2012–2023)
软件作者: J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。
相关软件: TensorFlow;亚当;PyTorch…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

CBMC公司

86篇文献引用(2004–2023)
软件作者: Clarke E、Kroening D、Lerda F
相关软件: 爆炸;MiniSat;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

seL4级

92份文件引用(2009–2023)
软件作者: Klein,G.、Elphinstone,K.、Heiser,G.,Andronick,J.、Cock,D.、Derrin,P.、Elkaduwe,D.、Engelhardt,K.,Kolanski,R.、Norrish,M.、Sewell,T.、Tuch,H.、Winwood,S。
相关软件: Isabelle/HOL;Coq;伊莎贝尔…
主要字段:

摩卡

85篇文献引用(1999年-2023年)
软件作者: Alur,R.,Henzinger,T.A.,Mang,F.Y.C.,Qadeer,S.,Rajamani,S.K.,Tasiran,S。
相关软件: MCMAS;棱镜;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

太空探索技术公司

90篇文献引用(2011–2023)
软件作者: 戈兰·弗雷泽(Goran Frehse)、科拉斯·勒格尼奇(Colas Le Guernic)、亚历山大·唐泽(Alexandre Donzé)、斯科特·科顿(Scott Cotton)、拉贾西·雷(Rajarshi Ray)、奥利维尔·勒贝泰尔(Olivier Lebeltel)、鲁道夫·里帕多(Rodolf
相关软件: 高科技;流量*;PHAVer…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

皮诺奇

91份文件引用(2013年-2023年)
软件作者: 巴诺,B.,詹特里,C.,豪厄尔,J.,雷科娃,M。
相关软件: C的SNARK;马林鱼;斯巴达人…
主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…

MCMAS公司

86篇文献引用(2006–2023)
软件作者: 阿莱西奥·洛穆西奥(Alessio Lomuscio)、洪阳区(Hongyang Qu)、弗兰科·雷蒙迪(Franco Raimondi)
相关软件: MCK;摩卡;MCMAS-SLK…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

数学SAT5

80篇文献引用(2013年-2023年)
软件作者: 亚历山德罗·西马蒂;阿尔贝托·格里乔;Schaafsma、Bastiaan Joost;罗伯托·塞巴斯蒂亚尼
相关软件: z3;CVC4;Yices…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

VeriFast公司

75篇文献引用(2009–2023)
软件作者: 巴特·雅各布斯;Jan Smans;弗兰克·皮森斯
相关软件: 达夫尼;布吉;z3…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

第三方程序

78篇文献引用(1990–2022)
软件作者: Andrews,Peter B。;乍得·E·布朗。
相关软件: TPTP;ETPS;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

Reluplex公司

71篇文献引用(2017–2024)
软件作者: Guy Katz、Clark Barrett、David Dill、Kyle Julian、Mykel Kochenderfer
相关软件: AI2;NNV;ImageNet…
主要字段:

伊莎贝尔/采埃孚

70篇文献引用(1993–2023)
软件作者: 劳伦斯·保尔森
相关软件: 伊莎贝尔;Coq;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…

凯伊

55份文件引用(2000–2023)
软件作者: http://www.key-project.org/people.html
相关软件: JML;电子稳定控制系统/Java;卡拉卡拉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

发现者

66份文件引用(1999年-2023年)
软件作者: 夏B
相关软件: QEPCAD;枫树;重新记录…
主要字段: 代数几何(14-XX);常微分方程(34-XX);数值分析(65-XX)…

FOCI公司

66份文件引用(2004–2023)
软件作者: 兰吉特·贾拉(Ranjit Jhala)、肯尼思·麦克米兰(Kenneth L.McMillan)
相关软件: 公主;z3;CSIsat…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…

LFW公司

47篇文献引用(2011–2023)
软件作者: Gary B.Huang、Manu Ramesh、Tamara Berg、Erik Learnd-Miller
相关软件: FaceNet;SIFT;公共图形…
主要字段:

mCRL2型

59篇文献引用(2007–2023)
软件作者: Groote,Jan Friso;Mathijssen,Aad公司;米歇尔·雷尼尔斯(Michel A.Reniers)。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡
相关软件: CADP;自旋蛋白;棱镜…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

Caduceus公司

引用于54份文件(2005–2022)
软件作者: Jean-Christophe Filliátre,Claude Marché
相关软件: 卡拉卡拉;Why3;布吉…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

数学SAT

59篇文献引用(2005–2023)
软件作者: 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼
相关软件: z3;伊塞斯;SMT-LIB…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);计算机科学(68-XX)…

CompCert公司

58篇文献引用(2009–2023)
软件作者: X·勒罗伊。
相关软件: Coq;Isabelle/HOL;z3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

CPA检查器

45篇文献引用(2011–2023)
软件作者: 德克·拜尔、斯特凡·洛韦、菲利普·温德勒
相关软件: 爆炸;CBMC;SLAM…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

蛋糕ML

60篇文献引用(2014–2023)
软件作者: 库马尔,拉马纳;玛格努斯·奥·米林(Magnus O.Myreen)。;迈克尔·诺里什(Michael Norrish);斯科特·欧文斯
相关软件: Isabelle/HOL;Coq;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

工具箱LS

59篇文献引用(2005–2023)
软件作者: 员米切尔
相关软件: 顶部.m;椭圆工具箱;ROC-HJ…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

利赫罗

59篇文献引用(2018–2023)
软件作者: Ames,S.、Hazay,C.、Ishai,Y.、Venkitasubramaniam,M。
相关软件: ZKBoo;天秤座;斯巴达人…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

凯伊迈拉

55份文件引用(2008–2023)
软件作者: 安德烈·普拉泽;贾·戴维德·奎塞尔
相关软件: SpaceEx;凯伊梅拉X;高科技…
主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…

沟槽

48篇文献引用(2004–2023)
软件作者: Kastenberg,H.,Rensink,A。
相关软件: AGG;自旋蛋白;GrGen…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

迪维尼

40篇文献引用(1996–2020)
软件作者: J.Barnat;L.Brim;P.罗凯
相关软件: 自旋蛋白;BEEM;NuSMV…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

马林鱼

56篇文献引用(2020–2023)
软件作者: 亚历山德罗·基耶萨;胡云聪;玛丽·马勒(Mary Maller);米什拉、普拉图什;韦斯利,诺亚;尼古拉斯·沃德
相关软件: 斯巴达人;皮诺奇;天秤座…
主要字段:

Frama-C公司

43篇文献引用(2009–2023)
软件作者: 帕特里克·鲍丁;理查德·博尼肯(Richard Bonichon);洛伊克·科伦森;帕斯卡尔·库克;扎伊娜·达盖伊(Zaynah Dargaye);Jean-Christophe Filliátre;菲利普·赫尔曼;克劳德·马奇;本杰明·莫纳特;扬尼克·莫伊;安妮·帕卡莱特;维吉尔·普雷沃斯托;朱利安·西莫尔斯和鲍里斯·亚科博夫斯基
相关软件: Coq;Why3;z3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

CiaoPP公司

51篇文献引用(1999–2022)
软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。
相关软件: Ciao;SICStus公司;水星…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PolyBoRi公司

50篇文献引用(2008–2023)
软件作者: 亚历山大·德雷耶(Alexander Dreyer);迈克尔·布里肯斯坦
相关软件: 单一;SageMath;岩浆…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);交换代数(13-XX)…

基础知识

43篇文献引用(2011–2023)
软件作者: 罗伯特·布雷顿;阿兰·米什琴科
相关软件: MiniSat;z3;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

闪存

50篇文献引用(2001–2021)
软件作者: 雅克·帕塔林;尼古拉斯·科托伊斯(Nicolas Courtois);路易斯·古宾
相关软件: FGb;闪光;岩浆…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…

HSolver公司

48篇文献引用(2005–2023)
软件作者: Stefan Ratschan;知坤社;托马斯·泽特库利奇
相关软件: RSOLVER公司;基准;高科技…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

CVC公司

45篇文献引用(2002年至2021年)
软件作者: 阿伦·斯塔姆(Aaron Stump);克拉克·巴雷特(Clark W.Barrett)。;大卫·L·迪尔。
相关软件: CVC-Lite;简化;箔条…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

廷巴克

49篇文献引用(2001–2023)
软件作者: 托马斯·杰奈特;Yohan Boichut;贝诺·博伊尔;Valérie Viet Triem Tong。。
相关软件: 莫德;AVISPA;ELAN…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…

FaceNet公司

38篇文献引用(2017–2024)
软件作者: Florian Schroff、Dmitry Kalenichenko、James Philbin
相关软件: LFW;ImageNet;深脸…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

XM2VTSDB

22篇文献引用(2000–2017)
软件作者: Messer,K.、Mastas,J.、Kittler,J.、Luettin,J.、Maitre,G。
相关软件: 费雷特;AR面;CMU PIE…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

nuXmv(数字)

44篇文献引用(2015年-2023年)
软件作者: 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔
相关软件: z3;NuSMV;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

WhyML公司

44篇文献引用(2013年-2023年)
软件作者: Jean-Christophe Filliátre;安德烈·帕斯科维奇
相关软件: Why3;z3;Coq…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

Z/EVES公司

35篇文献引用(1998–2021)
软件作者: 社区Z工具项目
相关软件: Z;电源保护;马戏团…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数几何(14-XX)…

Uppaal2k公司

38篇文献引用(2000–2017)
软件作者: 金·拉森(Kim G.Larsen)、王毅(Wang Yi)、保罗·佩特森(Paul Pettersson)、亚历山大·戴维(Alexandre David)、布莱恩·尼尔森(Brian Nielsen)、阿恩·斯科(Arne Skou)、约翰·哈坎森(John Hákansson)、雅各布·伊勒姆·拉斯穆森(Jacob Illum Rasmussen)
相关软件: Uppaal;克罗诺斯;高科技…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

设计/CPN

35篇文献引用(1996年-2023年)
软件作者: 艾萨姆·阿佐尼(Issam Al-Azzoni);Down,道格拉斯·G。
相关软件: CPN/工具;PNML;TINA…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

HYSDEL公司

41篇文献引用(2003–2023)
软件作者: 法比奥·达尼洛·托里西(Fabio Danilo Torrisi)、阿尔贝托·本普拉德(Alberto Bempoad)、乔埃勒·贝尔蒂尼(Giole Bertini)、彼得·赫塔奇(Peter Hertach)、多米尼克·约斯特(Dominic Jost)、多梅尼科·米农(Domenico Mignone)
相关软件: 混合工具箱;CPLEX;高科技…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

卫星抗体

35篇文献引用(2005–2020)
软件作者: Clarke,E.,Kroning,D.,Sharygina,N.,Yorav,K。
相关软件: 爆炸;SLAM;CPA检查器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

清爽

35篇文献引用(1994–2023)
软件作者: M Heiner、M Herajy、F Liu、C Rohr、M Schwarick
相关软件: 玛丽;CPN/工具;日晷…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);差分方程和函数方程(39-XX);计算机科学(68-XX)…

CoLoR公司

40篇文献引用(2006–2022)
软件作者: F.Blanqui、W.Delobel、S.Coupet-Grimal、S.Hinderer、A.Koprowski
相关软件: Coq;Isabelle/HOL;CeTA…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX)…

日/日

40篇文献引用(2002–2022)
软件作者: 细辛,尤金;Dang,Thao;奥德·马勒
相关软件: 高科技;PHAVer;SpaceEx…
主要字段: (68U99-XX);(68Q60-XX)

魔法

39篇文献引用(2003–2020)
软件作者: 萨加尔·查基;埃德蒙·克拉克;Jha,萨默什;赫尔穆特·维思
相关软件: ComFoRT;班德拉;旋转…
主要字段: (68Q60-XX);(68Q85-XX);(91A80-XX)…

SATIRE(饱和)

36篇文献引用(2003年至2021年)
软件作者: Whittemore J、Kim J、Sakalah K
相关软件: 查夫;MiniSat;伯克敏…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

海洋标志

39篇文献引用(2019–2023)
软件作者: Luca De Feo;史蒂文·加尔布雷思。
相关软件: CSI-FiSh;SageMath;McEliece…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

CEGAR公司

38篇文献引用(2006–2022)
软件作者: 赫尔曼斯,霍尔格;比约恩·瓦希特;张丽君
相关软件: 棱镜;通行证;MRMC…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

斯巴达人

引用于37份文件(2020–2023)
软件作者: 斯里纳特,塞蒂
相关软件: 马林鱼;天秤座;利盖罗…
主要字段: (94A60-XX)

UnitWalk公司

33篇文献引用(2002–2023)
软件作者: 爱德华·赫施(Edward A.Hirsch)。;阿里斯特·科耶夫尼科夫
相关软件: 查夫;SATO;伯克敏…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

沃夫兰

35篇文献引用(1999–2022)
软件作者: 埃里克·韦贝克(Eric Verbeek);Wil M.P.范德阿尔斯特。
相关软件: PNML;咩咩叫;WSAT…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

WSAT公司

29篇文献引用(2004–2019)
软件作者: 傅湘;布尔坦、特夫菲克;苏建文
相关软件: BPEL2PN;CADP;旋转…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

茂物

27篇文献引用(2003–2014)
软件作者: 马修·B·德怀尔。;约翰·哈特克利夫;马修·胡西尔(Matthew Hoosier);马修·罗比
相关软件: 自旋蛋白;班德拉;veriSoft…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

CORA公司

35篇文献引用(2016–2023)
软件作者: 马蒂亚斯·阿尔霍夫(Matthias Althoff)、尼古拉斯·科奇杜姆普(Niklas Kochdumper)
相关软件: 流量*;SpaceEx;C2e2…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

模仿者

34份文件引用(1996年-2023年)
软件作者: 埃蒂安·安德烈
相关软件: Uppaal;高科技;PPL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

SeaHorn公司

36篇文献引用(2015年-2023年)
软件作者: Gurfinkel,A.、Kahsai,T.、Komuravelli,A.、Navas,J.A。
相关软件: z3;垫片;CPA检查器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

STeP公司

33篇文献引用(1997–2015)
软件作者: N.Bjørner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe
相关软件: PVS;自旋蛋白;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

VerICS版本

34份文件引用(2005–2023)
软件作者: 兹布热兹尼(Zbrzezny,Andrzej);沃兹纳、博·德·泽纳
相关软件: MCMAS;MCK;MOCHA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

阿凡达

34份文件引用(2014–2023)
软件作者: 沃伦科夫,A。
相关软件: VAMPIRE公司;TPTP;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

违约

32篇文献引用(2011–2022)
软件作者: 亚历山大·唐泽
相关软件: S-TaLiRo;流量*;SpaceEx…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

深面(DeepFace)

32篇文献引用(2015年-2023年)
软件作者: Taigman Y,Yang M,Ranzato M,Wolf L。
相关软件: ImageNet;AlexNet;FaceNet…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

jStar公司

32篇文献引用(2008–2022)
软件作者: DiStefano,D.,Parkinson,M。
相关软件: 小脚;VeriFast;Why3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

NRL公司

在30份文件中引用(1996–2022)
软件作者: 凯瑟琳·梅多斯
相关软件: 莫德;AVISPA;OFMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

CMC公司

31份文件引用(2000–2020)
软件作者: 弗朗索瓦·拉鲁西尼;金·拉森
相关软件: Uppaal;克罗诺斯;高科技…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

臀部

33篇文献引用(2007–2023)
软件作者: 魏恩根;Huu Hai Nguyen;克里斯蒂娜·大卫;克里斯蒂安·盖尔希娜;Quang Loc Le;Ton-Chanh Le;阿桑卡亚·夏尔马
相关软件: 小脚;VeriFast;幻灯片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

日本运通银行

25篇文献引用(2002–2022)
软件作者: 克劳斯·哈弗伦德;格里高·罗什乌
相关软件: Java PathFinder;莫德;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

马蒂斯

34份文件引用(2007–2022)
软件作者: 安托万·吉拉德;乔治·帕帕斯。
相关软件: 高科技;PHAVer;SpaceEx…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

NetKAT公司

33篇文献引用(2014–2023)
软件作者: Anderson,C.J.,Foster,N.,Guha,A.,Jeannin,J.-B.,Kozen,D.,Schlesinger,C.,Walker,D。
相关软件: VeriFlow;狂热;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);结合环与代数(16-XX)…

筛选结果依据…

全部的 前5名

相关软件