×

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

应用程序

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

多米诺

1份文件引用(1997年)
软件作者: Derrick,E.Joseph;奥斯曼·巴尔奇
相关软件:
主要字段: 数值分析(65-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)

线性One

1份文件引用(2019)
软件作者: 理查德·穆特
相关软件: CatLog3;github;圣杯
主要字段: 数学逻辑与基础(03-XX)

QCOR(质量控制报告)

在0个文档中引用
软件作者: Tiffany M.Mintz、Alexander J.Mcbarkey、Eugene F.Dumitrescu、Shirley V.Moore、Sarah Powers、Pavel Lougovski
相关软件: SciPy;开放费米子;奥奎斯特拉…
主要字段:

凯伊迈拉德

在0个文档中引用
软件作者: 安德烈·普拉泽(AndréPlatzer)、大卫·伦肖(David Renshaw)
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件