×

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

自旋蛋白

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)

AGG公司

71篇文献引用(1994–2023)
软件作者: 加布里埃尔·坦泽尔
相关软件: 沟槽;进度;AToM3…
主要字段:

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)

美国铝业公司

22篇文献引用(2000–2023)
软件作者: Jackson,D。;谢赫特,I。;我·什利亚克特。
相关软件: 合金;自旋蛋白;箔条…
主要字段:

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

Mcmt公司

27篇文献引用(2010–2023)
软件作者: 吉拉尔迪·S、兰妮丝·S
相关软件: 小卧室;SMT-LIB;z3…
主要字段: 数学逻辑与基础(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)…

Cadence SMV公司

22篇文献引用(2000–2018)
软件作者: 麦克米兰K·L。
相关软件: NuSMV;自旋蛋白;SPOT…
主要字段:

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份文件引用(2000–2021)
软件作者: M“akel”a,马可
相关软件: LoLA;Uppaal;M网络…
主要字段: (68N99-XX);(68Q85-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)…

眩光

8份文件引用(2019年至2024年)
软件作者: Dunsmuir WTM,Scott DJ
相关软件: tscount;R;gamlss.util…
主要字段:

克拉托斯

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

筛选结果依据…

全部的 前5名

相关软件