×

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

岩浆

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)

语言

41篇文献引用(2000–2023)
软件作者: 卡隆,帕斯卡
相关软件: 测试;AG公司;古伊塔…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-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篇文献引用(2013–2023)
软件作者: 谷歌
相关软件: 哈斯克尔;蟒蛇;锈蚀…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-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)…

比西德语

7份文件引用(2006–2018)
软件作者: 川中、新亚;细野县细野
相关软件: XSugar;XDouce;岩盐…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-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)…

PROCOL公司

7份文件引用(1991–2002)
软件作者: van den Bos,Jan;克里斯·拉法
相关软件: 方面J;匹科拉;JAsCo…
主要字段: 计算机科学(68-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)…

SQL/MM

在0个文档中引用
软件作者: 吉姆·梅尔顿;安德鲁·艾森伯格
相关软件: 甲骨文;DB2;奥维德…
主要字段:

阿尔法

6篇文献引用(1999–2005)
软件作者: D.K.王尔德。
相关软件: MMAlpha;PolyLib;OPERA…
主要字段: 计算机科学(68-XX)

流量凸轮

5份文件引用(2009–2018)
软件作者: V.西蒙内
相关软件: Jif;HLIO;哈斯克尔…
主要字段: 计算机科学(68-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)

代理.jl

在0个文档中引用
软件作者: 阿里·R·瓦德蒂
相关软件: 朱莉娅;NetLogo;Mesa…
主要字段: 计算机科学(68-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)

蒙特勒

3份文件引用(2017年至2021年)
软件作者: 多根·乌卢斯
相关软件: LOLA;蒙保利;天线…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

OPTRAN公司

4份文件引用(1988–1995)
软件作者: 利普斯,P。;蒙克,美国。;威廉·R。
相关软件: G教授
主要字段: 计算机科学(68-XX)

斯特林吉

在0个文档中引用
软件作者: Marek Gagolewski、Bartek Tartanus等人。
相关软件: R;卢比;stm…
主要字段:

脂肪轮胎

3份文件引用(2017–2022)
软件作者:
相关软件: 坎杜;NetworkX;血浆…
主要字段: 计算机科学(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)

肖恩基

引用于2份文件(2020)
软件作者: C·麦克布莱德。
相关软件: 链接;github;效率(amp;E)…
主要字段: 计算机科学(68-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)

标记器

1份文件引用(2020)
软件作者: 德米特里·塞利瓦诺夫·林肯·马伦
相关软件: udpipe;高温气冷堆;tidytext…
主要字段: 统计学(62-XX);计算机科学(68-XX)

UU历史

在0个文档中引用
软件作者: 朱哈·索尔瓦(Juha Sorva);蒂穆·西尔基阿
相关软件: Jeliot 3;Jython;维尔…
主要字段:

雅克

引用于2份文件(2010–2011)
软件作者: 吉姆·特雷弗;伊扎克·曼德尔鲍姆;大卫·沃克
相关软件: 垫;OCaml;dypgen…
主要字段: 计算机科学(68-XX)

牦牛牦牛

引用于2份文件(2000年至2009年)
软件作者: 克拉伦德,尼尔斯;Niels Damgaard;迈克尔·施瓦茨巴赫。
相关软件: YACC;野牛;MONA公司
主要字段: 计算机科学(68-XX)

农业的

在0个文档中引用
软件作者: 托拜厄斯·斯特尔,安亚·米·雷丁
相关软件: GDAL;Cartopy公司;Verde…
主要字段:

Bex公司

1份文件引用(2015)
软件作者: 玛格斯·维纳斯
相关软件: 萨纳尔;梅林;西格玛*…
主要字段: 计算机科学(68-XX)

代码类型

1份文件引用(2015)
软件作者: 德米特里·特拉泰尔
相关软件: NetKAT;MONA;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

描述X

在0个文档中引用
软件作者: 弗拉维奥·里佐洛
相关软件:
主要字段:

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)

兰加加

1份文件引用(2004)
软件作者: 卡隆,P。
相关软件: 测试;语言
主要字段: 计算机科学(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)

孟买

1份文件引用(2006)
软件作者: 阿克特穆尔,巴伊什;萨姆·卡明
相关软件: 莫德
主要字段: 计算机科学(68-XX)

量子

1份文件引用(2002)
软件作者: 卢克·普拉蒙登;莱拉·科赛姆
相关软件:
主要字段: 计算机科学(68-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)

SemRegex公司

在0个文档中引用
软件作者: 钟泽轩、郭嘉琪、杨伟、彭健、谢涛、楼建光、刘婷、张冬梅
相关软件: 雷克斯;BLEU;SBERT…
主要字段:

TXP公司

1份文件引用(2005)
软件作者: Dudani,S.、Geada,J.、Jakacki,G.、Vainer,D。
相关软件: Java-MaC;LTL2BA;自旋蛋白
主要字段: 计算机科学(68-XX)

筛选结果依据…