岩浆 3982份文件引用(1994–2024) 软件作者: W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件: 间隙;SageMath;PARI/GP… 主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…
X减少 53篇文献引用(2003–2020) 软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯) 相关软件: CDuce;XPath;PiDuce… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
图形日志 34份文件引用(1990–2022) 软件作者: 康森斯,M。;门德尔松 相关软件: XPath;SPARQL;洛雷尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);结合环与代数(16-XX)…
火柴盒 24篇文献引用(2005–2023) 软件作者: J·沃尔德曼。 相关软件: AProVE;蒂罗尔;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
汉普 20篇文献引用(2012–2023) 软件作者: Ganesh,V.、Kieżun,A.、Artzi,S.、Guo,P.J.、Hooimeijer,P.、Ernst,M 相关软件: 陌生人;z3;S3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
圣杯 20篇文献引用(1994–2021) 软件作者: 达雷尔·雷蒙德;伍德,德里克 相关软件: 自动化;AMoRE;GitHub… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
InsEnc公司 22篇文献引用(2006–2023) 软件作者: 文森特·瓦特 相关软件: 组织环境信息系统;草本植物;WILF… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);代数几何(14-XX)…
AWK公司 21篇文献引用(1979–2019) 软件作者: Alfred V.Aho、Brian W.Kernighan、Peter J.Weinberger 相关软件: PERL;Mathematica;YACC… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
LiQuor公司 19份文件引用(2007–2019) 软件作者: – 相关软件: 棱镜;MRMC;狂犬病… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
诺恩 15篇文献引用(2017–2023) 软件作者: Abdulla,P.A.,Atig,M.F.,Chen,Y.-F.,Holík,L.,Rezine,A.,Rümmer,P.,Stenman,J。 相关软件: Z3str3;CVC4;陌生人… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
nSPARQL公司 13份文件引用(2009–2023) 软件作者: 佩雷斯,J。;阿里纳斯,M。;古铁雷斯,C。 相关软件: SPARQL;XPath;图形日志… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
第3章 13份文件引用(2015–2023) 软件作者: Trinh MT、Chu DH、Jaffar J 相关软件: 陌生人;Z3str3;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
柱塞 14篇文献引用(1991–2009) 软件作者: 乞丐,伊凡;吴玲;安德烈亚斯·穆勒;彼得·普尔兹比舍夫斯基;罗兰·R;威廉·索耶 相关软件: 进度;SPARSKIT;ITSOL公司 主要字段: 代数几何(14-XX);范畴理论;同调代数(18-XX);实函数(26-XX)…
自动 13份文件引用(1990–2023) 软件作者: Champarnaud,J.M。;Hansel,G。 相关软件: 圣杯;AMoRE;AG… 主要字段: 一般代数系统(08-XX);群论与推广(20-XX);计算机科学(68-XX)
JiTCODE代码 11份文件引用(2018–2023) 软件作者: 杰里特·安斯曼 相关软件: JiTCSDE;JiTCDDE;Python… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
AMoRE公司 12份文件引用(1998–2010) 软件作者: O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema 相关软件: 自动化;间隙;圣杯… 主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);计算机科学(68-XX)
JiTCSDE公司 12份文件引用(2018–2023) 软件作者: 杰里特·安斯曼 相关软件: JiTCODE;JiTCDDE;Matlab… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
K-Maude公司 11份文件引用(2010–2021) 软件作者: ⑩erbénuţ\355 ;Ņé,Traian Florin;格里高·罗什乌 相关软件: 莫德;K校准仪;K工具… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Myhill-Nerode公司 12份文件引用(2011–2020) 软件作者: 吴春汉;张兴元;城市,基督教 相关软件: Coq;存档正式证据;常规集… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
图形Grep 7份文件引用(2008–2020) 软件作者: R.Giugno、D.Shasha 相关软件: TALE公司;新加坡;G字符串… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)
JiTCDDE公司 11份文件引用(2018–2023) 软件作者: 杰里特·安斯曼 相关软件: JiTCSDE;JiTCODE;Matlab… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
CTF公司 10篇文献引用(2014–2021) 软件作者: Edgar Solomonik、Devin Matthews、Jeff Hammond、James Demmel 相关软件: 整体叶栅;MKL;BLAS… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX);数值分析(65-XX)…
CoCaml公司 9份文件引用(2017–2023) 软件作者: Jeannin,Jean-Baptiste;德克斯特·科赞;亚历山德拉·席尔瓦 相关软件: CoALP;coFJ;Paco… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
克莱恩代数 9份文件引用(2015–2022) 软件作者: A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件: 存档正式证据;Isabelle/HOL;大锤… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…
coFJ公司 6篇文献引用(2015–2022) 软件作者: D.安科纳、E.祖卡。 相关软件: CoCaml公司;羽量级Java;Paco… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
LNT2LOTOS公司 7份文件引用(2012–2022) 软件作者: David Champelovier、Xavier Clerc、Hubert Garavel、Yves Guerte、Frédéric Lang、Christine McKinty、Vincent Powazny、Wendelin Serwe、Gideon Smeding 相关软件: CADP;自旋蛋白;Exp.打开… 主要字段: 计算机科学(68-XX)
MSO_Regex_等效性 7份文件引用(2013–2018) 软件作者: 德米特里·特拉泰尔(Dmitriy Traytel);托比亚斯·尼普科 相关软件: Presburger Automata;Myhill-Nerode;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PolyLib公司 7份文件引用(2004–2009) 软件作者: Jansson,P.,Jeuring,J。 相关软件: 哈斯克尔;息肉;快速检查… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RLangG风机 7份文件引用(2008–2019) 软件作者: 克里斯托夫·库彻恩 相关软件: RNAsubopt;RNA折叠;枫树… 主要字段: 组合数学(05-XX);交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX)…
梅林 5份文件引用(2015–2021) 软件作者: Robert Soulé、Shrutarshi Basu、Parisa Jalili Marandi、Fernando Pedone、Robert Kleinberg、Emin Gün Sirer、Nate Foster 相关软件: 开放式神经网络;蟒蛇;vnep-近似值… 主要字段: 计算机科学(68-XX)
生物红宝石 1份文件引用(2019) 软件作者: 片山,Toshiaki;川岛、水池;佐伊萨·戈托(Naohisa Goto);Mitsuteru C.Nakao。;Okuji,Yoshinori K。;Minoru Kanehisa;Dunker,A.K。;Konagaya,A。;宫野,S。;Takagi,T。 相关软件: 生物钟;生物蟒蛇;Omics管道… 主要字段: 生物学和其他自然科学(92-XX)
高级质量策划(HQP) 5份文件引用(2001–2014) 软件作者: R.Franke;B.魏德曼;L.沃格尔巴赫;H.林克,E.阿诺德 相关软件: HQP/OMUSES;Ipopt;SNOPT… 主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
倾斜-C 5份文件引用(2017–2023) 软件作者: Zahur,S.,Evans,D。 相关软件: ABY;TinyGarble;护卫舰… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
DReX公司 4份文件引用(2015–2022) 软件作者: 拉杰夫·阿鲁尔;Loris D'Antoni;穆昆德·拉戈塔曼 相关软件: 蒙保利;卢斯特;LOLA… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
埃林戈 4份文件引用(2020–2022) 软件作者: 佩德罗·卡巴拉尔;豪尔赫·范丁诺;哈维尔·加里亚(Javier Garea);哈维尔·罗梅罗;托尔斯滕·绍布 相关软件: 克林戈;出售;htd… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
闪光继电器 1份文件引用(2021) 软件作者: 巴罗维,D.W.,古尔瓦尼,S.,哈特,T.,佐恩,B.G。 相关软件: FlashMeta;FlashExtract;HaExcel… 主要字段: 计算机科学(68-XX)
INFFTM信息 引用于2份文件(2017年至2021年) 软件作者: 马可·卡利亚里(Marco Caliari)、西蒙·祖彻(Simone Zuccher) 相关软件: GSGPE;Matlab;FFTW… 主要字段: 数值分析(65-XX)
正则_代数 3份文件引用(2015–2016) 软件作者: 西蒙·福斯特;乔治·斯特鲁斯 相关软件: 大锤;Isabelle/HOL;陷阱… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
戈弗利泽 引用于2份文件(2016) 软件作者: Kai Stadtmüller、Martin Sulzmann、Peter Thiemann 相关软件: 去;TyPiCal;GitHub… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
爪哇本泽 引用于2份文件(2015–2016) 软件作者: Jungck John R.、Streif Vince、Jungck Peder、Everse Stephen 相关软件: 生物记录器;擅长;VBA… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
致命的 引用于2份文件(2010–2012) 软件作者: Claves,P.、Jansen,D.、Holtrup,S.J.、Mohr,M.、Reis,A.、Schatz,M.和Thesing,I。 相关软件: 廷巴克;MONA;MTBDD… 主要字段: 计算机科学(68-XX)
OpenGrm公司 引用于2份文件(2021) 软件作者: Roark,B.、Sproat,R.、Allauzen,C.、Riley,M.、Sorensen,J.、Tai,T。 相关软件: AlexNet;ImageNet;DeCAF… 主要字段: 统计学(62-XX);计算机科学(68-XX)
Par-EXPDE公司 引用于2份文件(2003) 软件作者: 亚历山大·林奇(Alexander Linke);普弗劳姆(Pflaum),克里斯托夫(Christoph);本·卑尔根 相关软件: EXPDE;网格库 主要字段: 数值分析(65-XX);计算机科学(68-XX);天文学和天体物理学(85-XX)
SoftRegex软件 1份文件引用(2021) 软件作者: Jun-U.Park、Sang-Ki Ko、Marco Cognetta、Yo-Sub Han 相关软件: SemRegex公司;雷克斯;布鲁… 主要字段: 计算机科学(68-XX)
耐力 引用于2份文件(2017年至2021年) 软件作者: 纳塔娜·菲亚尔科夫;雨果·金伯特(Hugo Gimbert);Edon Kelmendi;丹尼斯·库珀伯格 相关软件: 算法97;语言;github 主要字段: 计算机科学(68-XX)
牦牛牦牛 引用于2份文件(2000年至2009年) 软件作者: 克拉伦德,尼尔斯;Niels Damgaard;迈克尔·施瓦茨巴赫。 相关软件: YACC;野牛;MONA公司 主要字段: 计算机科学(68-XX)
g标记 1份文件引用(2018) 软件作者: 巴根,G。;Bonifati,A。;乔卡努(Ciucanu,R.)。;弗莱彻,G.H.L。;A.勒梅。;Advokaat,N。 相关软件: OCaml;OEuf;HoTTSQL… 主要字段: 计算机科学(68-XX)
乔夫 1份文件引用(2019) 软件作者: 戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha) 相关软件: 朱庇特;蟒蛇 主要字段: 计算机科学(68-XX)
MaPIR公司 1份文件引用(2022) 软件作者: 佩德罗·马里奥·怀特曼;Mayra,Zurbarán;米盖尔·罗德里格斯;米盖尔·拉布拉多 相关软件: SpaceTwist;LocLok;卡斯珀*… 主要字段: 计算机科学(68-XX)
MTEACH公司 1份文件引用(2001) 软件作者: P.L.Montessoro、D.Pierattoni、D.Cortolezzis 相关软件: – 主要字段: 计算机科学(68-XX);数学教育(97-XX)
SAGEMoLiC公司 1份文件引用(2002) 软件作者: 毛里西奥·阿亚拉·林科;达丰塞卡,Alexsandro F。;波贝尔(Haydée Werneck Poubel);何塞·西奎拉 相关软件: Xaa公司 主要字段: 计算机科学(68-XX)
SDSLc公司 1份文件引用(2020) 软件作者: P.Rawat、M.Kong、T.Henretty、J.Holewinski、K.Stock、L.-N.Pouchet、J.Ramanujam、A.Rountev、P.Sadayappan 相关软件: MODESTO公司;ExaSlang;Petalisp… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
TXP公司 1份文件引用(2005) 软件作者: Dudani,S.、Geada,J.、Jakacki,G.、Vainer,D。 相关软件: Java-MaC;LTL2BA;自旋蛋白 主要字段: 计算机科学(68-XX)