自旋蛋白 619文件引用(1990–2023) 软件作者: 贝尔实验室 相关软件: NuSMV;Uppaal;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
超小卫星 586份文件引用(2003–2023) 软件作者: Niklas Eén、Niklas Sörensson 相关软件: 查夫;伯克敏;z3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
棱镜 498份文件引用(2001–2023) 软件作者: 奎亚特科夫斯卡,玛尔塔;格钦·诺曼;大卫·帕克 相关软件: MRMC;风暴;Uppaal… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
高超声速 320篇文献引用(1996年至2024年) 软件作者: 汤姆·亨廷格(Tom Henzinger)、裴勇浩(Pei-Hin-Ho)和霍华德·旺托伊(Howard Wong-Toi)。 相关软件: Uppaal;PHAVer;Kronos… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
NuSMV公司 279篇文献引用(1999年-2023年) 软件作者: 亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金西格里亚(Fausto Giunchiglia);马可·罗维里(Marco Roveri);罗伯特·卡瓦达(Roberto Cavada)、米歇尔·多里加蒂(Michele Dorigatti)、亚历山德罗·马里奥蒂(Alessandro Mariotti),安德烈亚·米切利(Andrea Micheli)、塞尔吉奥·莫弗(Sergio Mover)、马可·罗维里(Marco Rover 相关软件: 自旋蛋白;CUDD;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
班德拉 105篇文献引用(2000–2023) 软件作者: 约翰·哈特克利夫;马修·德怀尔 相关软件: 自旋蛋白;Java PathFinder;veriSoft… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
Java PathFinder 95篇文献引用(2000–2023) 软件作者: 克劳斯·哈弗伦德;托马斯·普雷斯伯格 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
政治公众人物协议 111篇文献引用(1995–2024) 软件作者: 简·希尔斯顿;http://www.dcs.ed.ac.uk/pepa/people网站/ 相关软件: 生物-PEPA;棱镜;生物活性炭… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
摩卡 85篇文献引用(1999年-2023年) 软件作者: Alur,R.,Henzinger,T.A.,Mang,F.Y.C.,Qadeer,S.,Rajamani,S.K.,Tasiran,S。 相关软件: MCMAS;棱镜;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
卡斯珀 83份文件引用(1999年至2018年) 软件作者: Gavin Lowe/牛津大学计算实验室 相关软件: AVISPA;水龙头;OFMC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
MRMC公司 71篇文献引用(2006–2023) 软件作者: Joost-Pieter Katoen;亚琛工业大学 相关软件: 棱镜;Uppaal;CADP… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
SLMC公司 75篇文献引用(2003–2023) 软件作者: 雨果·维埃拉;路易斯·凯雷斯 相关软件: 棱镜;管道;莫德… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
雏菊 71篇文献引用(2008–2024) 软件作者: 朱塞皮娜·贝鲁、玛丽亚·皮亚·萨科马尼、斯蒂芬妮娅·奥多利、莱昂蒂娜·达朗戈 相关软件: 西安;GenSSI;COMBOS… 主要字段: 交换代数(13-XX);常微分方程(34-XX);统计学(62-XX)…
WASP公司 63份文件引用(2014–2023) 软件作者: 阿尔维亚诺,马里奥;多达罗、卡明;沃尔夫冈·费伯(Wolfgang Faber);尼古拉·利昂内(Nicola Leone);弗朗西斯科·里卡 相关软件: 克林戈;卡环;格林戈… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
现场 61篇文献引用(2005–2023) 软件作者: Duret-Lutz,A。;波特雷诺。 相关软件: 自旋蛋白;LTL2BA;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
沟槽 48篇文献引用(2004–2023) 软件作者: Kastenberg,H.,Rensink,A。 相关软件: AGG;自旋蛋白;GrGen… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
迪维尼 40篇文献引用(1996–2020) 软件作者: J.Barnat;L.Brim;P.罗凯 相关软件: 自旋蛋白;BEEM;NuSMV… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
CiaoPP公司 51篇文献引用(1999–2022) 软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件: Ciao;SICStus公司;水星… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
基础知识 43篇文献引用(2011–2023) 软件作者: 罗伯特·布雷顿;阿兰·米什琴科 相关软件: MiniSat;z3;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
UPPAAL TIGA公司 47篇文献引用(2007–2023) 软件作者: Behrmann,G.、Cougnard,A.、David,A.、Fleury,E.、Larsen,K.G.、Lime,D。 相关软件: Uppaal;棱镜;Synthia… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
nuXmv(数字) 44篇文献引用(2015年-2023年) 软件作者: 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件: z3;NuSMV;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
PGSolver公司 41篇文献引用(2009–2023) 软件作者: 奥利弗·弗里德曼;马丁·兰格 相关软件: Oink;条纹;mCRL2… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者: 金·拉森(Kim G.Larsen)、王毅(Wang Yi)、保罗·佩特森(Paul Pettersson)、亚历山大·戴维(Alexandre David)、布莱恩·尼尔森(Brian Nielsen)、阿恩·斯科(Arne Skou)、约翰·哈坎森(John Hákansson)、雅各布·伊勒姆·拉斯穆森(Jacob Illum Rasmussen) 相关软件: Uppaal;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
卫星抗体 35篇文献引用(2005–2020) 软件作者: Clarke,E.,Kroning,D.,Sharygina,N.,Yorav,K。 相关软件: 爆炸;SLAM;CPA检查器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
拍打 34份文件引用(2011–2022) 软件作者: 孙军、刘洋、董金松、庞军 相关软件: Uppaal;自旋蛋白;ProB… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
依次的 25篇文献引用(2013年-2023年) 软件作者: 鲁恩·豪博·博杰森·克里斯滕森 相关软件: R;VGAM;lme4… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
活力 32篇文献引用(1993–2018) 软件作者: 托尼·安德鲁斯;沙兹·卡迪尔;Rajamani,Sriram K。;雅各布·雷霍夫;谢、伊晨 相关软件: 自旋蛋白;SLAM;veriSoft… 主要字段: 代数几何(14-XX);复变量函数(30-XX);统计学(62-XX)…
WSAT公司 29篇文献引用(2004–2019) 软件作者: 傅湘;布尔坦、特夫菲克;苏建文 相关软件: BPEL2PN;CADP;旋转… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
茂物 27篇文献引用(2003–2014) 软件作者: 马修·B·德怀尔。;约翰·哈特克利夫;马修·胡西尔(Matthew Hoosier);马修·罗比 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
模仿者 34份文件引用(1996年-2023年) 软件作者: 埃蒂安·安德烈 相关软件: Uppaal;高科技;PPL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
派克斯 23篇文献引用(2009–2018) 软件作者: 尼古拉·蒂尔曼(Nikolai Tillmann)、乔纳森·德哈勒克斯(Jonathan de Halleux) 相关软件: 投掷;可爱的;z3… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
SeaHorn公司 36篇文献引用(2015年-2023年) 软件作者: Gurfinkel,A.、Kahsai,T.、Komuravelli,A.、Navas,J.A。 相关软件: z3;垫片;CPA检查器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-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)
反链 34份文件引用(2006–2022) 软件作者: De Wulf M、Doyen L、Henzinger TA、Raskin JF 相关软件: MONA;HIP;旋转… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
CMC公司 31份文件引用(2000–2020) 软件作者: 弗朗索瓦·拉鲁西尼;金·拉森 相关软件: Uppaal;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
MCK公司 34份文件引用(2004–2023) 软件作者: 罗恩·范德梅登;彼得·甘米(Peter Gammie);Kai Baukus;杰里米·李;程洛;黄晓伟 相关软件: MCMAS;VerICS;NuSMV… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
聪明的_ 23篇文献引用(2000–2018) 软件作者: Ciardo,G。;Jones,R.L。;Miner,A.S.公司。;R·西米尼亚努。 相关软件: 自旋蛋白;棱镜;NuSMV… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
爪哇风扇 在30份文件中引用(2004–2018) 软件作者: 阿扎德·法尔赞;陈冯;何塞·梅塞盖尔;格里高·罗什乌 相关软件: 莫德;K校准仪;MMT… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
垫片 在30份文件中引用(2015年-2023年) 软件作者: 安维什·科穆拉维利(Anvesh Komuravelli);阿里·古芬克尔(Arie Gurfinkel);萨加·查基 相关软件: z3;CVC4;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
APMC公司 29篇文献引用(2004–2021) 软件作者: 托马斯·Hérault;理查德·拉斯因;弗雷德里克·马格尼特;西尔万·佩伦内特 相关软件: 棱镜;Uppaal;风暴… 主要字段: (68M12-XX);(68Q60-XX);(68宽05-XX)
天秤座 在28份文件中引用(1986年至2021年) 软件作者: Verboven,S。;M.休伯特。 相关软件: ROBPCA;robustbase;PRMLT… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
PRISM-游戏 在30份文件中引用(2013–2022) 软件作者: 陈、陶璐;Forejt,Vojtěch;公司;奎亚特科夫斯卡,玛尔塔;戴维·帕克;西马提斯,艾斯蒂斯 相关软件: 棱镜;主旨;MCMAS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者: 安德烈亚斯·波德尔斯基(Andreas Podelski)、安德烈·里巴尔琴科(Andrey Rybalchenko) 相关软件: SLAM;跟踪器;匕首… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
洛拉 26篇文献引用(2000–2021) 软件作者: 卡斯滕·施密特(Karsten Schmidt);K·沃尔夫。 相关软件: 玛丽亚;Uppaal;BPEL2PN… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
BPEL2oWFN型 25篇文献引用(2007–2020) 软件作者: 尼尔斯·洛曼 相关软件: 奶牛;BPEL2PN;温迪… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
J流量 23篇文献引用(2002–2022) 软件作者: 安德鲁·迈尔斯 相关软件: TaintDroid;哈斯克尔;TALx86… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
LTSmin公司 25篇文献引用(2011–2023) 软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布洛姆 相关软件: 自旋蛋白;Uppaal;迪文尼… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
管道 在28份文件中引用(2002–2017) 软件作者: 萨加尔·查基;Rajamani,Sriram K。;雅各布·雷霍夫 相关软件: SLMC;旋风;PiDuce… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
锌 在28份文件中引用(2005–2022) 软件作者: Kim万豪酒店;尼赫科特,尼古拉斯;雷扎·拉斐;Peter J.Stuckey。;加西亚·德拉·班达,玛丽亚;马克·华莱士 相关软件: 本质;微量锌;Gecode… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
伙计 26篇文献引用(1999年-2023年) 软件作者: 乔恩·林德·尼尔森 相关软件: CUDD;西尔文;PolyBoRi… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);计算机科学(68-XX)…
HySAT公司 26篇文献引用(2006–2021) 软件作者: Fränzle,Martin;克里斯蒂安·赫尔德 相关软件: 高科技;数学SAT;SpaceEx… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
罗密欧 27篇文献引用(2005–2020) 软件作者: 纪尧姆·加迪;莱姆,迪迪埃;摩根·马根(Morgan Magnin);Olivier Roux(H.) 相关软件: TINA;Uppaal;Kronos… 主要字段: 组合数学(05-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
兔子 23篇文献引用(2001–2022) 软件作者: 德克·贝尔;Lewerentz,克劳斯;安德烈亚斯·诺亚克 相关软件: Uppaal;克罗诺斯;棱镜… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
UCLID公司 24篇文献引用(2002–2020) 软件作者: Randal E.Bryant;Shuvendu K.Lahiri;桑吉特·塞希亚 相关软件: 查夫;PVS;MiniSat… 主要字段: –
VESTA公司 22篇文献引用(2007–2021) 软件作者: Koushik Sen、Mahesh Viswanathan、Gul Agha 相关软件: 棱镜;莫德;HOL… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
贝德维尔 21篇文献引用(2007–2022) 软件作者: David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadathur、Alwen Tiu 相关软件: Twelf;阿贝拉;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
MOPS公司 15篇文献引用(2003–2019) 软件作者: Chen,H.、Wagner,D。 相关软件: SLAM;爆炸;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
布拉德利特里2 14篇文献引用(2012–2022) 软件作者: 海瑟·特纳(Heather Turner)、大卫·弗斯(David Firth) 相关软件: R;前置模块;gnm… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
常春藤 21篇文献引用(2017年-2023年) 软件作者: McMillan,K.L.,Padon,O。 相关软件: 常春藤;z3;IronFleet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Quantor公司 22篇文献引用(2005–2017) 软件作者: 阿明·比尔 相关软件: 斯基佐;QUBOS公司;部门QBF… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
符号引脚 15篇文献引用(2000–2010) 软件作者: 博什纳奇奇,德拉甘作者简介;Dams,Dennis;莱泽克·霍伦德斯基 相关软件: 自旋蛋白;TopSpin公司;茂物… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)
阿基斯 20篇文献引用(2012–2023) 软件作者: 罗希特·查达(Rohit Chadha)、文森特·雪娃(Vincent Cheval)、特凡·乔布(tefan CiobácȘ)、史蒂夫·克莱默(Steve Kremer) 相关软件: 塔马林;AVISPA;Maude-NPA… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
FoCs公司 17篇文献引用(2000–2018) 软件作者: 亚埃尔阿巴内尔;啤酒,伊兰;Gluhovsky,Leonid;雪伦·凯达尔;Wolfsthal,纱线 相关软件: LTL2BA;HOL;旋转… 主要字段: (68U99-XX);(68Q60-XX);(68M07-XX)
GenSSI公司 20篇文献引用(2013年-2023年) 软件作者: Chis O、Banga J、Balsa-Canto E 相关软件: 雏菊;西安;组合… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
伊莎贝尔/UTP 19份文件引用(2015–2021) 软件作者: 西蒙福斯特;Zeyda,Frank;吉姆·伍德科克 相关软件: Isabelle/HOL;马戏团;Z、 … 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;控制(93-XX)
LiQuor公司 19份文件引用(2007–2019) 软件作者: – 相关软件: 棱镜;MRMC;拉比尼泽… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
麻糬 19份文件引用(2015年-2023年) 软件作者: 佐藤隆介;小林,直纪;Hiroshi Unno先生 相关软件: z3;垫片;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);计算机科学(68-XX)…
聚乙烯醇水杨酸 14篇文献引用(2011–2023) 软件作者: AlTurki,M.,Meseguer,J 相关软件: 莫德;PMaude;VESTA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
有限责任公司 13份文件引用(2012–2022) 软件作者: 斯蒂芬·福克(Stephan Falke);弗洛里安·默兹(Florian Merz);卡斯滕·辛兹 相关软件: 不明飞行物;CPA检查员;CBMC… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
可视信息系统 10篇文献引用(2005–2015) 软件作者: Brayton,R.K.等人。 相关软件: NuSMV;自旋蛋白;LTL2BA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
伊米尔 16篇文献引用(2005–2021) 软件作者: Hákan L.S.尤尼斯。 相关软件: 棱镜;VESTA;MRMC… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
DCVALID公司 16篇文献引用(2001–2022) 软件作者: P.潘迪亚 相关软件: MONA;IDLVALID;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MCGP公司 12份文件引用(2008年至2021年) 软件作者: Gal Katz;多龙·贝利德 相关软件: 棱镜;LTL2BA;旋转… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
CAESAR_解决 11份文件引用(2006–2022) 软件作者: 拉杜·马蒂埃斯库 相关软件: CADP;到期未结;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
贝叶斯图 5份文件引用(2021–2023) 软件作者: 乔纳·加布里(Jonah Gabry)、保尔·克里斯蒂安·比尔克纳(Paul-Christian Buerkner) 相关软件: R;斯坦;卡爪… 主要字段: 统计学(62-XX)
科根(Cogent) 11份文件引用(2005–2018) 软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜 相关软件: 卫星抗体;简化;旋转… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
并发工作台 12份文件引用(2000–2022) 软件作者: P.Stevens等人 相关软件: CADP;SIGREF公司;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
黑加仑 11份文件引用(2016–2022) 软件作者: Birgmeier,J.、Bradley,A.R.、Weissenbacher,G。 相关软件: z3;PySMT;数学SAT5… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)
DeepXlore公司 10篇文献引用(2019–2023) 软件作者: 裴可欣、曹银芝、杨俊峰、苏曼·贾纳 相关软件: 深度愚人;ImageNet;重新连接… 主要字段: 偏微分方程(35-XX);统计学(62-XX);计算机科学(68-XX)…
温格斯基勋爵 13份文件引用(1998–2021) 软件作者: 黄思嘉;蔡、李 相关软件: flexMIRT;贝叶斯DA;PROsetta… 主要字段: 统计学(62-XX);数值分析(65-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
Oink公司 13份文件引用(2018–2022) 软件作者: T·迪克。 相关软件: PGSolver;条纹;mCRL2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
薄片 10篇文献引用(2016–2022) 软件作者: Carter,M.、He,S.、Whitaker,J.、Rakamarić,Z.、Emmi,M。 相关软件: CBMC;z3;SeaHorn… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
SMV公司 13份文件引用(1986–2018) 软件作者: 埃德·克拉克;K.L.McMillan;E.A.艾默生;J.R.伯奇 相关软件: 高科技;PHAVer;旋转… 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
顶部旋转 11份文件引用(2007–2022) 软件作者: 阿拉斯泰尔·唐纳森;爱丽丝·米勒 相关软件: 自旋蛋白;SymmSpin;间隙… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)
APNN-工具箱 12份文件引用(1999–2022) 软件作者: 彼得·巴赫霍尔茨(Peter Buchholz);马库斯·费舍尔;彼得·坎佩尔;卡斯滕·泰珀 相关软件: 棱镜;政治公众人物协议;LDQBD… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
凯撒 11份文件引用(2004–2021) 软件作者: 休伯特·加拉维;Wendelin Serwe;INRIA罗纳阿尔卑斯山 相关软件: CADP;NUPN_INFO;caesar.bdd… 主要字段: –
检查VML 8份文件引用(2004–2019) 软件作者: 阿尔科斯·施密特(Dániel Varró) 相关软件: 自旋蛋白;沟槽;茂物… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
JPF-SE公司 6篇文献引用(2011–2021) 软件作者: Anand S、Pasareanu CS、Visser W 相关软件: Java PathFinder;投掷;可爱… 主要字段: 计算机科学(68-XX)
百万吨 6篇文献引用(2016–2023) 软件作者: R.S.Tsay先生 相关软件: R;变量;RcppArmadillo… 主要字段: 统计学(62-XX);数值分析(65-XX);经典热力学,传热(80-XX)…
猫头鹰 12份文件引用(2018–2022) 软件作者: Křetínsk \345],Jan;托比亚斯·梅根多尔弗;所罗门·西克特 相关软件: SPOT;条纹;棱镜… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-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)…
克拉托斯 10篇文献引用(2011–2022) 软件作者: A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件: 爆炸;系统C;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
玛丽 8份文件引用(2013–2022) 软件作者: 莫尼卡·海纳;克里斯蒂安·罗尔(Christian Rohr);马丁·施瓦里克 相关软件: 清爽;棱镜;SABRE… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…