应用程序 108篇文献引用(2002–2023) 软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);埃纳州扎法内拉;帕特里夏·M·希尔。 相关软件: 高科技;停机坪;ASTREE… 主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
凯伊迈拉 55份文件引用(2008–2023) 软件作者: 安德烈·普拉泽;贾·戴维德·奎塞尔 相关软件: SpaceEx;凯伊迈拉X;高科技… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
HYSDEL公司 41篇文献引用(2003–2023) 软件作者: 法比奥·达尼洛·托里西(Fabio Danilo Torrisi)、阿尔贝托·本普拉德(Alberto Bempoad)、乔埃勒·贝尔蒂尼(Giole Bertini)、彼得·赫塔奇(Peter Hertach)、多米尼克·约斯特(Dominic Jost)、多 相关软件: 混合工具箱;CPLEX;高科技… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
Clingcon公司 39篇文献引用(2009–2022) 软件作者: 马丁·格布瑟;马克斯·奥斯特罗斯基;托尔斯滕·绍布 相关软件: 克林戈;卡环;格林戈… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
违约 32篇文献引用(2011–2022) 软件作者: 亚历山大·唐泽 相关软件: S-TaLiRo;流量*;SpaceEx… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
SALSA公司 30篇文献引用(2000–2017) 软件作者: 弗朗索瓦·拉伯特;伊夫·卡索 相关软件: 彗星;本地化人员;Oz… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
S-TaLiRo型 26篇文献引用(2011–2023) 软件作者: Annpureddy,Yashwanth;刘,车;费内科斯(Fainekos,Georgios);桑卡拉纳拉亚南,斯里拉姆 相关软件: 违约;SpaceEx;流量*… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
凯伊迈拉X 25篇文献引用(2015–2024) 软件作者: Fulton,N.、Mitsch,S.、Quesel,J.、Völp,M.、Platzer,A。 相关软件: 凯伊迈拉;SpaceEx;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
三倍的 16篇文献引用(2002–2015) 软件作者: Michael Sintek;德克尔,斯特凡 相关软件: SPARQL;平滑;XSB… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);天文学和天体物理学(85-XX)…
MetTeL公司 16篇文献引用(2011–2021) 软件作者: 蒂什科夫斯基,德米特里;雷娜特·施密特(Renate A.Schmidt)。;穆罕默德·科达达迪 相关软件: LoTREC公司;KL-ONE;Gen2sat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HyFIS公司 引用于9份文件(2002–2022) 软件作者: Kim J、Kasabov N 相关软件: ANFIS;DENFIS;树… 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
斯巴达克斯 在14份文件中引用(2010–2021) 软件作者: 丹尼尔·戈兹曼(Daniel Götzmann);马克·卡明斯基;格特·斯莫尔卡 相关软件: HTab;FaCT++;InKreSAT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HTab公司 11份文件引用(2009年至2020年) 软件作者: 纪尧姆·霍夫曼;卡洛斯·阿雷塞斯 相关软件: 斯巴达克斯;HyLoTab;HGen… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
OCRA公司 引用于9份文件(2015–2022) 软件作者: Cimatti,A。;Dorigatti,M。;托内塔,S。 相关软件: nuXmv;NuSMV;数学SAT5… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)
COSMOS公司 6篇文献引用(2013–2021) 软件作者: Ballarini,P.、Djafri,H.、Duflot,M.、Haddad,S.、Pekergin,N。 相关软件: 棱镜;Ymer;维斯塔… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
HASL公司 6篇文献引用(1986–2016) 软件作者: Ballarini,P.、Djafri,H.、Duflot,M.、Haddad,S.、Pekergin,N。 相关软件: COSMOS;Uppaal;棱镜… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
无HR 5份文件引用(2015–2022) 软件作者: 卡洛斯·洛佩斯;克诺尔,马蒂亚斯;约昂·莱特 相关软件: Potassco;康clude;赫密特… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
酷 3份文件引用(2014–2018) 软件作者: 丹尼尔·戈林;德克·帕丁森;卢茨·施罗德;弗洛里安·维德曼;托尔斯滕·维曼 相关软件: LoTREC公司;精益K;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
HI-Maud(高强度) 1份文件引用(2015) 软件作者: 穆罕默德·法德利西亚(Muhammad Fadlisyah);彼得·塞巴·奥维茨基 相关软件: 莫德;莫德-NPA;P审计… 主要字段: 历史与传记(01-XX);计算机科学(68-XX)
杂交分析 4份文件引用(2009–2022) 软件作者: 卡萨格兰德,A。;德罗西,T。 相关软件: SpaceEx;d/dt;JuliaReach… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;对照(93-XX)
差异_游戏_逻辑 3份文件引用(2015–2022) 软件作者: 安德烈·普拉泽 相关软件: 凯伊迈拉;贝勒红;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
希律王 3份文件引用(2007–2020) 软件作者: Marta Cialdea Mayer、Serenella Cerrito 相关软件: 彼拉多;斯巴达克斯;HTab… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
海珀 3份文件引用(2017–2022) 软件作者: P.Kouki、S.Fakhraei、J.Foulds、M.Eirinaki、L.Getoor 相关软件: RockIt;超波段;ProbLog… 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
普拉提 3份文件引用(2007–2020) 软件作者: Marta Cialdea Mayer、Serenella Cerrito 相关软件: 希律;斯巴达克斯;HTab… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
BluSTL公司 2份文件引用(2019–2022) 软件作者: V.Raman,A.Donzé。 相关软件: 蒙保利;不偏不倚;DejaVu… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
ReSySTER公司 2份文件引用(2012–2015) 软件作者: 科罗莫·帕拉西奥斯(Colomo-Palacios),里卡多(Ricardo);González-Carrasco,以色列;何塞·路易斯·洛佩斯·库阿德拉多;安吉尔·加西亚·克雷斯波 相关软件: RSBR公司_ 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
宾西姆 1份文件引用(2019) 软件作者: Ming,J.,Xu,D.,Jiang,Y.,Wu,D。 相关软件: 戴坦;DynOpVm;VOT4CS… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
GK公司 1份文件引用(2022) 软件作者: 塔内尔·塔米特;德拉海姆(Draheim,Dirk);普里特·Järv 相关软件: DeReS;中国科学院科学院;Clingo… 主要字段: 计算机科学(68-XX)
海洛班 1份文件引用(2009) 软件作者: 德米特里·苏斯特列托夫;纪尧姆·霍夫曼;卡洛斯·阿雷塞斯;帕特里克·布莱克本 相关软件: HyLoTab;HTab;GHC公司 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
QCOR(质量控制报告) 在0个文档中引用 软件作者: Tiffany M.Mintz、Alexander J.Mcbarkey、Eugene F.Dumitrescu、Shirley V.Moore、Sarah Powers、Pavel Lougovski 相关软件: SciPy;开放费米子;奥奎斯特拉… 主要字段: –