×

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

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

安娜

引用于8份文件(1986–2007)
软件作者: 大卫·勒克姆
相关软件: Ada95;火花;规范#…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

InVeSt公司

10篇文献引用(1999–2013)
软件作者: Bensalem S、Lakhnech Y、Owre S
相关软件: PVS;TREX公司;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

j承包商

9份文件引用(2002–2012)
软件作者: 穆拉特·卡拉曼;帕克·阿伯克龙比
相关软件: JML;埃菲尔;规范#…
主要字段: 计算机科学(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)

DisCo公司

7份文件引用(1998-2006年)
软件作者: 蒂莫·阿尔顿;米卡·卡塔拉;里斯托·皮卡宁
相关软件: PVS;方面J;Ocsid…
主要字段: 计算机科学(68-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)

魔术

引用于2份文件(2019–2022)
软件作者: 罗宾·K·S·汉金
相关软件: R;矩阵;abind…
主要字段: 统计学(62-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)

原子

3份文件引用(2010–2012)
软件作者: I.S.阿努列夫。
相关软件: C-Light;规格#;布吉…
主要字段: 计算机科学(68-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)

代码图表

引用于2份文件(2011–2013)
软件作者: 艾登,A.H。;Gasparis,E。;Nicholson,J。;R.卡兹曼。
相关软件: 落叶松
主要字段: 计算机科学(68-XX)

CoLiS公司

引用于2份文件(2017)
软件作者: 尼古拉斯·珍妮罗德;克劳德·马奇;拉尔夫·特里宁
相关软件: Why3;WhyML;CVC4…
主要字段: 计算机科学(68-XX)

DynaMate公司

1份文件引用(2015)
软件作者: Galeotti,J.P.、Furia,C.A.、May,E.、Fraser,G.、Zeller,A
相关软件: 灵华;VAMPIRE公司;KeY…
主要字段: 计算机科学(68-XX)

电子稳定控制系统4

引用于2份文件(2010–2011)
软件作者: 佩里·R·詹姆斯。;帕特里斯·沙林
相关软件: 布吉;ESC/Java;cvc3…
主要字段: 计算机科学(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)

HBAC公司

引用于2份文件(2009–2010)
软件作者: Wang,J.、Takata,Y.、Seki,H。
相关软件:
主要字段: 计算机科学(68-XX)

标识哈希映射

1份文件引用(2022)
软件作者: 甲骨文公司
相关软件: OpenJML;JML单位;JBMC…
主要字段: 计算机科学(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)

McScM公司

1份文件引用(2023)
软件作者: Heußner,亚历山大;特里斯坦勒加尔;格雷戈伊尔·萨特雷
相关软件: 餐前小吃;CADP;旋转…
主要字段: 计算机科学(68-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)

ASV火炬

在0个文档中引用
软件作者: Kong Aik Lee、Ville Vestman、Tomi Kinnunen
相关软件: SIDEKIT公司;鲍勃;VoxCeleb…
主要字段:

BCiC公司

1份文件引用(2005)
软件作者: 内森·怀特黑德;马丁·阿巴迪
相关软件: 粘合剂
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

BIGHORN公司

1份文件引用(2019)
软件作者: 爱达荷州国家实验室(INL):夏一东;大卫·安德斯(David Andrs);理查德·查尔斯·马蒂诺
相关软件: Matlab;齿状山脊;火地岛…
主要字段: 流体力学(76-XX)

CABA3D飞机

1份文件引用(2020)
软件作者: 舍弗勒科技股份有限公司
相关软件: ABAQUS公司
主要字段: 粒子和系统力学(70-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)

筛选结果依据…

全部的 前5名

相关软件