数学软件 6557份文件中引用(1986–2024) 软件作者: 沃尔夫勒姆研究公司 相关软件: 枫树;Matlab;SageMath… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
枫树 5364份文件引用(1983–2024) 软件作者: 滑铁卢枫树公司。 相关软件: Mathematica;Matlab;岩浆… 主要字段: 数论(11-XX);常微分方程(34-XX);偏微分方程(35-XX)…
岩浆 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)…
DLMF公司 3759份文件引用(2000–2024) 软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。 相关软件: Mathematica;Matlab;OEIS… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
间隙 3656份文件引用(1990–2024) 软件作者: GAP集团 相关软件: 岩浆;SageMath;ATLAS集团代表… 主要字段: 组合数学(05-XX);代数几何(14-XX);结合环与代数(16-XX)…
SageMath公司 2561份文献中引用(2002–2024) 软件作者: 贤明的开发商;威廉·斯坦因;大卫·乔伊纳;David Kohel;约翰·克雷莫纳;伯里钦·埃罗卡尔 相关软件: 岩浆;缺口;OEIS… 主要字段: (68-99-XX);(65-99-XX)
麦考利2 2248份文件引用(1988–2024) 软件作者: 丹尼尔·格雷森。;迈克尔·E·斯蒂尔曼。;戴维·艾森巴德(David Eisenbud);http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件: 单一;可可;SageMath… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
单一 1641年文献引用(1991–2024) 软件作者: Wolfram Decker公司;格特·马丁·格雷尔(Gert-Martin Greuel);格哈德·普菲斯特;汉斯·舍尼曼 相关软件: 麦考利2号;可可;SageMath… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…
稀疏矩阵 838份文件引用(1997–2024) 软件作者: 蒂莫西·戴维斯(Timothy A Davis);胡一凡 相关软件: mctoolbox;LAPACK;Matlab… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
减少 738份文件引用(1970–2023) 软件作者: Anthony C.Hearn;格哈德·雷纳(Gerhard Rayna);Rainer Schöpf;托马斯·斯特姆 相关软件: 枫树;Mathematica;马西玛… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
PARI/GP公司 744份文件中引用(1992–2024) 软件作者: 亨利·科恩;卡里姆·贝拉巴斯(Karim Belabas);PARI组 相关软件: 岩浆;SageMath;间隙… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
伊斯兰教 718份文件引用(1971–2023) 软件作者: 符号学 相关软件: 枫树;Mathematica;减少… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
可可 680份文件引用(1989–2024) 软件作者: CoCoa-Team;洛伦佐·罗比亚诺 相关软件: 麦考利2号;单一;CoCoALib… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
表格 422篇文献引用(1993–2024) 软件作者: Kuipers,J。;上田,T。;Vermaseren,J.A.M。;J.沃林加。 相关软件: 粉碎机;雷杜泽;Axodraw… 主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);量子理论(81-XX)…
GeoGebra公司 203篇文献引用(2007–2024) 软件作者: – 相关软件: 几何画板;灰姑娘;GEX… 主要字段: 总体主题;藏品(00-XX);交换代数(13-XX);几何(51-XX)…
雪佛兰 266份文件引用(1994–2024) 软件作者: Geck,Meinolf;希斯,格哈德;吕贝克,弗兰克;Gunter Malle;格茨·普菲弗 相关软件: 缺口;岩浆;SageMath… 主要字段: (20C40-XX);(20C33-XX);(68W30-XX)
几何画板 67篇文献引用(1997–2023) 软件作者: 2009年KCP技术。 相关软件: 灰姑娘;GeoGebra;Cabri几何结构… 主要字段: 总体主题;藏品(00-XX);几何(51-XX);数值分析(65-XX)…
SymPy公司 186篇文献引用(2010–2023) 软件作者: SymPy开发团队;戴维·乔伊纳(David Joyner);Čertík,安大略省;亚伦·梅勒;布莱恩·格兰杰(Brian E.Granger)。 相关软件: 蟒蛇;数字Py;科学… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
马克西玛 171篇文献引用(1998年至2024年) 软件作者: 威廉·谢尔特 相关软件: Mathematica;SageMath;枫树… 主要字段: 群论与推广(20-XX);数值分析(65-XX);计算机科学(68-XX)…
LiE公司 177份文件引用(1993–2024) 软件作者: A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件: Mathematica;岩浆;麦考利2… 主要字段: 代数几何(14-XX);非结合环与代数(17-XX);群论与推广(20-XX)…
AXIOM公司 173篇文献引用(1992–2022) 软件作者: Tim Daly等人。;http://wiki.axiom-developer.org/axiom-website/community.html 相关软件: 枫树;Mathematica;减少… 主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…
重新记录 171篇文献引用(1997–2024) 软件作者: 安德烈亚斯·多尔兹曼(Andreas Dolzmann);托马斯·斯图尔姆;沃尔克·魏斯芬宁 相关软件: QEPCAD;z3;枫树… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)…
灰姑娘 95篇文献引用(1999年-2023年) 软件作者: 尤尔根·里希特·盖伯特(Jürgen Richter-Gebert);乌尔里希·科尔滕坎普 相关软件: 几何画板;GeoGebra;GEX… 主要字段: 总体主题;藏品(00-XX);几何(51-XX);数值分析(65-XX)…
坎特/卡什 157篇文献引用(1991–2022) 软件作者: 安妮塔·克拉曼(Anita Krahman)、卡罗琳·贾斯特(Carolin Just)、克劳斯·菲克尔(Claus Fieker)、弗洛里安·赫伊(Florian Heß)、何塞·门德斯(Jose Mendez)、吉尔根·克吕内斯(Jürgen Klüners)、马库斯·瓦格纳(Marcus Wagner)、迈克尔·波赫斯特(Michael Pohst);前作者:Andreas Hoppe、Carsten Friedrichs、Georg Baier、Harald Bartel、Hartmut Bauer、Johannes Graf v.Schmettow、Katharina Geißler、Klaus Wildanger、Maike Henningsen、Mario Daberkow、Martin Schörnig、Max Jüntgen KANT集团、Institut für Mathematik、柏林理工大学 相关软件: 岩浆;枫树;PARI/GP… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
数字gps 155份文件引用(2006–2024) 软件作者: 曼努埃尔·德尔加多(Manuel Delgado)、佩德罗·加西亚·桑切斯(Pedro A.Garcia-Sanchez)、何塞·莫利斯(Jose Morais) 相关软件: 缺口;带属的数字半群;nsgtree… 主要字段: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)…
单兵携带防空系统 129篇文献引用(1991–2023) 软件作者: Benno Fuchssteiner;瓦尔德马尔·维温卡;克劳斯·哥特希尔;安德烈亚斯·坎佩尔;奥利弗·克鲁格(Oliver Kluge);卡斯滕·莫里斯;Naundorf,Holger;Oevel,Gudrun;托尔斯滕·舒尔茨 相关软件: 枫树;Mathematica;MuPAD-组合… 主要字段: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)…
费曼图 133篇文献引用(2000–2024) 软件作者: 哈根·埃克;塞普·库布贝克 相关软件: FormCalc;费恩规则;FeynCalc… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…
克罗内克 132份文件引用(2000–2024) 软件作者: M.Giusti、G.Lecerf和B.Salvy;埃里克·肖斯特(Eric Schost)、卢兹·莱曼(Lutz Lehmann)、泽维尔·苏拉德(Xavier Suraud) 相关软件: 隔离;RAGlib;FGb… 主要字段: –
x行动 121篇文献引用(2008–2024) 软件作者: 何塞·马丁·加西亚 相关软件: xTras;xPerm;xPert… 主要字段: 微分几何(53-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
瑞萨/阿西尔 122篇文献引用(1992–2024) 软件作者: Noro Masayuki、Yokoyama Kazuhiro、Taku Takeshima、Takeshi Shimoyama、Hiroshi Anai、,Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama(致力于基础设计、内核源代码和核心库)。关于库的提交者和最近的贡献者,请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir.org或神户大学。 相关软件: 单一;麦考利2号;Kan… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…
家 120篇文献引用(1991–2024) 软件作者: Gebauer,R。;Kalkbrener,M。;墙壁,B。;F.温克勒。 相关软件: 枫树;Mathematica;岩浆… 主要字段: 交换代数(13-XX);代数几何(14-XX);常微分方程(34-XX)…
SYMMGRP公司 120篇文献引用(1993–2022) 软件作者: 威利·赫里曼;B.香槟;P.温特尼茨 相关软件: 枫树;SYMMGRP公司。最大值;谎言… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
生物-PEPA 97篇文献引用(2008–2024) 软件作者: 费德里卡·乔切塔(Federica Ciocchetta)、玛丽亚·路易莎·格雷耶罗(Maria Luisa Guerriero)、瓦什蒂·加尔宾(Vashti Galpin)、简·希尔斯顿(Jane Hillston)、朱利奥·卡拉瓦尼亚(Giulio Caravagna)、艾伦·克拉克(Allan Clark)、安德烈亚·德加斯佩里(Andrea Degasperi)、亚当·杜吉 相关软件: 政治公众人物协议;棱镜;生物活性炭… 主要字段: (68Q85-XX);(92B05-XX);(92C40-XX)
FeynCalc公司 102份文件引用(1995–2024) 软件作者: 罗尔夫·梅蒂格;弗雷德里克·奥雷拉纳(Frederik Orellana);M.Böhm;A.丹尼 相关软件: FeynArts;表格;数学… 主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
卡萨迪 102份文件引用(2012–2024) 软件作者: Joel Andersson;约翰·奥凯森;莫里茨·迪尔 相关软件: Ipopt;Matlab;日晷… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
吉纳碳 92份文件引用(2002–2024) 软件作者: 欧洲专利局(EPO);C.W.Bauer、A.Frink、R.Kreckel 相关软件: 表格;雷杜泽;火灾… 主要字段: 复变量函数(30-XX);几何(51-XX);数值分析(65-XX)…
复数 99篇文献引用(2003–2024) 软件作者: 列万多夫斯基,维克多;Hans Schönemann;Motsak、Olexander;格特·马丁·格雷尔 相关软件: 单一;麦考利2号;OreModules… 主要字段: (68W30-XX);(13P05-XX);(13P10-XX)
RATH(额定转速) 89份文件引用(2001–2022) 软件作者: Z.Li、Y.Liu 相关软件: 伊斯兰教;ATFM;枫树… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
触须 75篇文献引用(2003–2023) 软件作者: M.Kreuzer、H.Skarke 相关软件: SageMath;TOPCOM公司;Calabi Yau数据库… 主要字段: 代数几何(14-XX);微分几何(53-XX);计算机科学(68-XX)…
得到 51篇文献引用(1991–2023) 软件作者: 伯恩哈德·库兹勒;沃尔,伯恩哈德;弗兰茨·温克勒 相关软件: Mathematica;枫树;马西玛… 主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
xTras(xTras) 66份文件引用(2014–2023) 软件作者: 茶树坚果 相关软件: x法案;xPert;xPerm… 主要字段: 偏微分方程(35-XX);微分几何(53-XX);粒子力学与系统(70-XX)…
TI-Nspire公司 引用于3份文件(2008年至2012年) 软件作者: 德克萨斯仪器公司 相关软件: GeoGebra;ClassPad;衍生… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);几何(51-XX)…
消防5 60篇文献引用(2015年至2024年) 软件作者: A.V.斯米尔诺夫。 相关软件: 火灾;LiteRed;Reduze… 主要字段: 全局分析,流形分析(58-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
裂纹 57篇文献引用(1993–2021) 软件作者: 托马斯·沃尔夫 相关软件: 减少;利普得;枫树… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
凯伊迈拉 55份文件引用(2008–2023) 软件作者: 安德烈·普拉泽;贾·戴维德·奎塞尔 相关软件: SpaceEx;凯伊梅拉X;高科技… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
IMPS公司 52篇文献引用(1990–2021) 软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔 相关软件: 伊莎贝尔;Nuprl;Coq… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
利迪亚 51篇文献引用(1995–2021) 软件作者: 英格丽德·贝尔;约翰·布赫曼(Johannes Buchmann);托马斯·帕帕尼科劳 相关软件: NTL;PARI/GP;MAPC… 主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…
费马 47篇文献引用(1997–2022) 软件作者: Robert H.Lewis博士网址:http://www.bway.net/~刘易斯 相关软件: 表格;雷杜泽;基拉… 主要字段: 交换代数(13-XX);常微分方程(34-XX);数值分析(65-XX)…
GRTensorII型 49篇文献引用(1996–2019) 软件作者: 彼得·马斯格雷夫(Peter Musgrave);丹尼斯·波尔尼;凯尔湖 相关软件: 枫树;数学张量;NP… 主要字段: 微分几何(53-XX);计算机科学(68-XX);量子理论(81-XX)…
马塔德 49篇文献引用(2001–2022) 软件作者: 马蒂亚斯·斯坦豪泽 相关软件: 表格;粉碎机;Axodraw… 主要字段: 数论(11-XX);特殊功能(33-XX);近似和展开(41-XX)…
CARAT公司 46篇文献引用(1998–2023) 软件作者: J.Opgenorth,W.Plesken,T.Schulz;弗兰兹·盖勒 相关软件: 缺口;岩浆;HAP… 主要字段: 数论(11-XX);代数几何(14-XX);群论与推广(20-XX)…
FORMAC公司 43篇文献引用(1964–1996) 软件作者: Sammet,J.E。;邦德·E·R。 相关软件: 损益表;减少;马西玛… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
HAP公司 44篇文献引用(2008–2023) 软件作者: 格雷厄姆·埃利斯 相关软件: 缺口;Kenzo;CARAT… 主要字段: 代数几何(14-XX);群论与推广(20-XX);代数拓扑(55-XX)…
斯特林格瓦卡 44篇文献引用(2008–2023) 软件作者: 詹姆斯·格雷、杨慧荷、安东·伊尔德顿、安德烈·卢卡斯 相关软件: 单一;麦考利2号;SageMath… 主要字段: 代数几何(14-XX);微分几何(53-XX);计算机科学(68-XX)…
x珀特 43篇文献引用(2009–2023) 软件作者: David Brizuela;何塞·M·马丁·加西亚。;Mena Marugán,Guillermo A。 相关软件: x法案;xTras;xTensor… 主要字段: 算子理论(47-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
C-CoRN公司 41篇文献引用(2004–2023) 软件作者: 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡 相关软件: Coq;米扎尔;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);数值分析(65-XX)…
因瓦 39篇文献引用(1996年-2023年) 软件作者: J.M.Martin-Garcia,R.葡萄牙,L.R.U.Manssur 相关软件: x张量;xPert;x术语… 主要字段: 交换代数(13-XX);微分几何(53-XX);量子理论(81-XX)…
ITSM2000标准 36篇文献引用(2016–2023) 软件作者: 彼得·布罗克韦尔(Peter J.Brockwell)。;理查德·戴维斯(Richard A.Davis)。 相关软件: 其mr;astsa;tscount… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
xPerm(xPerm) 引用于37份文件(2008–2023) 软件作者: 何塞·马丁·加西亚 相关软件: xAct公司;xTras;因瓦… 主要字段: 代数几何(14-XX);微分几何(53-XX);整体分析,流形分析(58-XX)…
x张量 引用于37份文件(2007–2023) 软件作者: 何塞·马丁·加西亚 相关软件: 因瓦;xPert;xPerm… 主要字段: 交换代数(13-XX);微分几何(53-XX);粒子力学与系统(70-XX)…
FiniteFlow有限流量 38篇文献引用(2020–2024) 软件作者: 蒂齐亚诺·佩拉罗 相关软件: LiteRed;雷杜泽;火灾… 主要字段: 几个复变量与解析空间(32-XX);功能分析(46-XX);数值分析(65-XX)…
绵羊 引用于37份文件(1977–2020) 软件作者: 弗里克,我 相关软件: 枫树;减少;MapleTensor… 主要字段: 微分几何(53-XX);数值分析(65-XX);计算机科学(68-XX)…
ε 32篇文献引用(2017年-2023年) 软件作者: 马里奥·普拉萨 相关软件: 品红;LiteRed;加拿大… 主要字段: 特殊功能(33-XX);常微分方程(34-XX);数值分析(65-XX)…
伯格曼 34份文件引用(1994–2020) 软件作者: 豪尔赫·巴克林;科约卡鲁,斯维特拉纳;亚历山大·科尔斯尼科夫;马拉霍瓦、卢德米拉;维克托·乌夫纳罗夫斯基 相关软件: 麦考利2号;单一;复数… 主要字段: 交换代数(13-XX);代数几何(14-XX);结合环与代数(16-XX)…
IBM草稿行 34份文件引用(1974–2021) 软件作者: 理查德·詹克斯(Richard Jenks);IBM公司 相关软件: 枫树;伊斯兰教;AXIOM… 主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…
PNM公司 35篇文献引用(1992–2021) 软件作者: 奥利弗·阿伯思 相关软件: 进入PT_90;C-XSC 2.0;C-XSC… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
RandNLA公司 35篇文献引用(2017–2024) 软件作者: 德里尼亚斯,P。;马奥尼,M.W。 相关软件: Tensor工具箱;rsvd;ARPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
X夏季 34份文件引用(2006–2023) 软件作者: 莫赫,S。;尤尔,P。 相关软件: 嵌套金额;Hypexp;表格… 主要字段: 数论(11-XX);代数几何(14-XX);特殊功能(33-XX)…
霍马格 32篇文献引用(2007–2023) 软件作者: 穆罕默德·巴拉卡特;丹尼尔·罗伯茨 相关软件: 单一;缺口;复数… 主要字段: 交换代数(13-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…
同源性 34份文件引用(2001–2024) 软件作者: Jean-Guillaume杜马;弗兰克·赫肯巴赫(Frank Heckenbach);大卫·桑德斯;沃尔克马尔·韦尔克 相关软件: 缺口;CHomP;大写… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);代数拓扑(55-XX)…
离散 33篇文献引用(1997–2021) 软件作者: 安东·贝滕(Anton Betten)、埃维·哈贝伯格(Evi Haberberger)、莱因哈德·劳厄(Reinhard Laue)、阿尔弗雷德·瓦瑟曼(Alfred Wassermann) 相关软件: 缺口;葡萄;nauty… 主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)…
见鬼去吧 在30份文件中引用(2017–2024) 软件作者: 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件: 尼莫;朱莉娅;SageMath… 主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…
嵌套金额 31份文件引用(2002–2023) 软件作者: 斯特凡·温泽尔 相关软件: X夏季;Hypexp;HYPERDIRE… 主要字段: 数论(11-XX);复变量函数(30-XX);特殊功能(33-XX)…
ApCoCoA公司 29篇文献引用(2009–2024) 软件作者: 马丁·克鲁泽(Martin Kreuzer);亨克·普利斯 相关软件: 可可;SageMath;间隙… 主要字段: 交换代数(13-XX);代数几何(14-XX);群论与推广(20-XX)…
GRIN公司 31份文件引用(1995–2023) 软件作者: Serkan Hosten,Bernd Sturmfels公司 相关软件: 麦考利2号;可可;奇异… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
西玛斯 31份文件引用(1988–2010) 软件作者: 霍斯特·G·齐默。;松井,T。;Kobayashi博士。;阿贝,M。;Nakamula,K。 相关软件: KANT/KASH;PARI/GP;岩浆… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
蓝铜矿 29篇文献引用(2017–2024) 软件作者: 亚历山德罗·乔治迪斯、卡斯珀·拉森、杨张 相关软件: 雷杜泽;火灾;LiteRed… 主要字段: 常微分方程(34-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
GEMM公司 在28份文件中引用(1995–2012) 软件作者: 每令 相关软件: BLAS;LAPACK;ATLAS… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
阿尔多 26篇文献引用(1997–2014) 软件作者: aldor.org;曼纽尔·布朗斯坦 相关软件: AXIOM;枫树;SageMath… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);范畴理论;同调代数(18-XX)…
定量的 27篇文献引用(2009–2023) 软件作者: 基辛格,亚历克斯 相关软件: 球状;PyZX;凹槽… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…
MOLGEN公司 26篇文献引用(1992–2019) 软件作者: 格兰德,R。;Kerber,A。;劳厄,R。 相关软件: 鹦鹉螺;缺口;龙… 主要字段: 组合数学(05-XX);群论与推广(20-XX);凸和离散几何(52-XX)…
SYMMETRICA公司 26篇文献引用(1992–2017) 软件作者: Bayreuth大学Lehrstuhl Mathematik II的SYMMETRICA团队 相关软件: 枫树;许可证;利玛窦… 主要字段: 组合数学(05-XX);代数几何(14-XX);群论与推广(20-XX)…
切尼金凯德 23篇文献引用(1985–2012) 软件作者: 沃德·切尼(Ward Cheney);大卫·金凯 相关软件: Matlab;伊斯兰教;数学… 主要字段: 近似和展开(41-XX);统计学(62-XX);数值分析(65-XX)…
无限群松弛 25篇文献引用(2015–2022) 软件作者: 阿弥陀佛巴苏;罗伯特·希尔德布兰德(Robert Hildebrand);马蒂亚斯·科普 相关软件: github;切割生成功能学;SageMath… 主要字段: 近似和展开(41-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
复合式MuPAD 24篇文献引用(2004–2019) 软件作者: 弗朗索瓦·德斯库恩斯 相关软件: MuPAD;OEIS;SageMath… 主要字段: (05-04-XX);(05E05-XX);(05E10-XX)
SACLIB公司 23篇文献引用(1993年至2009年) 软件作者: David G.Richardson:沃纳·克兰迪克 相关软件: QEPCAD;枫树;FOXBOX… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)…
索纳塔 25篇文献引用(2001–2023) 软件作者: 埃哈德·艾辛格(Erhard Aichinger);尤尔根·埃克;克里斯托夫·诺鲍尔 相关软件: 缺口;SmallGroups库;转到BLAS… 主要字段: 组合数学(05-XX);一般代数系统(08-XX);结合环与代数(16-XX)…
加农尼克 24篇文献引用(1987–2018) 软件作者: D.W.兰德。 相关软件: 分裂;SYMMGRP公司。最大值;diffgrob2… 主要字段: 非结合环与代数(17-XX);常微分方程(34-XX);偏微分方程(35-XX)…
德索尔VII 24篇文献引用(2012–2021) 软件作者: Vu,K.T。;杰斐逊,G.F。;J.卡米蒂娜。 相关软件: ASP;宝石;枫树… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
危地马拉 23篇文献引用(2004–2023) 软件作者: Reinald Baart、Tom Boothby、Jasper Cramwinckel、Joe Fields、David Joyner、Robert Miller、Eric Minkes、Erik Roijackers、Lea Ruscio、Cen Tjhai 相关软件: 缺口;岩浆;SageMath… 主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…
比盖布拉 22篇文献引用(1994–2023) 软件作者: 阿布·阿莫维奇,拉法;贝特弗里德·福泽 相关软件: 克利福德;枫树;客户… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX)…
汞R 21篇文献引用(2011–2022) 软件作者: 中山弘;肯塔州西山;马赛尤基·诺罗;Katsuyoshi Ohara;Sei,Tomonari;高山、Nobuki;赤池竹村 相关软件: Risa/Asir;DLMF;R、 … 主要字段: 结合环与代数(16-XX);几个复变量与解析空间(32-XX);特殊功能(33-XX)…
ROPTLIB公司 18篇文献引用(2017年-2023年) 软件作者: 黄文;Absil,P.-A.公司。;凯尔·A·加里凡。;保罗·汉德 相关软件: 马诺普特;皮曼诺普;歧管Optim… 主要字段: 变分法与最优控制;优化(49-XX);微分几何(53-XX);统计学(62-XX)…
叶片 21篇文献引用(2007–2023) 软件作者: 弗朗索瓦·布利埃 相关软件: 枫树;雏菊;Epsilon… 主要字段: 场论与多项式(12-XX);常微分方程(34-XX);计算机科学(68-XX)…
卢加雷斯 18篇文献引用(2002–2023) 软件作者: 博塔纳,F。;瓦尔卡奇,J.L。 相关软件: 可可;灰姑娘;几何画板… 主要字段: 交换代数(13-XX);几何(51-XX);微分几何(53-XX)…