UMDES公司 442份文件引用(1996–2023) 软件作者: 克里斯托斯·卡桑德拉斯(Christos G.Cassandras);斯特凡·拉福琼 相关软件: Supremica;libFAUDES;TCT… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
X减少 53篇文献引用(2003–2020) 软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯) 相关软件: CDuce;XPath;PiDuce… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
PGSolver公司 41篇文献引用(2009–2023) 软件作者: 奥利弗·弗里德曼;马丁·兰格 相关软件: Oink;条纹;mCRL2… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
MIO工作台 30篇文献引用(2010年-2023年) 软件作者: 鲍尔,塞巴斯蒂安·S。;菲利普·迈耶(Philip Mayer);Legay、Axel 相关软件: 摩托罗拉;ECDAR;MSTA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
FAdo公司 19份文件引用(2010年-2023年) 软件作者: 安德烈·阿尔梅达;马尔科·阿尔梅达;何塞·阿尔维斯;内尔马·莫雷拉;罗杰里奥·里斯 相关软件: GUItar公司;蟒蛇;Vaucanson… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
裴楚丘 16篇文献引用(2008–2022) 软件作者: 蒂姆·斯特拉兹尼;罗兰·梅耶;斯文·林克尔 相关软件: MWB;SLMC;ByMC… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
红矿工 13份文件引用(2010–2022) 软件作者: 马克·索莱;乔塞普·卡莫纳 相关软件: 混合ILPMiner;VipTool;基因… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
AMoRE公司 12份文件引用(1998–2010) 软件作者: O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema 相关软件: 自动化;间隙;圣杯… 主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);计算机科学(68-XX)
古伊塔 在11份文件中引用(2010年-2023年) 软件作者: 安德烈·阿尔梅达;马尔科·阿尔梅达;何塞·阿尔维斯;内尔马·莫雷拉;罗杰里奥·里斯 相关软件: FAdo;蟒蛇;Vaucanson… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
Myhill-Nerode公司 12份文件引用(2011–2020) 软件作者: 吴春汉;张兴元;城市,基督教 相关软件: Coq;存档正式证据;常规集… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
libFAUDES公司 10篇文献引用(2010–2020) 软件作者: 伯恩德·奥皮茨、托马斯·摩尔、克劳斯·施密特 相关软件: UMDES;TCT;害虫… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
克莱纳代数 9份文件引用(2015–2022) 软件作者: A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件: 存档正式证据;Isabelle/HOL;大锤… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…
Presburger Automata公司 9份文件引用(2009–2019) 软件作者: 斯特凡·贝尔霍弗;马库斯·雷特 相关软件: 存档正式证据;Isabelle/HOL;Myhill-Nerode… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Z3str2型 8份文件引用(2017–2023) 软件作者: 郑云辉;维杰·加内什;萨努语Subramanian;特里普,奥马尔;墨菲·贝尔齐什;朱利安·杜比(Julian Dolby);张湘玉 相关软件: 陌生人;汉普;诺恩… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CalCS公司 8份文件引用(2013–2019) 软件作者: Nuzzo,P.、Puggelli,A.、Seshia,S.A.、Sangiovanni-Vincentelli,A.L。 相关软件: dReal;z3;dReach… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…
有限自动机HF 7份文件引用(2015–2020) 软件作者: 劳伦斯·保尔森 相关软件: 遗传有限集;Coq;Myhill-Nerode… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
山核桃 6篇文献引用(1996–2021) 软件作者: 胡萝卜,路易吉;梅勒,弗兰诺;Mango Furnari,马里奥;雷娜塔·纳波利塔诺 相关软件: CANv2;PYR;OpenCAL… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
克罗恩·罗德斯 4份文件引用(2005–2011) 软件作者: 埃格里·纳吉,阿提拉;尼哈尼夫(Nehaniv)、克里斯托弗(Chrystopher L.)。 相关软件: 间隙;SgpDec公司 主要字段: 群论与推广(20-XX);计算机科学(68-XX)
杂交分析 4份文件引用(2009–2022) 软件作者: 卡萨格兰德,A。;德罗西,T。 相关软件: SpaceEx;d/dt;JuliaReach… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统理论;控制(93-XX)
可再生能源2 3份文件引用(2011–2013) 软件作者: 谷歌 相关软件: PCRE;数字Py;Rcpp… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
小牛 3份文件引用(2017–2022) 软件作者: Gerco van Heerdt、Matteo Sammartino、Alexandra Silva 相关软件: LearnLib;杠杆;西格玛*… 主要字段: 计算机科学(68-XX)
GaniFA公司 3份文件引用(2001–2007) 软件作者: Stephan Diehl、Andreas Kerren和Torsten Weller 相关软件: 探戈;BCEL;莱昂纳多… 主要字段: 计算机科学(68-XX)
StonyCam公司 3份文件引用(2008–2010) 软件作者: 埃齐奥·巴托西;弗拉维奥·科拉迪尼;格鲁苏,拉杜;伊曼纽拉·梅雷利;奥利维埃罗·里加内利;斯科特·斯莫尔卡。 相关软件: Uppaal;IF-2.0;克洛诺斯 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
蟾蜍和青蛙 引用于2份文件(2009–2014) 软件作者: Thanatipananda,Thotsaporn Aek;多龙·泽尔伯格 相关软件: 枫树 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
BALM-II型 引用于2份文件(2015–2020) 软件作者: 卡斯蒂蒂内蒂,G.,皮科洛,M.,维拉,T。 相关软件: MVSIS公司 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
CAVA公司 引用于2份文件(2018–2019) 软件作者: 朱利安·布伦纳;彼得·兰米奇(Peter Lammich);等。 相关软件: 石笼SCC;CAVA LTL模型检查器;存档正式证据… 主要字段: 计算机科学(68-XX)
CertiStr证书 引用于2份文件(2022) 软件作者: Kan双龙、Anthony W.Lin、Philipp Rümmer、Micha Schrader 相关软件: CVC4;CLSAT;MiniSat… 主要字段: 计算机科学(68-XX)
施工方 引用于2份文件(1990–2011) 软件作者: 阿莱辛,Z。;Dombi,J。;Fabricz,K。;Gyimothy,T。;霍瓦思,T。 相关软件: GAG公司 主要字段: 计算机科学(68-XX)
图形调查员 引用于2份文件(2011–2016) 软件作者: 捷克语,Wojciech;维托尔德·德兹温;Sławomir Goryczka;托马斯·阿罗德;阿卡迪乌斯·杜德克。 相关软件: SpectralNET;StOCNET网络 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
Ons(打开) 引用于2份文件(2018–2022) 软件作者: 戴维·文霍克;约书亚·莫尔曼(Joshua Moerman);朱里安·罗特 相关软件: 路易斯;新鲜OCaml;NLambda… 主要字段: 计算机科学(68-XX)
害虫 引用于2份文件(2018–2020) 软件作者: Costa,G.、Basin,D.、Bodei,C.、Degano,P.、Galletta,L。 相关软件: TCT;MuDiv;libFAUDES… 主要字段: 计算机科学(68-XX)
耐力 引用于2份文件(2017–2021) 软件作者: 纳塔娜·菲亚尔科夫;雨果·金伯特(Hugo Gimbert);Edon Kelmendi;丹尼斯·库珀伯格 相关软件: 算法97;语言;github 主要字段: 计算机科学(68-XX)
CellExcite公司 1份文件引用(2008) 软件作者: Bartocci,E.、F.Corradini、E.Entcheva、R.Grosu、S.A.Smolka 相关软件: 查龙;d/dt;高超声速 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
手机网络 1份文件引用(2018年) 软件作者: Juan C.Burguillo。 相关软件: – 主要字段: 组合数学(05-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
乔夫 1份文件引用(2019) 软件作者: 戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha) 相关软件: 朱庇特;蟒蛇 主要字段: 计算机科学(68-XX)
利瓦塔 1份文件引用(2019) 软件作者: Ondrej Lengal;吉里·西马切克;托马斯·沃伊纳;马丁·赫鲁斯卡;卢卡斯·霍利克 相关软件: 餐前小吃;反链;LTL2BA… 主要字段: 计算机科学(68-XX)
SAGEMoLiC公司 1份文件引用(2002) 软件作者: 毛里西奥·阿亚拉·林科;达丰塞卡,Alexsandro F。;波贝尔,海德·韦内克;何塞·西奎拉 相关软件: Xaa公司 主要字段: 计算机科学(68-XX)
斯通-克莱恩 1份文件引用(2018年) 软件作者: 沃尔特·古特曼 相关软件: 克莱纳代数;关系代数;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)