自旋蛋白 619文件引用(1990–2023) 软件作者: 贝尔实验室 相关软件: NuSMV;Uppaal;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
斯莫德尔斯 231篇文献引用(1999–2022) 软件作者: 伊尔卡·尼梅尔;西蒙斯,P;托米·西尔贾宁 相关软件: 亚萨特;C模型;XSB… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
SATO公司 190份文件引用(1996–2023) 软件作者: 张,H 相关软件: 糠;伯克敏;PSATO… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
SETHEO公司 引用于118篇文献(1990–2022) 软件作者: 莱茨,R。;舒曼,J。;拜耳,S。;比贝尔,W。 相关软件: TPTP;水獭;SPASS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
政治公众人物协议 111篇文献引用(1995–2024) 软件作者: 简·希尔斯顿;http://www.dcs.ed.ac.uk/pepa/people网站/ 相关软件: 生物-PEPA;棱镜;生物活性炭… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
MCMAS公司 86篇文献引用(2006–2023) 软件作者: 阿莱西奥·洛穆西奥(Alessio Lomuscio)、洪阳区(Hongyang Qu)、弗兰科·雷蒙迪(Franco Raimondi) 相关软件: MCK;摩卡;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
模糊逻辑工具箱 66份文件中引用(1998–2022) 软件作者: 网织物;北卡罗来纳州格利。;Jang,J.S。 相关软件: Matlab;ANFIS;Simulink… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
Nitpick公司 79份文件引用(1999年-2023年) 软件作者: Jasmin Christian布兰切特;托比亚斯·尼普科 相关软件: Isabelle/HOL;大锤;伊莎贝尔… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
SLMC公司 75篇文献引用(2003–2023) 软件作者: 雨果·维埃拉;路易斯·凯雷斯 相关软件: 棱镜;管道;莫德… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
巴贝尔 72份文件引用(1988–2013) 软件作者: 马里奥·罗德里格斯-阿塔莱霍 相关软件: 核叶;玩具;咖喱… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
WASP公司 63份文件引用(2014–2023) 软件作者: 阿尔维亚诺,马里奥;多达罗、卡明;沃尔夫冈·费伯(Wolfgang Faber);尼古拉·利昂内(Nicola Leone);弗朗西斯科·里卡 相关软件: 克林戈;卡环;格林戈… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
数学SAT 59篇文献引用(2005–2023) 软件作者: 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件: z3;Yices;SMT-LIB… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);计算机科学(68-XX)…
现场 61篇文献引用(2005–2023) 软件作者: Duret-Lutz,A。;波特雷诺。 相关软件: 自旋蛋白;LTL2BA;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
生物CHAM 52篇文献引用(2005–2024) 软件作者: Chabrier,N.、Fages,F.、Soliman,S。 相关软件: 生物-PEPA;棱镜;政治公众人物协议… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
基础知识 43篇文献引用(2011年-2023年) 软件作者: 罗伯特·布雷顿;阿兰·米什琴科 相关软件: MiniSat;爱格;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
状态流 43篇文献引用(1989–2023) 软件作者: 数学工程公司。 相关软件: Simulink;Matlab;托勒密… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
GHC公司 36篇文献引用(1986–2014) 软件作者: Kazunori上田 相关软件: 谈判;基马;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
棱镜 41篇文献引用(2006–2022) 软件作者: 佐藤,T.,卡梅亚,Y。 相关软件: ProbLog;CP逻辑;PITA… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
ITSM2000标准 36篇文献引用(2016–2023) 软件作者: 彼得·布罗克韦尔(Peter J.Brockwell)。;理查德·戴维斯(Richard A.Davis)。 相关软件: 其mr;astsa;tscount… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
HIP(热等静压) 33篇文献引用(2007–2023) 软件作者: 魏恩根;Huu Hai Nguyen;克里斯蒂娜·戴维;克里斯蒂安·吉尔吉纳(Cristian Gherghina);Quang Loc Le;汤尚乐;阿桑卡亚·夏尔马 相关软件: 小脚;VeriFast;幻灯片… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-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)
内核-叶 引用于31份文件(1989–2013) 软件作者: 埃利奥·乔瓦内蒂;乔治·列维;Corrado Moiso;帕拉米德斯猫 相关软件: 巴贝尔;玩具;咖喱… 主要字段: 计算机科学(68-XX)
南美林猫 23篇文献引用(2007–2022) 软件作者: 埃米娜·托拉克;丹尼尔·杰克逊 相关软件: z3;Isabelle/HOL;尼特皮克… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
PRISM-游戏 30篇文献引用(2013–2022) 软件作者: 陈、陶璐;Forejt,Vojtěch;公司;玛尔塔·奎亚特科夫斯卡;戴维·帕克;西马提斯,艾斯蒂斯 相关软件: 棱镜;主旨;MCMAS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者: 安德烈亚斯·波德尔斯基(Andreas Podelski)、安德烈·里巴尔琴科(Andrey Rybalchenko) 相关软件: 灌篮;跟踪器;匕首… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
达尔文 28篇文献引用(2005–2023) 软件作者: Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件: E-Darvin;TPTP;iProver… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
TLA公司 29篇文献引用(1992–2023) 软件作者: L.兰波特 相关软件: 自旋蛋白;z3;加号… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
BPEL2oWFN型 在25份文件中引用(2007–2020) 软件作者: 尼尔斯·洛曼 相关软件: 奶牛;BPEL2PN;温迪… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
LTSmin公司 在25份文件中引用(2011年-2023年) 软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布罗姆 相关软件: 自旋蛋白;Uppaal;迪文尼… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
Cadence SMV公司 22篇文献引用(2000–2018) 软件作者: 麦克米兰K·L。 相关软件: NuSMV;自旋蛋白;SPOT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统理论;控制(93-XX)
S-TaLiRo公司 26篇文献引用(2011年-2023年) 软件作者: 安普雷迪(Annpureddy),亚什旺斯(Yashwanth);刘,车;费内科斯(Fainekos,Georgios);桑卡拉纳拉亚南,斯里拉姆 相关软件: 违约;SpaceEx;流量*… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
PITA公司 24篇文献引用(2010年-2023年) 软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);Swift,Terrance公司 相关软件: ProbLog;CP逻辑;棱镜… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
罗塞塔 21篇文献引用(1998–2021) 软件作者: Øhrn,Aleksander;Komorowski,Jan;安德烈·斯科伦(Andrzej Skowron);彼得·西纳克 相关软件: UCI-ml;LERS;RSES… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
VESTA公司 22篇文献引用(2007–2021) 软件作者: Koushik Sen、Mahesh Viswanathan、Gul Agha 相关软件: 棱镜;莫德;霍尔… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
毒蛇 在25份文件中引用(2016–2023) 软件作者: 彼得·穆勒(Peter Müller)、马尔特·施沃尔霍夫(Malte Schwerhoff)、亚历山大·萨默斯(Alexander J.Summers) 相关软件: VeriFast;达夫尼;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
E-Darvin公司 23篇文献引用(2006–2023) 软件作者: 彼得·鲍姆加特纳(Peter Baumgartner);比约恩·佩尔泽;蒂内利、塞萨尔;亚历山大·富克斯(Alexander Fuchs);汉斯·德尼维尔 相关软件: 达尔文;梅斯4;TPTP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
贝德维尔 21篇文献引用(2007–2022) 软件作者: David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadatur、Alwen Tiu 相关软件: Twelf;阿贝拉;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
GNT公司 引用于20份文件(1997–2013) 软件作者: 汤米·詹胡宁;伊尔卡·尼梅尔;帕特里克·西蒙斯;托米·詹胡宁 相关软件: 亚萨特;平滑;模型… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
马特佩特 14篇文献引用(1989–2019) 软件作者: 迈克尔·比森 相关软件: 哈斯克尔;动态数学;MathXpert… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);数学教育(97-XX)
semprop公司 19份文件引用(2002–2023) 软件作者: 莱茨,莱因霍尔德 相关软件: Quaffle;布洛克;QUBOS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
乔托 17篇文献引用(2001年至2022年) 软件作者: 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件: 卢斯特;Uppaal;酯类… 主要字段: 计算机科学(68-XX);系统理论;控制(93-XX)
MCMAS-SLK公司 19份文件引用(2014–2021) 软件作者: 乔马克,P。;Lomuscio,A。;莫加维罗,F。;A.穆拉诺。 相关软件: MCMAS;摩卡;鹰… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
伊莎贝尔/UTP 19份文件引用(2015–2021) 软件作者: 西蒙·福斯特(Simon Foster);Zeyda,Frank;吉姆·伍德科克 相关软件: Isabelle/HOL;马戏团;Z、 … 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统理论;控制(93-XX)
聚乙烯醇水杨酸 14篇文献引用(2011年-2023年) 软件作者: 阿尔图尔基,M.,梅塞格尔,J 相关软件: 莫德;PMaude;VESTA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
中国科学院科学院 18篇文献引用(2018年-2023年) 软件作者: 华金·阿里亚斯(Joaquin Arias)、曼努埃尔·卡罗(Manuel Carro)、埃尔默·萨拉查(Elmer Salazar)、凯尔·马普尔(Kyle Marple)、戈帕尔·古普塔(Gopal Gupta) 相关软件: 克林戈;ezcsp;格林戈… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
薄层色谱法 15篇文献引用(2000–2023) 软件作者: Lamport L、Yu Y 相关软件: 自旋蛋白;TLAPS;常春藤… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
CSP防护 17篇文献引用(2005–2022) 软件作者: 吉野县Isobe;马库斯·罗根巴赫 相关软件: PVS;Isabelle/HOL;FDR2… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
拉丁语 17篇文献引用(2011–2021) 软件作者: Codescu,Mihai;霍罗扎尔、富利亚;Michael Kohlhase;莫萨科夫斯基(Till Mossakowski);弗洛里安·拉贝 相关软件: MMT;OMDoc;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
MB基础 17篇文献引用(1999–2006) 软件作者: 安德烈亚斯·弗兰克;迈克尔·科尔哈斯 相关软件: TPS;欧米茄;数字(amp;N)… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)
雷神之锤 16篇文献引用(2011–2022) 软件作者: D.莫诺 相关软件: RAReQS;z3;MiniSat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
可视信息系统 10篇文献引用(2005–2015) 软件作者: Brayton,R.K.等人。 相关软件: NuSMV;自旋蛋白;LTL2BA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
HyFIS公司 引用于9份文件(2002–2022) 软件作者: Kim J、Kasabov N 相关软件: ANFIS;DENFIS;树… 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
OPTYap公司 14篇文献引用(2001年至2022年) 软件作者: 里卡多·罗查;费尔南多·席尔瓦;维托尔·桑托斯·科斯塔 相关软件: XSB;YAP-Prolog;YapOr… 主要字段: 计算机科学(68-XX)
临时雇员 15篇文献引用(2004–2021) 软件作者: 乌尔里希·赫斯塔特;鲍里斯·科涅夫(Boris Konev);亚历山大·里亚扎诺夫;安德烈·沃伦科夫 相关软件: VAMPIRE公司;TSPASS;TRP++… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
科根(Cogent) 11份文件引用(2005–2018) 软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜 相关软件: 卫星抗体;简化;旋转… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
帕戈达 12份文件引用(2007–2015) 软件作者: Wirsing,Martin;Denker,Grit公司;卡罗琳·塔尔科特;安迪·波乔(Andy Poggio);Briesemeister琳达 相关软件: 莫德;科莱姆;重新设置(amp;E)… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
阳光 13份文件引用(2014–2023) 软件作者: 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 相关软件: 萨齐拉;微量锌;变形杆菌… 主要字段: 几何(51-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
并发工作台 12份文件引用(2000–2022) 软件作者: P.Stevens等人 相关软件: CADP;SIGREF公司;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
E-KRHper公司 11份文件引用(2007–2021) 软件作者: 比约恩·佩尔泽;Christoph Wernhard公司 相关软件: E定理证明器;E-Darvin;萨奇莫… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
工厂 11份文件引用(2011–2020) 软件作者: 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格 相关软件: 教堂;IBAL;ProbLog… 主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
SMV公司 13份文件引用(1986–2018) 软件作者: Ed Clarke;K.L.McMillan;E.A.艾默生;J.R.伯奇 相关软件: 高科技;PHAVer公司;旋转… 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
APNN-工具箱 12份文件引用(1999–2022) 软件作者: 彼得·巴赫霍尔茨(Peter Buchholz);马库斯·费舍尔;彼得·坎佩尔;卡斯滕·泰珀 相关软件: 棱镜;政治公众人物协议;LDQBD… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
ModelPlex公司 10篇文献引用(2016–2024) 软件作者: Mitsch,S.和Platzer,A。 相关软件: 凯伊迈拉X;凯伊迈拉;Bellerophon… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
猫头鹰 12份文件引用(2018–2022) 软件作者: Křetínsk \345],Jan;托比亚斯·梅根多尔弗;所罗门·西克特 相关软件: SPOT;条纹;棱镜… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
穆瓦尔 8份文件引用(2010年-2023年) 软件作者: Ou,X.,Govindavajhala,S.,Appel,A.W。 相关软件: ADEPTS;分享;SPSS软件… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
阿克拉 10篇文献引用(2005–2011) 软件作者: 乔瓦尼·佩祖洛(Giovanni Pezzulo);Gianguglielmo·卡尔维 相关软件: 古巴国防部;可可;黛安娜… 主要字段: 总体主题;藏品(00-XX);数论(11-XX);场论与多项式(12-XX)…
红衣主教 10篇文献引用(2007–2020) 软件作者: 弗朗西斯科·阿泽夫多 相关软件: CPGraph;Z/EVES;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
冲锋! 10篇文献引用(2012–2021) 软件作者: 杰斯珀·本特森;Jonas Braband Jensen;拉尔斯·比克达尔 相关软件: Coq;工具链;VeriFast… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
数据日志LITE 引用于9份文件(2002–2019) 软件作者: 乔治·戈特洛布(Georg Gottlob);Erich Grädel;赫尔穆特·维思 相关软件: XPath;Ltur;计算TW… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
EAGLE公司 10篇文献引用(2015–2021) 软件作者: 亚历克西斯·图米;朱利安·古铁雷斯(Julian Gutierrez);迈克尔·伍尔德里奇 相关软件: 棱镜;PRISM游戏;MCMAS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
IDLVALID公司 10篇文献引用(2001–2013) 软件作者: 帕里托什·K·潘迪亚。 相关软件: DCVALID;Uppaal;Kronos… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
国内流离失所者3 引用于9份文件(2015–2020) 软件作者: 莫里斯·布鲁诺(Maurice Bruynooghe);亨德里克·布洛克(Hendrik Blockeel);博加特,巴特;De Cat,Broes;德普特(De Pooter,Stef);约阿希姆·扬森;安东尼·拉巴雷;Ramon,Jan;马克·德内克(Marc Denecker);四川省韦尔市 相关软件: 卡环;WASP;DLV… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
莱拉 引用于9份文件(2002–2011) 软件作者: 安娜·齐安波里尼(Anna Ciampolini);伊芙琳娜·拉姆;梅洛,保拉;保罗·托罗尼 相关软件: KQML;Qu-Prolog;数据日志… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);系统理论;控制(93-XX)
MAVEN公司 引用于9份文件(2007–2013) 软件作者: Max Goldman;艾米莉亚·卡茨;Shmuel Katz 相关软件: ProMoVer;CVPP;Aspectual Caml… 主要字段: 计算机科学(68-XX)
元游戏 引用于9份文件(1991–2009) 软件作者: 马库斯·穆勒·奥尔姆(Markus Müller-Olm)、海森柳(Haiseung Yoo) 相关软件: 自旋蛋白;GDL;jETI公司 主要字段: 算子理论(47-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
多媒体卡 引用于9份文件(2003–2020) 软件作者: 杨平;罗马克里希南,C.R。;斯科特·斯莫尔卡。 相关软件: MWB;MCK;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
时刻2 引用于9份文件(2010–2016) 软件作者: 阿图尔·博罗纳特;彼得·塞巴·奥尔夫茨基 相关软件: 莫德;ITP/OCL;托勒密… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
取消QL 10篇文献引用(2006–2018) 软件作者: 彼得·布内曼(Peter Buneman)、玛丽·费尔南德斯(Mary Fernandez)、丹·苏西乌(Dan Suciu) 相关软件: XPath;XQuery;减少… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
ARENA公司 引用于9份文件(2002–2018) 软件作者: 罗克韦尔自动化公司 相关软件: Matlab;SPSS软件;DFBOX_IMPR… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…
博西 引用于9份文件(2019–2021) 软件作者: 彼得·费蒙维尔(Peter Faymonville);芬克贝纳(Bernd Finkbeiner);Leander Tentrup公司 相关软件: 条纹;SPOT;相思树+… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
N3逻辑 7份文件引用(2008–2017) 软件作者: 蒂姆·伯纳斯-李(Tim Berners-Lee);Dan Connolly;拉拉纳·卡加尔;沙夫,约西;吉姆·亨德勒 相关软件: 平滑;MWeb;SPARQL… 主要字段: 计算机科学(68-XX)
OCRA公司 引用于9份文件(2015–2022) 软件作者: Cimatti,A。;Dorigatti,M。;托内塔,S。 相关软件: nuXmv;NuSMV;数学SAT5… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统理论;控制(93-XX)
RelNN公司 引用于9份文件(2020–2023) 软件作者: 塞耶德·梅赫兰·卡泽米(Seyed Mehran Kazemi)、大卫·普尔(David Poole) 相关软件: ProbLog;亚当;DeepProbLog… 主要字段: 统计学(62-XX);计算机科学(68-XX)
TILOS公司 6篇文献引用(2005–2022) 软件作者: Dunlop AE鱼缸JP 相关软件: JiffyTune;兰斯洛特;Mosek… 主要字段: 组合数学(05-XX);光学、电磁理论(78-XX);运筹学,数学编程(90-XX)…
合金* 7份文件引用(2017–2023) 软件作者: Milicevic,A.,Near,J.P.,Kang,E.,Jackson,D。 相关软件: z3;波尔多;GitHub… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
SCTL-MUS公司 5份文件引用(2001–2006) 软件作者: 帕佐斯·阿里亚斯,何塞·J。;加西亚·杜克(Jorge García Duque) 相关软件: PVS;SLAM;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
真相/SLC 4份文件引用(2001–2007) 软件作者: Martin Leucker;诺尔,托马斯 相关软件: mCRL;CADP;PlayGame游戏 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
验证 6篇文献引用(2021–2024) 软件作者: Tommaso Dreossi、Daniel J.Fremont、Shromona Ghosh、Edward Kim、Hadi Ravanbakhsh、Marcel Vazquez Chanlatte、Sanjit A.Seshia 相关软件: Reluplex;NNV;阿波罗… 主要字段: 计算机科学(68-XX);系统理论;控制(93-XX)
VeriML公司 8份文件引用(2010–2016) 软件作者: 安东尼斯·斯坦普利斯(Antonis Stampoulis);邵,钟 相关软件: Coq;甲基丙烯酸甲酯;seL4… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)