PVS公司 617文件引用(1993–2023) 软件作者: Sam Owre、Natarajan Shankar、John Rushby 相关软件: Coq;Isabelle/HOL;HOL… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
联合 183份文件引用(1988–2021) 软件作者: K.Mani Chandy;贾亚德夫·米斯拉 相关软件: NQTHM;PVS;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
Java PathFinder 96篇文献引用(2000–2023) 软件作者: 克劳斯·哈维隆德;托马斯·普雷斯伯格 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
PHAVer公司 119篇文献引用(2005–2024) 软件作者: 戈兰·弗雷斯 相关软件: 高科技;SpaceEx;RSOLVER… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
应用程序 108篇文献引用(2002–2023) 软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);埃纳州扎法内拉;帕特里夏·M·希尔。 相关软件: 高科技;停机坪;ASTREE… 主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
Reluplex公司 71篇文献引用(2017–2024) 软件作者: 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件: 马拉博;AI2;NNV… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
CompCert公司 58篇文献引用(2009–2023) 软件作者: X·勒罗伊。 相关软件: Coq;Isabelle/HOL;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
工具箱LS 59篇文献引用(2005–2023) 软件作者: 员米切尔 相关软件: 顶部.m;椭圆工具箱;ROC-HJ… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
PolyBoRi公司 50篇文献引用(2008–2023) 软件作者: 亚历山大·德雷耶(Alexander Dreyer);迈克尔·布里肯斯坦 相关软件: 单一;SageMath;岩浆… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);交换代数(13-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)…
CORA公司 在35份文件中引用(2016–2023) 软件作者: 马蒂亚斯·阿尔霍夫(Matthias Althoff)、尼古拉斯·科奇杜姆普(Niklas Kochdumper) 相关软件: 流量*;SpaceEx;C2e2… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-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)
APMC公司 引用于29份文件(2004–2021) 软件作者: 托马斯·Hérault;理查德·拉斯因;弗雷德里克·马涅特;西尔万·佩伦内特 相关软件: 棱镜;Uppaal;风暴… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
Minlog公司 25篇文献引用(2001–2023) 软件作者: 乌尔里希·伯杰;宫本健二;赫尔穆特·施维赫滕贝格(Helmut Schwichtenberg);莫尼卡·塞森伯格 相关软件: Coq;Nuprl;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);场论与多项式(12-XX)…
常春藤 21篇文献引用(2017–2023) 软件作者: McMillan,K.L.,Padon,O。 相关软件: 常春藤;z3;IronFleet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
税收 15篇文献引用(2001–2017) 软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特 相关软件: Uppaal;克罗诺斯;埃菲尔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
可控硅 10篇文献引用(2000–2018) 软件作者: 伊曼·布尔吉巴;贝莱德·莫阿 相关软件: 自旋蛋白;NuSMV;PVS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
可视信息系统 10篇文献引用(2005–2015) 软件作者: Brayton,R.K.等人。 相关软件: NuSMV;自旋蛋白;LTL2BA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
智能手机 14篇文献引用(2008–2014) 软件作者: 叶卡捷琳娜·奥尔;沃尔夫拉姆·路德 相关软件: 缬氨酸IVP;FADBAD++;ValEncIA… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
VIP工具 12份文件引用(2008–2022) 软件作者: Bergenthum,R.、Desel,J.、Lorenz,R.和Mauser,S。 相关软件: 红矿工;基因;石化… 主要字段: 计算机科学(68-XX)
HOL-Boogie公司 14篇文献引用(2008–2019) 软件作者: Böhme,萨沙;Leino,K.Rustan M。;沃尔夫,伯克哈特 相关软件: Isabelle/HOL;Why3;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
球状的 13份文件引用(2016–2022) 软件作者: Krzysztof Bar、Aleks Kissinger、Jamie Vicary 相关软件: 量子力学;github;果园… 主要字段: 结合环与代数(16-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…
跟踪器 14篇文献引用(2012–2022) 软件作者: Jaffar,J.、Navas,J.A.、Santosa,A.E。 相关软件: SeaHorn;z3;VeriMAP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
黑加仑 11份文件引用(2016–2022) 软件作者: Birgmeier,J.、Bradley,A.R.、Weissenbacher,G。 相关软件: z3;PySMT;数学SAT5… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)
Exp.打开 12份文件引用(2006–2023) 软件作者: 弗雷德里克·朗 相关软件: CADP;CAESAR_SOLVE公司;M-TREE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
恐龙皮 12份文件引用(2016–2023) 软件作者: Abdelsamie,Abouelmagd;戈登·弗鲁;蒂莫·奥斯特(Timo Oster);费利克斯·迪茨施;加尼加,加博;多米尼克·塞韦宁 相关软件: 坎特拉;2DECOMP;GitHub… 主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)
西尔文 11份文件引用(2020–2023) 软件作者: van Dijk,T。;范德波尔,J。 相关软件: LTSmin公司;棱镜;BuDDy… 主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…
第3章 10篇文献引用(2010–2020) 软件作者: 弗朗西斯科·杜兰;何塞·梅塞盖尔 相关软件: 莫德;CRC 3;MTT… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
贾霍布 11份文件引用(2007–2022) 软件作者: Kuncak,V.、Wies,T.、Zee,K.、Malkis,A.、Bouillaguet,C.、Nguyen,H.H.、Schmitt,P。 相关软件: z3;VAMPIRE公司;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
爪哇-MaC 11份文件引用(2003–2021) 软件作者: Moonzoo Kim、Mahesh Viswanathan、Sampath Kannan、Insup Lee、Oleg Sokolsky 相关软件: JPAX;Java-MOP;LOLA… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
奥尔巴尼/费利克斯 10篇文献引用(2015–2023) 软件作者: I.Tezaur、M.Perego、A.Salinger、R.Tuminaro、S.Price 相关软件: SMIP-HOM;ISSM;万亿… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);变形固体力学(74-XX)…
InVeSt公司 10篇文献引用(1999–2013) 软件作者: Bensalem S、Lakhnech Y、Owre S 相关软件: PVS;TREX公司;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
分离逻辑 10篇文献引用(2015–2022) 软件作者: 彼得·兰米奇(Peter Lammich);雷内·梅斯 相关软件: Isabelle/HOL;存档正式证据;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
TLPVS公司 引用于8份文件(2003–2011) 软件作者: 阿米尔·普努利;塔马拉·阿隆斯 相关软件: PVS;自旋蛋白;魔法… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
VeriFun公司 10篇文献引用(2005–2017) 软件作者: 克里斯托夫·沃尔特;斯蒂芬·施韦策 相关软件: ACL2;哈斯克尔;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
ModelPlex公司 7份文件引用(2016–2022) 软件作者: Mitsch,S.、Platzer,A。 相关软件: 凯伊迈拉;VeriPhy;SpaceEx… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
tK目标 6篇文献引用(2005–2008) 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);丹尼尔·戈拉(Daniele Gorla);罗萨里奥·普格利泽 相关软件: 科莱姆;琳达;克拉瓦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
真相/SLC 4份文件引用(2001–2007) 软件作者: Leucker,Martin;诺尔,托马斯 相关软件: mCRL;CADP;PlayGame游戏 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
UniForM公司 7份文件引用(1999–2011) 软件作者: Bernd Krieg-Brückner、Jan Peleska、Ernst-Rüdiger Olderog、Alexander Baer 相关软件: Uppaal;FranTk;GHC… 主要字段: 计算机科学(68-XX)
ASPIER公司 6篇文献引用(2011–2023) 软件作者: Chaki,S;达塔,A。 相关软件: ProVerify;NAXOS;EasyCrypt… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
CARAT公司 4份文件引用(2008–2011) 软件作者: 黄J,魏W,陈J,张J,刘G,狄X,梅R,石川S,Aburatani H,Jones K W,等。 相关软件: 血浆;R;野餐… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
Verics公司 6篇文献引用(2003–2018) 软件作者: 彼得亚·德米因斯基;阿加塔·雅诺夫斯卡;Pawe Janowskił;沃伊切赫·彭泽克(Wojciech Penczek);阿加塔·波罗拉;马西耶·斯兹特尔(Maciej Szreter);沃兹纳,博泽纳;安德烈·兹布雷泽兹尼 相关软件: MCMAS;MCK;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
Z2萨尔 5份文件引用(2008–2012) 软件作者: J Derrick,S North,A J H Simons公司 相关软件: 自旋蛋白;Z;Z/EVES… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
意大利烟草协会 5份文件引用(2011–2015) 软件作者: 卡马拉,J。;马汀,J.A。;Salaün,G。;库博,J。;Ouederni,M。;运河,C。;皮门特尔,E。 相关软件: 莫德;LTSA-WS;WSAT… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
VeriCon公司 5份文件引用(2014–2021) 软件作者: Ball,T.、Bjorner,N.、Gember,A.、Itzhaky,S.、Karbyshev,A.、Sagiv,M.、Schapira,M.和Valadarsky,A。 相关软件: 食蚁兽;NetKAT;Kuai… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
女神 4份文件引用(1997–2015) 软件作者: 汉斯·奥尔森 相关软件: PETSc;扩散器;Matlab… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
帮助者OC 3份文件引用(2020–2022) 软件作者: 索米尔·班萨尔、莫·陈、西尔维娅·赫伯特、克莱尔·汤姆林 相关软件: 工具箱LS;PILCO公司;Python… 主要字段: 变异微积分和最优控制;优化(49-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
LightDP(光DP) 4份文件引用(2017–2023) 软件作者: 张丹凤;丹尼尔·基弗 相关软件: 私人LR;河豚;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
马赫SMT 4份文件引用(2021–2022) 软件作者: 约瑟夫·斯科特(Joseph Scott);艾娜·尼梅茨;马蒂亚斯·普雷纳(Mathias Preiner);赛义德·内贾蒂;维杰·加内什 相关软件: MedleySolver;萨齐拉;z3… 主要字段: 计算机科学(68-XX)
在线-ABFT 4份文件引用(2016–2023) 软件作者: Z.Chen(陈) 相关软件: ickp;稀疏矩阵;mctoolbox… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);运筹学,数学编程(90-XX)
ProMoVer公司 4份文件引用(2011–2016) 软件作者: Siavash Soleimanifard;古罗夫,帝力;马里克,Huisman 相关软件: MAVEN公司;DeltaCCS;MSTA… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
SCE灯 4份文件引用(2014–2020) 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);阿尔贝托卢克·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔(Andrea Morichetta);罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐 相关软件: SCEL;自旋蛋白;琳达… 主要字段: 计算机科学(68-XX)
终止器 4份文件引用(2013–2022) 软件作者: 徐明;李志斌 相关软件: LoAT;停机坪;GitHub… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);动力系统和遍历理论(37-XX)…
UML秒 引用于2份文件(2014–2018) 软件作者: Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、Shen S 相关软件: 跳跃;TGV;LUSTRE… 主要字段: 计算机科学(68-XX)
VaMpy公司 3份文件引用(2020–2023) 软件作者: 迪姆,A.K。;西北部布雷斯洛夫。 相关软件: pyNS;HE-E1GODF;archTk… 主要字段: 数值分析(65-XX);流体力学(76-XX);生物学和其他自然科学(92-XX)
铝合金 3份文件引用(2016–2020) 软件作者: Daniel A.Dalquen、Maria Anisimova、Gaston H.Gonnet、Christophe Dessimoz 相关软件: MEGA;SimPhy;TTA Lynx… 主要字段: 生物学和其他自然科学(92-XX)
GenMul公司 3份文件引用(2020–2021) 软件作者: Mahzoon,A.、Große,D.、Drechsler,R。 相关软件: PolyCleaner;RevSCA;multgen… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
JavaSPI(JavaSPI) 1份文件引用(2018) 软件作者: 里卡多·西斯托;比塔萨·科佩特(Bettasa Copet),皮尔吉乌塞佩(Piergiuseppe);阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂 相关软件: MJ;AGVI;Bouncy Castle… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
PyBioNet适配 1份文件引用(2020) 软件作者: 密特拉,ED;苏德曼,R。;科尔文,J。;艾伦科夫。;胡,A。;索罗,HM;RG波斯纳;拉瓦切克,WS 相关软件: COPASI;AMIGO公司;碲… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX)
修订SCA 3份文件引用(2020–2021) 软件作者: Mahzoon,A.、Große,D.、Drechsler,R。 相关软件: PolyCleaner;GenMul;multgen… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
验证器 3份文件引用(2016年至2019年) 软件作者: 高弘久保田;Kakutani、Yoshihiko;加藤,加油;川野康仁;樱田秀树 相关软件: QPL;质量管理清单;QPMC… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
Acumen公司 引用于2份文件(2020–2022) 软件作者: Taha、Duracz、Zeng、Atkinson、Bartha、Brauner、Duracx、Xu等。 相关软件: 戴恩拜克斯;鳕鱼;JuliaReach… 主要字段: 系统论;控制(93-XX)
繁荣 在0个文档中引用 软件作者: 杰拉德·巴斯勒;马修·黑格;Daniel Kroening;Ong,C.-H.Luke先生;托马斯·沃尔(Thomas Wahl);赵浩贤 相关软件: 卫星抗体 主要字段: –
CDB-PV公司 引用于2份文件(2010–2019) 软件作者: 斯科特·安德森、彼得·雷维斯 相关软件: ESMF;PostgreSQL;MLPQ… 主要字段: 计算机科学(68-XX);地球物理学(86-XX)
DynaMate公司 1份文件引用(2015) 软件作者: Galeotti,J.P.、Furia,C.A.、May,E.、Fraser,G.、Zeller,A 相关软件: 灵华;VAMPIRE公司;KeY… 主要字段: 计算机科学(68-XX)
费曼 引用于2份文件(2019–2020) 软件作者: M·艾米。 相关软件: openQASM;github;QPL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)
流体防火阀 引用于2份文件(2020–2022) 软件作者: C.T.Jacobs,M.D.Piggott 相关软件: PETSc/TS;ADCIRC;FEniCS… 主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)
高斯 引用于2份文件(2011年至2018年) 软件作者: 罗伯特·帕尔默;史蒂夫·巴鲁斯(Steve Barrus);余阳;Ganesh Gopalakrishnan;罗伯特·M·柯比 相关软件: ISP;自旋蛋白;SLAM… 主要字段: 计算机科学(68-XX)
密集型 1份文件引用(2010) 软件作者: Johan Brichau;安迪·凯伦斯;塞尔吉奥·卡斯特罗;提奥·D’Hondt 相关软件: 检查样式;冬眠;蒙德里安… 主要字段: 计算机科学(68-XX)
JCML公司 引用于2份文件(2009–2012) 软件作者: Da Costa,翁贝托·苏扎;莫雷拉(Moreira)、阿纳玛丽亚·马丁斯(Anamaria Martins);Martin A.Musicante。;索扎·内托(Souza Neto),Pl’acido A。 相关软件: 回路;Z;JML… 主要字段: 计算机科学(68-XX)
Lazysets.jl公司 引用于2份文件(2022) 软件作者: Forets,M。;席林,C 相关软件: NeuralPDE.jl;微分方程.jl;benchmoded… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
新加坡金融管理局 引用于2份文件(2014–2015) 软件作者: 马来亚,N.,Estacio-Hiroms,K.C.,Stogner,R.H.,Schulz,K.W.,Bauman,P.T.,Carey,G.F。 相关软件: Spalart-Allmaras;libMesh;PETSc… 主要字段: 可变形固体力学(74-XX);流体力学(76-XX)
元数据编辑器 引用于2份文件(2008–2013) 软件作者: 米罗斯拉夫·巴托舍克;Kovář,Petr;马丁·萨菲 相关软件: 数学建模语言;ParsCit;INFTY… 主要字段: 计算机科学(68-XX)
从未 引用于2份文件(2011年至2018年) 软件作者: 卢卡·普利纳(Luca Pulina);阿曼多·塔切拉 相关软件: Matlab;OPQ;Roboop… 主要字段: 特殊功能(33-XX);计算机科学(68-XX)
OMUSE公司 引用于2份文件(2017–2020) 软件作者: Inti Pelupessy;本·范·维尔霍文;Arjen van Elteren;扬·维巴恩(Jan Viebahn);亚当·坎迪;西蒙·波特基斯·兹瓦特;亨克·迪克斯特拉 相关软件: CRCP;数字Py;Python… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
第2b页 引用于2份文件(2001–2010) 软件作者: 迈克尔·巴尔达穆斯(Michael Baldamus);Schr“oder Babo,约琴 相关软件: 普罗米拉;自旋蛋白;ML… 主要字段: 计算机科学(68-XX)
校对小工具 引用于2份文件(2021–2022) 软件作者: 爱德华·艾尔斯(Edward W.Ayers)。;贾姆尼克,马蒂亚;W.T.Gowers。 相关软件: 精益;mathlib;岩浆… 主要字段: 计算机科学(68-XX)
PVSio腹板 引用于2份文件(2014–2016) 软件作者: Patrick Oladimeji、Paolo Masci、Paul Curzon、Harold Thimbleby 相关软件: 操纵器;HybridSal;HSolver… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
RDP2号机组 1份文件引用(2017) 软件作者: Martin DP、Williamson C、Posada D 相关软件: SplitsTree;PhyloBayes 3;分区查找器… 主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)
RetinaFace公司 1份文件引用(2022) 软件作者: 邓建康、贾果、周玉祥、余金科、艾琳·科西亚、斯特凡诺斯·扎菲里奥 相关软件: FaceNet;PyTorch;ArcFace… 主要字段: 计算机科学(68-XX)
狼 引用于2份文件(2005–2007) 软件作者: 沙龙·巴纳;Ziv Glazberg;Ishai Rabinovitz 相关软件: Java PathFinder 主要字段: 计算机科学(68-XX)
模拟Insydes 1份文件引用(2011年) 软件作者: 马提亚斯·豪泽;克里斯蒂安·萨尔泽(Christian Salzig);亚历山大·德雷耶 相关软件: 数学软件 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
适用的吊装 1份文件引用(2016) 软件作者: 安德烈亚斯·洛赫比勒;约书亚·施耐德 相关软件: Coq;Isabelle/HOL;密度编译器… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
BIGHORN公司 1份文件引用(2019) 软件作者: 爱达荷州国家实验室(INL):夏一东;大卫·安德斯(David Andrs);理查德·查尔斯·马蒂诺 相关软件: Matlab;齿状山脊;火地岛… 主要字段: 流体力学(76-XX)
COMBINE公司 在0个文档中引用 软件作者: Nguyen,An N。;Quan,Tho T。;Nguyen,Phung H。;Bui,Thang H。 相关软件: z3;HIP;Java PathFinder… 主要字段: –
联合验证人 1份文件引用(2023) 软件作者: 叶,埃里克;Hitaj,Briland;Owre,Sam;奎梅纳;Natarajan Shankar 相关软件: TacTok;游戏Pad;判决-BERT… 主要字段: 计算机科学(68-XX)