×

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

彗星

75篇文献引用(2004–2023)
软件作者: 劳伦特·米歇尔(Laurent Michel);看,安德鲁;帕斯卡·范·亨特利克
相关软件: CPLEX;本地化人员;Gecode…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

精灵

55份文件引用(1989–2023)
软件作者: 弗兰克·普芬宁
相关软件: Nuprl公司;Twelf公司;Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

OPL公司

39篇文献引用(2000–2023)
软件作者: 帕斯卡·范·亨滕里克;劳伦·佩伦(Laurent Perron);Jean-Francois,普吉
相关软件: CPLEX;AMPL;芯片…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

OFMC公司

25篇文献引用(2005–2022)
软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺
相关软件: AVISPA;NRL;卡斯珀…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

本质

27篇文献引用(2008–2023)
软件作者: 艾伦·M·弗里希(Alan M.Frisch)。;沃里克·哈维;克里斯·杰斐逊(Chris Jefferson);马丁内斯·埃尔南德斯(Martínez-Hernández),伯纳黛特(Bernadette);伊恩·米格尔
相关软件: 微量锌;锌;ESRA…
主要字段: 结合环与代数(16-XX);计算机科学(68-XX);量子理论(81-XX)…

HOL-OCL公司

13份文件引用(2002–2016)
软件作者: 阿希姆·D·布鲁克。;沃尔夫,伯克哈特
相关软件: ATL;凯伊;ETPS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

立方厘米(FD)

18篇文献引用(1998–2022)
软件作者: 帕斯卡·范·亨滕里克;维杰·萨拉斯瓦特;伊夫·迪维尔
相关软件: CPLEX;彗星;Choco…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

拉丁语

17篇文献引用(2011–2021)
软件作者: Codescu,Mihai;霍罗扎尔、富利亚;Michael Kohlhase;莫萨科夫斯基(Till Mossakowski);弗洛里安·拉贝
相关软件: MMT;OMDoc;伊莎贝尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

VeriMAP公司

13份文件引用(2015–2022)
软件作者: De Angelis E、Fioravanti F、Pettorossi A、Proietti M
相关软件: z3;跟踪器;SeaHorn…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)

ESRA公司

11份文件引用(2004–2022)
软件作者: 皮埃尔·弗莱纳(Pierre Flener);贾斯汀·皮尔逊(Justin Pearson);奥格伦,马格纳斯
相关软件: 本质;锌;NP-SPEC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

太阳神

10篇文献引用(1997–2015)
软件作者: 劳伦特·米歇尔(Laurent Michel)、帕斯卡·范·亨特利克(Pascal Van Hentenryck)
相关软件: AMPL;牛顿;FleetWave…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

PathCrawler(路径爬行器)

5份文件引用(2008–2021)
软件作者: Nicky Williams、Bruno Marre、Patricia Mouy、Muriel Roger
相关软件: 可爱;投掷;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

DEDALE公司

7份文件引用(2001–2010)
软件作者: S.Grumbach、P.Rigaux、L.Segoufin
相关软件: CCUBE;抒情的;Oracle…
主要字段: 近似和展开(41-XX);计算机科学(68-XX)

迷你凯恩人

引用于9份文件(2008–2022)
软件作者: Daniel P.Friedman、William E.Byrd、Oleg Kiselyov
相关软件: 卡恩;自动化;汞…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

DiSCiPl公司

7份文件引用(2007–2016)
软件作者:
相关软件: 彗星;Oz Explorer;VIFID/TRIFID…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

SPARQ2L系列

5份文件引用(2009–2022)
软件作者: 科马福·安彦武;安吉拉·马杜科;阿米特·谢斯
相关软件: SPARQL;耶拿;XPath…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

抒情诗

5份文件引用(1997–2010)
软件作者: A.Brodsky、Y.Kornatzky
相关软件: CCUBE;迪达尔;芯片…
主要字段: 计算机科学(68-XX)

牛顿

5份文件引用(1997–2013)
软件作者: 帕斯卡·范·亨滕里克;劳伦特·米歇尔(Laurent Michel);F.本哈莫。
相关软件: 太阳神;PASCAL-XSC;COMET…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

URSA公司

6篇文献引用(2012–2022)
软件作者: 贾尼奇,P。
相关软件: z3;卡环;MiniSat…
主要字段: 几何(51-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

CCUBE公司

4份文件引用(1997–2013)
软件作者: A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo
相关软件: XQuery;抒情的;DEDALE…
主要字段: 计算机科学(68-XX)

通用电气公司

引用于2份文件(2009–2014)
软件作者: 范德比尔特大学
相关软件: 蟒蛇;MetaEdit+;AToM3…
主要字段: 统计学(62-XX);计算机科学(68-XX)

莱姆

4份文件引用(2011–2021)
软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷(Kathryn E.Gray)。;汤姆·里奇;彼得·休厄尔
相关软件: Isabelle/HOL;Coq;ACL2…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

采矿锌

4份文件引用(2017–2019)
软件作者: 枪支,蒂亚斯;安东·德里斯(Anton Dries);齐格弗里德·尼杰森;塔克,吉多;吕克·德·雷德
相关软件: 通用电气;本质;迷你锌…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

时代广场

3份文件引用(2015–2016)
软件作者: 朱利安·德安东尼(Julien DeAntoni),弗雷德里克·马莱特(Frédéric Mallet)
相关软件: 埃斯特尔;Uppaal;信号…
主要字段: 计算机科学(68-XX)

CHR.js公司

引用于2份文件(2020年)
软件作者: 法尔科·诺加茨;托姆·福吕维思;迪特马尔·塞佩尔
相关软件: 工厂;PAKCS;教堂…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CHR动画

引用于2份文件(2015)
软件作者: 纳达·沙拉夫;Abdennadher,苗条;托姆·吕维思
相关软件: BALSA;宙斯;动物…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

重力

3份文件引用(2020–2022)
软件作者: Hijazi,H.,Wang,G.,Coffrin,C.:重力
相关软件: 皮奥莫;Ipopt;PGLib-OPF…
主要字段: 运筹学、数学规划(90-XX)

用户

引用于2份文件(2010–2015)
软件作者: 何塞·桑托斯;斯蒂芬·马格尔顿
相关软件: 阿列夫;ProGolem公司
主要字段: 计算机科学(68-XX)

tccp公司

3份文件引用(2009–2013)
软件作者: 阿列克谢·莱斯卡伊勒(Alexei Lescaylle);艾丽西亚·维拉纽埃娃
相关软件: CC-Pi;GHC;酯类…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

数据脚本

引用于2份文件(2002–2010)
软件作者: 回来,戈德玛
相关软件: 佩尔
主要字段: 计算机科学(68-XX)

菲加罗

引用于2份文件(1999–2001)
软件作者: 马丁·亨茨(Martin Henz);缪勒,托拜厄斯;布恩,Ng Ka
相关软件: 奥兹;炸薯条;STL…
主要字段: 计算机科学(68-XX)

国际博协

引用于2份文件(1998–2007)
软件作者: 格雷戈里·奥斯特。;安东尼·库萨利克。
相关软件:
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

卡鲁扎

引用于2份文件(2013–2016)
软件作者: Saxena P、Akhawe D、McCamant S、Song D
相关软件: 汉普;陌生人;S3…
主要字段: 计算机科学(68-XX)

迷你黄铜

1份文件引用(2018)
软件作者: 亚历山大·希恩多夫(Alexander Schiendorfer);亚历山大·纳普(Alexander Knapp);Gerrit Anders;沃尔夫冈·雷夫
相关软件: 微量锌;JuMP;古罗比…
主要字段: 运筹学、数学规划(90-XX)

SEET(搜索)

引用于2份文件(2021–2023)
软件作者: 阿齐兹,B。;扎马尼,B。;Rahimi,S.K。
相关软件: 沟槽
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

斯科尔普尔

引用于2份文件(2015年至2017年)
软件作者: 文森特·拉里
相关软件: PolyML;mini-ML;聚乙烯/ML
主要字段: 计算机科学(68-XX)

TerpreT公司

在0个文档中引用
软件作者: 亚历山大·冈特(Alexander L.Gaunt)、马克·布洛克施密特(Marc Brockschmidt
相关软件: Scikit;Clojush;按下…
主要字段:

VeriFly公司

引用于2份文件(2021年至2022年)
软件作者: Sanchez-Ordaz,Miguel A。;伊莎贝尔·加西亚·孔特雷拉斯(Isabel Garcia-Contreras);维克托·佩雷斯(Victor Perez);JoséF.Morales。;佩德罗·洛佩兹·加西亚;曼努埃尔五世(Manuel V.Hermenegildo)。
相关软件: 汞;CiaoPP公司;Ciao…
主要字段: 计算机科学(68-XX)

VIFID/TRIFID公司

引用于2份文件(2009–2016)
软件作者: 曼纽尔·卡罗;曼努埃尔·赫尔梅内吉尔多
相关软件: DiSCiPl;Oz Explorer;COMET…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

B测试框

1份文件引用(2021)
软件作者: de Azevedo Oliveira D、Medeiros V、Déharbe D、Musicante MA
相关软件: 罗丹;github;核心ASM…
主要字段: 计算机科学(68-XX)

建模者

1份文件引用(2005)
软件作者: 劳伦特·米歇尔(Laurent Michel);帕斯卡·范·亨特利克
相关软件: 工具;OPL;本地化程序++…
主要字段: 计算机科学(68-XX)

RCDC公司

1份文件引用(2013)
软件作者: Navarrete,I.、Morales,A.、Sciavicco,G.、Cardenas,M。
相关软件: XPath(XPath)
主要字段: 计算机科学(68-XX)

鲁比杜斯特

1份文件引用(2011年)
软件作者: An,Jong-hoon(大卫);乔杜里,阿维克;杰弗里·福斯特。;迈克尔·希克斯
相关软件: 红宝石
主要字段: 计算机科学(68-XX)

SiMoL公司

在0个文档中引用
软件作者: 尤利亚·尼卡;弗兰茨·沃塔瓦
相关软件: 加勒比共同体;Matlab;小精灵…
主要字段:

TTSLI公司

1份文件引用(2002)
软件作者: 本诺伊特·勒克兰德;皮埃尔·雷蒂
相关软件:
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件