彗星 75篇文献引用(2004–2023) 软件作者: 劳伦特·米歇尔(Laurent Michel);看,安德鲁;帕斯卡·范·亨特利克 相关软件: CPLEX;本地化人员;Gecode… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-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–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)
莱姆 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)
tccp公司 3份文件引用(2009–2013) 软件作者: 阿列克谢·莱斯卡伊勒(Alexei Lescaylle);艾丽西亚·维拉纽埃娃 相关软件: CC-Pi;GHC;酯类… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
菲加罗 引用于2份文件(1999–2001) 软件作者: 马丁·亨茨(Martin Henz);缪勒,托拜厄斯;布恩,Ng Ka 相关软件: 奥兹;炸薯条;STL… 主要字段: 计算机科学(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)
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)
RCDC公司 1份文件引用(2013) 软件作者: Navarrete,I.、Morales,A.、Sciavicco,G.、Cardenas,M。 相关软件: XPath(XPath) 主要字段: 计算机科学(68-XX)