DLMF公司 3806文件引用(2000–2024) 软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。 相关软件: Mathematica;Matlab;OEIS… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
乳胶 251份文件引用(1988–2024) 软件作者: 莱斯利·兰伯特 相关软件: 特克斯;EXPFIT4;枫树… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
佩斯卡 198篇文献引用(2001–2023) 软件作者: 阿内·兰塔 相关软件: MiniML;Coq;伊莎贝尔… 主要字段: 历史与传记(01-XX);数理逻辑与基础(03-XX);几何(51-XX)…
费曼图 133篇文献引用(2000–2024) 软件作者: 哈根·埃克;塞普·库布贝克 相关软件: FormCalc;费恩规则;FeynCalc… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…
阿克索德劳 120篇文献引用(1994年至2024年) 软件作者: 弗马塞伦,J.A.M。 相关软件: 表格;JaxoDraw;Reduze… 主要字段: 数论(11-XX);算子理论(47-XX);粒子力学与系统(70-XX)…
JaxoDraw公司 103篇文献引用(2005–2023) 软件作者: D.Binosi、J.Collins、C.Kaufhold、L.Theussl 相关软件: 阿克索德劳;表格;LiteRed… 主要字段: 特殊功能(33-XX);流形和细胞复合体(57-XX);粒子力学与系统(70-XX)…
Hmisc公司 33篇文献引用(2007–2022) 软件作者: Frank E Harrell Jr;查尔斯·杜邦 相关软件: R;ggplot2;会展… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
PlatEMO公司 43篇文献引用(2017–2023) 软件作者: 叶田、冉成、张兴义、金耀初 相关软件: MOEA/D;HypE;SPEA2… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
Sweave公司 31份文件引用(2002–2022) 软件作者: 弗里德里希·利什 相关软件: R;knitr;生物导体… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
蒂克·费曼 42篇文献引用(2017–2024) 软件作者: 约书亚·P·埃利斯。 相关软件: 表格;雷杜泽;基拉… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
CalcCheck(计算检查) 41篇文献引用(1993–2021) 软件作者: 沃尔夫拉姆·卡尔 相关软件: Z;Coq;哈斯克尔… 主要字段: 数理逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…
可发送的 15篇文献引用(2007–2019) 软件作者: Dahl,D.B。 相关软件: R;knitr;ggplot2… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
获取距离 34份文件引用(2018–2024) 软件作者: 安东尼·刘易斯 相关软件: 阶级;巨蟒山;主持人… 主要字段: 偏微分方程(35-XX);光学、电磁理论(78-XX);量子理论(81-XX)…
行星数学 35篇文献引用(2005–2022) 软件作者: PlanetMath.org有限公司 相关软件: LaTeXML;数学溢出;OEIS… 主要字段: 阶、格、有序代数结构(06-XX);数论(11-XX);代数几何(14-XX)…
奥特 34份文件引用(2007–2021) 软件作者: 彼得·休厄尔(Peter Sewell);纳德利,弗朗西斯科·扎帕;斯科特·欧文斯;吉尔斯·佩斯金(Gilles Peskine);托马斯·里奇;萨卡,苏斯米特;斯特尼萨,洛克 相关软件: Coq;Isabelle/HOL;名义上的伊莎贝尔… 主要字段: 数理逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
PoSSo公司 33篇文献引用(1998–2023) 软件作者: D.比尼;B.穆兰 相关软件: PHCpack;PHoM;HOM4PS… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);实函数(26-XX)…
地理1.1 31份文件引用(1996–2021) 软件作者: 王东明 相关软件: GeoGebra;GEX;地理信息… 主要字段: 场论与多项式(12-XX);几何(51-XX);数值分析(65-XX)…
LanHEP项目 24篇文献引用(1998–2022) 软件作者: A.V.塞梅诺夫 相关软件: CalcHEP;费恩规则;FeynArts… 主要字段: 偏微分方程(35-XX);经典热力学,传热(80-XX);量子理论(81-XX)…
LaTeXML 22篇文献引用(2008–2019) 软件作者: 德扬·基涅夫;斯坦默约翰斯(Stamerjohanns)、海因里希(Heinrich);布鲁斯·米勒(Bruce R.Miller)。;迈克尔·科尔哈斯 相关软件: 乳胶;DLMF;arXMLiv… 主要字段: 历史与传记(01-XX);特殊功能(33-XX);计算机科学(68-XX)
前列腺素f 22篇文献引用(2011–2024) 软件作者: 直到Tantau;亨利·门克 相关软件: TikZ;乳胶;SageMath… 主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…
CoCalc公司 19份文件引用(2018–2024) 软件作者: 威廉·斯坦因 相关软件: SageMath;组织环境信息系统;mgn… 主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…
MUltlog公司 20篇文献引用(1996–2023) 软件作者: 格诺·萨尔泽;维也纳多值逻辑小组 相关软件: github;JGXYZ;VAMPIRE… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
渐近线 13份文件引用(2007–2022) 软件作者: 安迪·哈默林德尔(Andy Hammerlindl);约翰·鲍曼;汤姆·普林斯 相关软件: GiNaC;蟒蛇;MetaPost… 主要字段: 组合数学(05-XX);复变量函数(30-XX);几何(51-XX)…
数学jax 15篇文献引用(2010年-2023年) 软件作者: 切尔沃内 相关软件: DLMF;github;Mizar… 主要字段: 数值分析(65-XX);计算机科学(68-XX);数学教育(97-XX)
峰值电阻@TE 13份文件引用(2014–2022) 软件作者: Lyonnet,F。;Schienbein,I。;斯塔布·F。;温格特,A。 相关软件: 莎拉;Mathematica;ARGES… 主要字段: 群论与推广(20-XX);特殊功能(33-XX);计算机科学(68-XX)…
TeXmacs公司 15篇文献引用(2004–2021) 软件作者: Van Der Hoeven,J。 相关软件: Coq;伊莎贝尔;Isabelle/HOL… 主要字段: 数论(11-XX);场论与多项式(12-XX);特殊功能(33-XX)…
交流直流电 13份文件引用(2005–2022) 软件作者: 罗斯·赖特;杰夫·卡什 相关软件: twpbvp;twpbvpl;bvptwp.m… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
K-Maude公司 在11份文件中引用(2010年至2021年) 软件作者: ⑩erbénuţ\355 ;Ņé,Traian Florin;格里高·罗什乌 相关软件: 莫德;K校准仪;K工具… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
KETpic公司 8份文件引用(2006–2020) 软件作者: Sekiguchi、Masayoshi;山下佐治;Setsuo Takato 相关软件: 乳胶;凯特辛迪;灰姑娘… 主要字段: 实函数(26-XX);特殊功能(33-XX);数值分析(65-XX)…
观星者 7份文件引用(2014–2024) 软件作者: 马雷克·拉瓦克 相关软件: R;ggplot2;knitr… 主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
HOL-Z公司 5份文件引用(2005–2011) 软件作者: David Basin;库鲁马、平野武;Kazuo Takaragi;沃尔夫,伯克哈特 相关软件: Z;HOL;Isabelle/HOL… 主要字段: 计算机科学(68-XX)
PSAT公司 7份文件引用(2011–2018) 软件作者: 费德里科·米兰 相关软件: 穹顶;网格;Pandapower… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
PST支架 在11份文件中引用(1996–2022) 软件作者: 蒂莫西·范赞特 相关软件: LaTeX公司;pst-b样条;枫树… 主要字段: 组合数学(05-XX);近似和展开(41-XX);流形和细胞复合体(57-XX)…
Q电路 9份文件引用(2006–2022) 软件作者: 史蒂夫·弗拉米亚;布莱恩·伊斯汀 相关软件: Q电路;QDENS调色板;QDENSITY… 主要字段: 计算机科学(68-XX);光学、电磁理论(78-XX);量子理论(81-XX)…
kableExtra(额外) 2份文件引用(2022) 软件作者: 郝朱、托马斯·特拉维森、蔡提莫西、威尔·比斯利、谢一辉、余光创、施泰芬·洛朗、罗伯·谢泼德、尤尼·西迪、布赖恩·萨尔泽、乔治·圭、叶良凡、邓肯·默多克、比尔·埃文斯 相关软件: R;ggplot2;knitr… 主要字段: 统计学(62-XX)
PGF批次 6篇文献引用(2012–2022) 软件作者: 克里斯蒂安·费尔斯安格 相关软件: 朱莉娅;乳胶;fontspec… 主要字段: 数值分析(65-XX);计算机科学(68-XX);相对论与引力理论(83-XX)…
红草莓 7份文件引用(2016–2019) 软件作者: D.A.Bolotin,S.V.Poslavsky公司 相关软件: 卡达布拉;表格;GiNaC… 主要字段: 拓扑群,李群(22-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
SmeftFR公司 5份文件引用(2019年至2024年) 软件作者: A.Dedes、M.Paraskevas、J.Rosiek、K.Suxho、L.Trifyllis 相关软件: SMEFTsim;DsixTools;威尔逊… 主要字段: 组合数学(05-XX);偏微分方程(35-XX);粒子力学与系统(70-XX)…
睾丸病毒 8份文件引用(2012–2018) 软件作者: Ferenc Domes、Martin Fuchs、Hermann Schichl、Arnold Neumaier 相关软件: 优化测试环境;椰子;游戏… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
双乳胶 7份文件引用(1995–2022) 软件作者: 菲利普·雷曼(Philipp Lehman)、约瑟夫·赖特(Joseph Wright)、奥黛丽·博鲁夫卡(Audrey Boruvka)、菲利普·基姆(Philip Kime) 相关软件: 乳胶;xcolor;CTAN… 主要字段: 全局分析,流形分析(58-XX);数值分析(65-XX);计算机科学(68-XX)…
Tikz设备 6篇文献引用(2013–2023) 软件作者: 查理·夏普斯汀;Cameron Bracken;基里尔·米勒;谢一辉 相关软件: R;ggplot2;Rgraphviz… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
arXMLiv公司 6篇文献引用(2008–2015) 软件作者: Deyan Ginev、Constantin Jucovski、Stefan Anca、Mihai Grigore、Catalin David、Michael Kohlhase 相关软件: LaTeXML;乳胶;ActiveMath… 主要字段: 计算机科学(68-XX)
kml3d(公里3d) 5份文件引用(2016–2023) 软件作者: Christophe Genolini、Bruno Falisard、Jean-Baptiste Pingault 相关软件: 千毫升;R;mclust… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
pdfTeX公司 6篇文献引用(1994–2015) 软件作者: 哈恩Thế Thánh 相关软件: 乳胶;特克斯;梅塔丰特… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
树 5份文件引用(2020–2024) 软件作者: 罗曼·阿赛斯;纪尧姆·塞鲁蒂(Guillaume Cerutti);迪迪埃·杰默勒;弗洛里安·英格尔 相关软件: Matplotlib;L-Py;Python… 主要字段: 统计学(62-XX);计算机科学(68-XX)
VMEXT公司 6篇文献引用(2017–2022) 软件作者: 莫里茨·舒博茨(Moritz Schubotz);诺曼·穆什克;托马斯·赫普(Thomas Hepp);霍华德·科尔。;吉普,贝拉 相关软件: DLMF;CitePlag;LaTeXML… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);计算机科学(68-XX)
WinGCLC公司 5份文件引用(2006–2011) 软件作者: Predrag Janicic;合著者 相关软件: 地质学;GCL校准仪;Eukleides… 主要字段: 几何(51-XX);微分几何(53-XX);计算机科学(68-XX)…
Z2sal公司 5份文件引用(2008–2012) 软件作者: J Derrick,S North,A J H Simons公司 相关软件: 自旋蛋白;Z;Z/EVES… 主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)
CAOP公司 5份文件引用(2012–2021) 软件作者: Koepf,W.,Swarttouw,R。 相关软件: 反击;OPQ;DLMF… 主要字段: 特殊功能(33-XX);欧氏空间(42-XX)的调和分析;算子理论(47-XX)…
考试 1份文件引用(2012) 软件作者: 阿奇姆·泽利斯(Achim Zeileis)、贝蒂娜·格伦(Bettina Gruen)、弗里德里希·利什(Friedrich Leisch)、尼古拉·乌姆劳夫(Nikolaus Umlauf)、尼尔斯·斯密茨(Niels Smits)、米尔科·伯鲍默(Mirko 相关软件: R;凹陷;SageMath… 主要字段: 数学教育(97-XX)
拉盖尔 5份文件引用(2018–2023) 软件作者: Daan Huybrechs、Peter Opsomer 相关软件: 快速高斯正交;拉盖尔波尔;DLMF… 主要字段: 特殊功能(33-XX);常微分方程(34-XX);近似和展开(41-XX)…
莱姆 4份文件引用(2011–2021) 软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷(Kathryn E.Gray)。;汤姆·里奇;彼得·休厄尔 相关软件: Isabelle/HOL;Coq;ACL2… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
Q电路 5份文件引用(2006–2010) 软件作者: S.Flammia;B.伊斯汀 相关软件: Q电路;QDENS调色板;QDENSITY… 主要字段: 计算机科学(68-XX);量子理论(81-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
x色 5份文件引用(2000–2022) 软件作者: 乌韦·科恩 相关软件: 乳胶;特克斯;双乳胶… 主要字段: 全局分析,流形分析(58-XX);计算机科学(68-XX);相对论与引力理论(83-XX)…
光束发生器 4份文件引用(2007–2021) 软件作者: Till Tantau、Vedran Miletić、Joseph Wright 相关软件: 乳胶;海报;TeX… 主要字段: 计算机科学(68-XX);数学教育(97-XX)
费恩编辑 引用于3份文件(2015–2016) 软件作者: T.Hahn和P.Lang 相关软件: HPL;谐波和;表格… 主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)…
法国食品标准局 引用于3份文件(2000–2006) 软件作者: 多萝西娅·布罗斯坦、史蒂夫·史密斯、凯文·诺文斯、理查德·扎尼比、阿利斯·罗斯、大卫·陶斯基、尼克·威兰 相关软件: MathBrush;枫树 主要字段: 计算机科学(68-XX)
电源 引用于3份文件(2018–2023) 软件作者: Pierre Lafaye de Michoaux,越南Tran,阿兰·德斯加涅 相关软件: R;nortest;VGAM… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)
夸蒂 4份文件引用(2014–2023) 软件作者: Vivek Nigam;Reis,Giselle;莱昂纳多·利马 相关软件: 混合的;github;红杉… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
辛萨拉帕 引用于3份文件(2019年-2023年) 软件作者: 马吕斯·霍弗特;马丁·梅奇勒 相关软件: R;Rmpi;ggplot2… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
STEX公司+ 引用于3份文件(2010–2011) 软件作者: 安德烈亚·科尔哈斯(Andrea Kohlhase);迈克尔·科尔哈斯(Michael Kohlhase);克里斯托夫·兰格 相关软件: SPARQL;氧化物;数学Dox… 主要字段: 计算机科学(68-XX)
SU3公司 4份文件引用(1996–2021) 软件作者: 托马斯·凯丁(Thomas A.Kaeding)。;威廉姆斯,H.托马斯 相关软件: SU3Clebsch;SU3CGVCS;WIGXJPF… 主要字段: 群论与推广(20-XX);拓扑群,李群(22-XX);计算机科学(68-XX)…
阿米巴发生器 引用于3份文件(2011–2023) 软件作者: 马格纳斯·列克塞尔;沃伊切赫·科莫罗夫斯基 相关软件: 阿米巴;github;多项式阿米巴… 主要字段: 代数几何(14-XX);几个复变量与解析空间(32-XX);计算机科学(68-XX)
BMOBench公司 引用于3份文件(2011–2021) 软件作者: Abdullah Al-Dujaili,S.Suresh 相关软件: SMS-EMOA;Omni-optimizer;DFMO… 主要字段: 运筹学,数学编程(90-XX)
幻想家 引用于3份文件(1999–2022) 软件作者: 彼得·范·奥斯特罗姆 相关软件: 乳胶;xcolor;minitoc… 主要字段: 全局分析,流形分析(58-XX);计算机科学(68-XX);相对论与引力理论(83-XX)…
最晚2个月 引用于3份文件(2020–2023) 软件作者: 斯特凡诺·梅奇亚里 相关软件: 重塑;ggplot2;tidyverse… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)
Q编译器 引用于3份文件(2013–2021) 软件作者: Chen,Y.G。;王,J.B。 相关软件: TensorFlow;TensorFlow量子;GitHub… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
rktree(rktree) 引用于3份文件(2006–2012) 软件作者: 卡梅隆,F。 相关软件: 罗德斯;Matlab;屠夫… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
SUBSEXPL公司 引用于3份文件(2006–2011) 软件作者: F.L.C.de Moura。;阿亚拉·林科,M。;卡马雷丁,F。 相关软件: 自动化;OCaml;Emacs… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)