马诺普特 163篇文献引用(2013–2024) 软件作者: 尼古拉·鲍马尔(Nicolas Boumal);Bamdev Mishra;P.-A.Absil;鲁道夫·塞普尔赫里 相关软件: RTRMC;皮曼诺普;ROPTLIB… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
莫德-NPA 39篇文献引用(2009–2023) 软件作者: 圣地亚哥埃斯科瓦尔;梅多斯,凯瑟琳作者简介;何塞·梅塞盖尔;圣地亚哥,索尼娅 相关软件: 莫德;塔马林;AVISPA… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
MR和LTV合成工具 37篇文献引用(1999年-2023年) 软件作者: 卡罗尔·皮里;盖尔·杜勒鲁(Geir E.Dullerud)。 相关软件: YALMIP;塞杜米;LMI工具箱… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);运筹学,数学规划(90-XX)…
dSPIN公司 22篇文献引用(2000–2014) 软件作者: Demartini,C.,Iosif,R.,Sisto,R。 相关软件: 自旋蛋白;班德拉;Java PathFinder… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
洛拉 26篇文献引用(2000–2021) 软件作者: 卡斯滕·施密特(Karsten Schmidt);K·沃尔夫。 相关软件: 玛丽亚;Uppaal;BPEL2PN… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
LTSmin公司 25篇文献引用(2011年-2023年) 软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布罗姆 相关软件: 自旋蛋白;Uppaal;迪文尼… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
SymmSpin公司 15篇文献引用(2000–2010) 软件作者: 博什纳奇奇,德拉甘作者简介;Dams,Dennis;莱泽克·霍伦德斯基 相关软件: 自旋蛋白;TopSpin公司;茂物… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)
CAESAR_解决 在11份文件中引用(2006–2022) 软件作者: Radu Mateescu公司 相关软件: CADP;到期未结;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
ADSNARK公司 12份文件引用(2016年-2023年) 软件作者: Backes,M.、Barbosa,M.,Fiore,D.、Reischuk,R.M。 相关软件: 皮诺奇;C的SNARKs;格佩托… 主要字段: 数论(11-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
丽贝卡 8份文件引用(2010–2022) 软件作者: 穆罕默德·马赫迪·贾古奥里;Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦加尔 相关软件: Uppaal;甲酚;定时丽贝卡… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
决策支持系统 3份文件引用(2008–2022) 软件作者: 保罗·吉尔伯特 相关软件: R;dlm;KFAS… 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
SCC人行道 8份文件引用(2020–2023) 软件作者: 王一元;蔡少伟;陈洁江;尹明浩 相关软件: NuMVC;irace;CCLS… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
狂喜 7份文件引用(2005–2020) 软件作者: Jeannet B、dArgenio P、Larsen K 相关软件: 棱镜;参数;PROPhESY… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
CLUE公司 5份文件引用(2021–2024) 软件作者: Alexey Ovchinnikov、Isabel Cristina Pérez Verona、Gleb Pogudin、Mirco Tribastone 相关软件: 侵蚀;尼莫;微分方程.jl… 主要字段: 结合环与代数(16-XX);常微分方程(34-XX);计算机科学(68-XX)…
PTrie公司 5份文件引用(2017–2021) 软件作者: Peter Gjol Jensen;Larsen,Kim Guldstrand;吉·斯尔巴 相关软件: 塔帕尔;LoLA;zUpdate… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
深度合成 4份文件引用(2022–2023) 软件作者: Mohammadosein Hasanbeig、Natasha Yogananda Jeppu、Alessandro Abate、Tom Melham、Daniel Kroening 相关软件: 基线;亚当;古罗比… 主要字段: 计算机科学(68-XX)
SAMC公司 4份文件引用(2019–2020) 软件作者: Tanakorn Leesatapornwongsa、Mingzhe Hao、Pallavi Joshi、Jeffrey F.Lukman、Haryadi S.Gunawi 相关软件: MODIST;铁人舰队;D批次… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
宾根 3份文件引用(2020–2021) 软件作者: 马西耶·齐埃巴(Maciej Zieba)、彼得·森贝雷基(Piotr Semberecki)、塔雷克·埃尔·盖利(Tarek El-Gaaly)、托马斯·特兹辛斯基(Tomasz Trzcinski) 相关软件: SIFT;YFCC1亿;SOS网… 主要字段: 计算机科学(68-XX)
定时丽贝卡 3份文件引用(2016–2020) 软件作者: Khamespanah,E.,Sirjani,M.,Sabahi-Kaviani,Z.,Khosravi,R.,Izadi,M。 相关软件: 丽贝卡;Uppaal;旋转… 主要字段: 计算机科学(68-XX)
显式PRISMSymm 引用于2份文件(2015) 软件作者: 帕特尔,里马;凯文·帕特尔(Kevin Patel);蒂伦·帕特尔 相关软件: 棱镜 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
Kuai公司 引用于2份文件(2019–2021) 软件作者: Majumdar,R.,Tetali,S.D.,Wang,Z。 相关软件: 食蚁兽;VeriCon公司;NetKAT… 主要字段: 计算机科学(68-XX)
PLiNIO公司 在0个文档中引用 软件作者: Daniele Jahier Pagliari、Matteo Risso、Beatrice Alessandra Motetti、Alessio Burrello 相关软件: HAWQ;MorphNet;HardCoReNAS… 主要字段: –
RecInt公司 1份文件引用(2016) 软件作者: 亚历克西斯·布鲁斯特(Alexis Breust);克里斯托夫·查博特;Jean-Guillaume杜马;劳伦特·福斯(Laurent Fousse);帕斯卡·乔治 相关软件: GAUT;mpFq;LinBox… 主要字段: 数值分析(65-XX)