ELAN公司 106篇文献引用(1996–2020) 软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe 相关软件: 莫德;OBJ咖啡馆;OBJ3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
CiaoPP公司 51篇文献引用(1999–2022) 软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件: Ciao;SICStus公司;汞… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
转发差异 28篇文献引用(2017–2023) 软件作者: Jarrett Revels、Miles Lubin、Theodore Papamarkou 相关软件: 朱莉娅;PyTorch;TensorFlow… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
克莱尔 32篇文献引用(1998–2019) 软件作者: 伊夫·卡索;弗朗索瓦·沙维尔(François-Xavier),约塞特(Josset);弗朗索瓦·拉伯特 相关软件: 奥兹;乔科;SALSA… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
GF公司 30篇文献引用(1999–2021) 软件作者: 阿恩·兰塔 相关软件: Coq;米扎尔;Isar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
Multilisp公司 31份文件引用(1985–2022) 软件作者: Robert H.jun,Halstead。 相关软件: 克里奥尔;埃菲尔;莫德… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
微CRL 24篇文献引用(2001–2022) 软件作者: 斯特凡·布洛姆;Wan Fokkink;Groote,Jan Friso;伊扎克·范·朗格沃尔德;伯特·利瑟 相关软件: Uppaal;CADP;旋转… 主要字段: 数学逻辑与基础(03-XX);结合环与代数(16-XX);计算机科学(68-XX)…
帕斯卡-SC 27篇文献引用(1984–2016) 软件作者: 鲍伦德(Gerd Bohlender);克里斯蒂安·乌尔里奇;沃尔夫·冯·古登堡,于尔根;路易·B·拉尔。 相关软件: 杰克;枫树;DiffSharp… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
刚毛 28篇文献引用(1986年-2023年) 软件作者: 施瓦茨,J.T。;杜瓦,R.B.K。;杜宾斯基,E。;肖恩伯格,E。 相关软件: Z;JSetL;裁判… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);通用代数系统(08-XX)…
AI2公司 27篇文献引用(2020年至2024年) 软件作者: Gehr,T.、Mirman,M.、Drachsler-Cohen,D.、Tsankov,P.、Chaudhuri,S.、Vechev,M.T。 相关软件: Reluplex;马拉博;ImageNet… 主要字段: 代数几何(14-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
CoCasl公司 26篇文献引用(2003–2014) 软件作者: 莫萨科夫斯基(Till Mossakowski);马库斯·罗根巴赫(Markus Roggenbach);卢茨·施罗德 相关软件: CASL;莫德;Hets… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
FEMSTER公司 21篇文献引用(2004–2021) 软件作者: 保罗·卡斯蒂略(Paul Castillo);Robert Rieben;丹尼尔·怀特 相关软件: 交易.ii;libMesh;PETSc… 主要字段: 全局分析,流形分析(58-XX);数值分析(65-XX);变形固体力学(74-XX)…
福克斯 20篇文献引用(1998–2023) 软件作者: 迪亚斯,安吉尔;埃里希·卡尔托芬 相关软件: 枫树;SACLIB;FireFly… 主要字段: 数论(11-XX);交换代数(13-XX);近似和展开(41-XX)…
续订 16篇文献引用(2004–2022) 软件作者: 奥拉夫·库默;弗兰克·温伯格(Frank Wienberg);迈克尔·杜维涅奥(Michael Duvigneau);乔恩·舒马赫;迈克尔·科勒;丹尼尔·莫尔特;Rölke,Heiko;吕迪格·瓦尔克 相关软件: libDDD;莫德;LoLA… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
泰尤斯 18篇文献引用(2001–2022) 软件作者: Nadathur,G.,Mitchell,D.J。 相关软件: Twelf;阿贝拉;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
SMV公司 13份文件引用(1986–2018) 软件作者: Ed Clarke;K.L.McMillan;E.A.艾默生;J.R.伯奇 相关软件: 高科技;PHAVer;旋转… 主要字段: 常微分方程(34-XX);变异微积分和最优控制;优化(49-XX);计算机科学(68-XX)…
HOL-Omega餐厅 9份文件引用(2009–2019) 软件作者: 彼得·霍米埃(Peter V.Homeier)。 相关软件: HOL;伊莎贝尔;Coq… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
RAST公司 4份文件引用(2012–2019) 软件作者: Meyer F、Paarmann D、D’Souza M等人 相关软件: KEGG;梅根;爆炸… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
模糊的 7份文件引用(1985–2017) 软件作者: 托马斯·莱曼;雅克·勒克斯 相关软件: Nuprl;LCF;曼蒂萨… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);动力系统和遍历理论(37-XX)…
皮尔斯纳 7份文件引用(2015–2021) 软件作者: 乔治·奈斯(Georg Neis);Hur,Chung-Kil;Kaiser,Jan-Oliver;Craig McLaughlin;德里克·德雷尔(Derek Dreyer);维克托·瓦菲亚迪斯 相关软件: Coq;CakeML;Isabelle/HOL… 主要字段: 计算机科学(68-XX)
断言 4份文件引用(1980–1994) 软件作者: Erickson,R.W。;D.R.穆瑟。 相关软件: RRL;泰克顿;NQTHM… 主要字段: 历史与传记(01-XX);组合数学(05-XX);通用代数系统(08-XX)…
工艺品 4份文件引用(2011–2022) 软件作者: 伊万·波利亚科夫;丹尼尔·索科洛夫;安德烈·莫霍夫 相关软件: VipTool;基因;石化… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)
成本核算表 5份文件引用(2012–2017) 软件作者: Albert,E.、Arenas,P.、Genaim,S.、Gómez-Zamalloa,M.、Puebla,G。 相关软件: 防抱死制动系统;速度;中美合作所… 主要字段: 计算机科学(68-XX)
拉克维特 4份文件引用(2000–2012) 软件作者: 奥卡拉汉,R.W。;D.杰克逊。 相关软件: 解释;STP;ASTREE… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
pyomo.dae型 3份文件引用(2018–2022) 软件作者: 贝萨尼·尼科尔森;约翰·D·西罗拉(John D.Siirola)。;Jean-Paul Watson;维克多·M·扎瓦拉(Victor M.Zavala)。;Lorenz T.比格勒。 相关软件: 皮奥莫;SOCS;Optimica… 主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
小牛 3份文件引用(2017–2022) 软件作者: Gerco van Heerdt、Matteo Sammartino、Alexandra Silva 相关软件: LearnLib;杠杆;西格玛*… 主要字段: 计算机科学(68-XX)
CHAD(查德) 3份文件引用(2022–2023) 软件作者: 瓦卡,马提伊斯;汤姆·斯米丁 相关软件: 提灯;效率;Coq… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
DTRE公司 3份文件引用(1993年至2015年) 软件作者: Lee Blaine、Allen Goldberg 相关软件: OCaml;孩子们;菲亚特… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
Gc平移 3份文件引用(2007–2011) 软件作者: 丹尼尔·赫希科夫(Daniel Hirschkoff);Damien Pous;戴维·桑吉奥吉 相关软件: SLMC;OCaml;科莱姆… 主要字段: 计算机科学(68-XX)
泄漏 3份文件引用(1994–2012) 软件作者: 安东尼奥·阿伦卡尔(Antonio J.Alencar)、约瑟夫·高根(Joseph A.Goguen) 相关软件: AGG;亨欣;凹槽… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
HECTOR公司 1份文件引用(2013) 软件作者: David Hopkins,Andrzej S.Murawski,C.H.Luke Ong 相关软件: 灌篮;GTRECS2;主页… 主要字段: 计算机科学(68-XX)
千塔姆 引用于2份文件(2017–2018) 软件作者: 穆罕默德·阿卜杜勒马利克;Czeizler,Elena;齐兹勒,尤根 相关软件: 规则投标人;BioNetGen;NFsim… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
NuMDG公司 引用于2份文件(2011–2012) 软件作者: 阿贝德,赛义德;亚辛·莫赫塔里;艾特·穆罕默德(Ait-Mohamed),奥特曼(Otmane);索菲涅·塔哈尔 相关软件: Velev SAT基准;NuSMV公司 主要字段: 组合数学(05-XX);计算机科学(68-XX)
Simpl公司 引用于2份文件(2013–2017) 软件作者: 玛格斯·弗洛伊登塔尔 相关软件: ANTLR;MetaEdit+;Spoofax… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
TRAM公司 引用于2份文件(1997–2014) 软件作者: 绪方,Kazuhiro;Masaru Kondo;Ioroi,Shigenori;高基町五指 相关软件: OBJ咖啡馆;莫德;CITP… 主要字段: 计算机科学(68-XX)
TravMC公司 引用于2份文件(2012–2017) 软件作者: 不远处,罗宾·P。;史蒂文·拉姆齐(Steven J.Ramsay)。;王志浩(音) 相关软件: TravMC2;github;MoCHi… 主要字段: 计算机科学(68-XX)
VeriFly公司 引用于2份文件(2021–2022) 软件作者: Sanchez-Ordaz,Miguel A。;伊莎贝尔·加西亚·孔特雷拉斯(Isabel Garcia-Contreras);维克托·佩雷斯(Victor Perez);JoséF.Morales。;佩德罗·洛佩兹·加西亚;曼努埃尔五世(Manuel V.Hermenegildo)。 相关软件: 汞;CiaoPP;再见… 主要字段: 计算机科学(68-XX)
背心 引用于2份文件(2014–2020) 软件作者: Squire,J。;Burby,J。;秦,H。 相关软件: 通用矢量分析;Mathematica;张量… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX);流体力学(76-XX)
抽象代数.jl 1份文件引用(2019) 软件作者: Fieker,C.、Hart,W.、Hofmann,T.、Johansson,F。 相关软件: JuMP;github;SCS… 主要字段: 群论与推广(20-XX);拓扑群,李群(22-XX)
阿尔帕卡 1份文件引用(2021) 软件作者: 埃里克·泽克(Erik Zenker)、本杰明·沃皮茨(Benjamin Worpitz 相关软件: P旋流器;LFRic公司;COSMO… 主要字段: 数值分析(65-XX);地球物理学(86-XX)
CRDT公司 1份文件引用(2020) 软件作者: 维克多·B·F·戈梅斯;马丁·克莱普曼;多米尼克·P·穆里根;阿拉斯泰尔·贝雷斯福德 相关软件: github;存档正式证据;布吉 主要字段: 计算机科学(68-XX)
Java通用作战图 在0个文档中引用 软件作者: Markstrum,S。;马里诺,D。;Esquivel,M。;Millstein,T。;安德烈,C。;J·诺布尔 相关软件: MJ;甲骨文;塞西尔… 主要字段: –
元模型Isabelle 1份文件引用(2016) 软件作者: Tuong神父;伯克哈特·沃尔夫 相关软件: Coq;Isabelle/HOL;密度编译器… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
PolySearch公司 在0个文档中引用 软件作者: Cheng D.、Knox C.、Young N.、Stothard P.、Damaraju S.、Wishart D.S。 相关软件: – 主要字段: –
蒂拉 1份文件引用(2009) 软件作者: Bartlett,R.、Boggs,P.、Coffey,T.、Heroux,M.、Hoekstra,R.,Howle,V.、Long,K.、Pawlowski,R.和Phipps,E.、Spotz,B.、Thornquist,H.、Williams,A。 相关软件: 特点;萨利纳斯;Epetra… 主要字段: 数值分析(65-XX)