卡萨迪 102份文件引用(2012–2024) 软件作者: Joel Andersson;约翰·奥凯森;莫里茨·迪尔 相关软件: Ipopt;Matlab;HSL… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
贝博普 71篇文献引用(2000–2022) 软件作者: 托马斯·鲍尔(Thomas Ball,Sriram K.Rajamani) 相关软件: 自旋蛋白;班德拉;SLAM… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
jStar公司 32篇文献引用(2008–2022) 软件作者: DiStefano,D.,Parkinson,M。 相关软件: 小脚;VeriFast;Coq… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PESSOA公司 26篇文献引用(2011–2022) 软件作者: 普里塔姆·罗伊;保罗·塔布阿达;鲁帕克·马朱姆达尔 相关软件: SCOTS;科西马;TuLiP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
毒蛇 在25份文件中引用(2016–2023) 软件作者: 彼得·穆勒(Peter Müller)、马尔特·施沃尔霍夫(Malte Schwerhoff)、亚历山大·萨默斯(Alexander J.Summers) 相关软件: VeriFast;达夫尼;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
FunArray(趣味阵列) 18篇文献引用(2011–2021) 软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐 相关软件: ASTREE公司;z3;助推器… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)
FODD规划师 15篇文献引用(2008–2022) 软件作者: Joshi,S。;R.卡顿。 相关软件: FluCaP;图形平面图;高尔夫… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
西格玛* 13份文件引用(2013–2022) 软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić) 相关软件: 拉利布;libalf;z3… 主要字段: 计算机科学(68-XX)
悉尼商学院 13份文件引用(2014–2021) 软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克 相关软件: z3;vZ;OptiMathSAT… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
克拉托斯 10篇文献引用(2011–2022) 软件作者: A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件: 爆炸;系统C;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
辛西娅 8份文件引用(2012–2022) 软件作者: Peter,H.-J.,Ehlers,R.,Mattmüller,R。 相关软件: UPPAAL TIGA;Uppaal;棱镜… 主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);系统论;控制(93-XX)
斯托克Hy 8份文件引用(2019–2023) 软件作者: Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件: 棱镜;FAUST2;SReachTools… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
ASPIER公司 6篇文献引用(2011年-2023年) 软件作者: Chaki,S;达塔,A。 相关软件: ProVerify;NAXOS;轻松加密… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
杂交Sal 4份文件引用(2009–2020) 软件作者: 蒂瓦里,A。 相关软件: HSolver;RSOLVER公司;Yices… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
p面 7份文件引用(2019–2022) 软件作者: 哈立德,马哈茂德;马吉德·扎马尼 相关软件: SCOTS;ROCS;CoSyma… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
德维托 3份文件引用(2020) 软件作者: 纳瓦约特·库克雷加、马蒂亚斯·卢布廷、费利佩·维埃拉、法比奥·卢波里尼、迈克尔·兰格、杰勒德·戈尔曼 相关软件: 蟒蛇;朱莉娅;mpi4jax… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
版本X 4份文件引用(2020–2022) 软件作者: Permenev,A.、Dimitrov,D.、Tsankov,P.、Drachsler-Cohen,D.、Vechev,M。 相关软件: solc-verify;落叶松;埃菲尔… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
尤里卡 3份文件引用(2008–2014) 软件作者: Armando,A.,Benerecetti,M.,Carotenuto,D.,Mantovani,J.,Spica,P。 相关软件: CBMC;SLAM;旋转… 主要字段: 计算机科学(68-XX)
总结 1份文件引用(2017) 软件作者: E.霍维·C·Y·林 相关软件: WordNet;OpenNMT;GluonNLP… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-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)
PRODeep公司 2份文件引用(2021) 软件作者: 李锐,李杰,黄CC,杨P,黄X,张L,薛B,Hermanns H 相关软件: Reluplex;马拉博;阿波罗… 主要字段: 计算机科学(68-XX)
STEWord公司 2份文件引用(2017–2020) 软件作者: 查克拉波蒂,苏普拉蒂克;苏拉布哈西达什维利;Carl-Johan H.Seger。;拉杰库马尔,加哈维利;坦马·霍尔丹卡尔(Tanmay Haldankar);恰塔尼(Chhatani)、迪内什(Dinesh);拉凯什·米斯特里 相关软件: MiniSat;作业成本法;数学SAT5… 主要字段: 计算机科学(68-XX)
防抱死制动系统 1份文件引用(2022) 软件作者: 亚历山大·韦伯(Alexander Weber);马科维奇克(Macoveiciuc)、伊利赛(Elisei);冈瑟·雷西格 相关软件: AROC;GRKLib;p面… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
宾果游戏 1份文件引用(2023年) 软件作者: 大卫·L·兰德尔;泰勒·S·汤森;雅各布·D·霍奇哈尔特;杰弗里·波马里托 相关软件: github;PMLB;SMCPy… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
爱因斯坦 1份文件引用(2022) 软件作者: 史莱亚斯·巴帕特(Shreyas Bapat);等。 相关软件: – 主要字段: 光学、电磁理论(78-XX);经典热力学,传热(80-XX);量子理论(81-XX)…
SENSE(感知) 1份文件引用(2019) 软件作者: M.Khaled、M.Rungger、M.Zamani 相关软件: BDD2机具;p面;ROCS… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)