枫树 5368份文件引用(1983–2024) 软件作者： 滑铁卢枫树公司。 相关软件： Mathematica；Matlab；岩浆… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
DLMF公司 3806文件引用(2000–2024) 软件作者： 丹尼尔·洛泽尔（Daniel W.Lozier）。 相关软件： Mathematica；Matlab；OEIS… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
科恩平滑 1082文件引用(1993–2024) 软件作者： Wand，医学博士。；M.C.琼斯。；布莱恩·里普利 相关软件： R；pyuvdata；fda（R）… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
克朗 191份文件引用(1995–2023) 软件作者： Michel Alexeline、Rachid Malti、Patrick Lanusse、Pierre Melchior、Alain Oustaloup 相关软件： 任天堂；DFOC；Matlab… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
OMDoc公司 93篇文献引用(2001–2022) 软件作者： 迈克尔·科尔哈斯 相关软件： MMT；Coq；Mizar… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
雏菊 引用于71份文件(2008–2024) 软件作者： 朱塞皮娜·贝鲁、玛丽亚·皮亚·萨科马尼、斯蒂芬妮娅·奥多利、莱昂蒂娜·达朗戈 相关软件： 西安；COMBOS公司；GenSSI… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；统计学（62-XX）…
MMT公司 引用于54份文件（2009年至2022年） 软件作者： 弗洛里安·拉贝 相关软件： OMDoc；质量管理团队；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
MML公司 在48份文件中引用(2001–2022) 软件作者： http://mizar.org/peoples网站/ 相关软件： 米扎尔；MPTP 0.2；MoMM… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
Wolfram功能站点 42篇文献引用(2007–2023) 软件作者： Wolfram研究公司。 相关软件： DLMF；Mathematica；仲裁… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
C-CoRN公司 41篇文献引用(2004–2023) 软件作者： 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；实函数（26-XX）；数值分析（65-XX）…
OMRS公司 39篇文献引用(1995–2009) 软件作者： 亚历山德罗·阿曼多；Michael Kohlhase；西尔维奥·兰伊斯 相关软件： 分析；定理；PVS… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
行星数学 35篇文献引用(2005–2022) 软件作者： PlanetMath.org有限公司 相关软件： LaTeXML；数学溢出；OEIS… 主要字段： 阶、格、有序代数结构（06-XX）；数论（11-XX）；代数几何（14-XX）…
霍马格 32篇文献引用(2007–2023) 软件作者： 穆罕默德·巴拉卡特；丹尼尔·罗伯茨 相关软件： 单一；间隙；复数… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
iRNA-PseColl基因 31份文件引用(2017–2019) 软件作者： 冯·P。；丁，H。；Yang，H。；陈，W。 相关软件： iRSpot-EL；2L-piRNA；pLoc-mEuk… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MaLeCoP公司 30篇文献引用(2011–2023) 软件作者： Josef Urban、JiříVyskočil、PetrŠtěpánek 相关软件： E定理证明器；马拉雷亚；Mizar… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
SETL公司 28篇文献引用(1986–2023) 软件作者： 施瓦茨，J.T。；杜瓦，R.B.K。；杜宾斯基，E。；肖恩伯格，E。 相关软件： Z；JSetL；裁判… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；一般代数系统（08-XX）…
国际RNA-AI 26篇文献引用(2017–2019) 软件作者： Chen，W。；冯·P。；Yang，H。；丁，H。， 相关软件： iRNA-PseColl；iRSpot-EL；pLoc-mPlant… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
2L-piRNA 25篇文献引用(2017–2019) 软件作者： 刘，B。；杨，F。；周，K.-C。 相关软件： iRNA-PseColl；iRSpot-EL；pLoc-mEuk… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
iSNO-AAP航空公司 24篇文献引用(2014–2019) 软件作者： Xu Y、Shao XJ、Wu LY、Deng NY、Chou KC 相关软件： iRSpot-PseDNC；iRNA-PseColl；iRSpot-EL… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
iEnhancer-2L型 21篇文献引用(2016–2019) 软件作者： 刘斌；龙云芳；任龙；荀兰；郭振秋 相关软件： pLoc-m动物；pSuc-Lys；Pse-in-One… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
GeneRank公司 17篇文献引用（2010年-2023年） 软件作者： 朱莉·莫里森（Julie L Morrison）；Rainer百年灵；Desmond J Higham；大卫·R·吉尔伯特 相关软件： Matlab；分子网络；测试矩阵… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
iPhos-PseEvo公司 18篇文献引用(2016–2021) 软件作者： W.R.邱。；Sun，B.Q。；X.肖。 相关软件： iRNAm5C-PseDNC；pLoc-mEuk；Pse-in-One… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
数学统计 18篇文献引用(2002–2009) 软件作者： 罗丝，科林；莫里·史密斯（Murray D.Smith）。 相关软件： Mathematica；枫树；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MB基础 17篇文献引用(1999–2006) 软件作者： 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 相关软件： TPS；欧米茄；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
iPPBS-光学 16篇文献引用(2016–2019) 软件作者： 贾，J。；刘，Z。；Xiao，X。；刘，B。；周，K.-C。 相关软件： pSuc-Lys；iPro54-PseKNC；Pse-in-One… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
幼崽 15篇文献引用(2006–2021) 软件作者： 安德烈亚·阿斯佩蒂（Andrea Asperti）；费卢奇奥·圭迪；Sacerdoti Coen，Claudio；恩里科·塔西；Stefano扎奇罗利 相关软件： 米扎尔；Coq；MML… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
崔弟 14篇文献引用(2016–2023) 软件作者： 蒂姆，M。 相关软件： DiArg；LARS；Clingo… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
长笛 12份文件引用(2013–2022) 软件作者： Chao，D.L。；Halloran，M.E。；Obenchain，V.J。；I.M.小朗基尼。 相关软件： 代码113；pchip；代码23s… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
SciNapse公司 10篇文献引用(1998–2006) 软件作者： 罗伯特·L·阿克斯。；伊莱恩·康德（Elaine Kant）；柯蒂斯·兰德尔（Curtis J.Randall）。；斯坦利·斯坦伯格；罗伯特·L·杨。 相关软件： Mathematica；CTADEL公司；珍珠包… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PSPC公司 9份文件引用(1997–2008) 软件作者： 费利克斯·桑胡安；阿尔贝托·阿巴德 相关软件： ATESAT；Mathematica；PSPCLink… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数学中心信息 9份文件引用(2014–2019) 软件作者： 伊恩库、米尼亚；朱可夫斯基（Jucovschi），君士坦丁（Constantin）；Michael Kohlhase；汤姆·威辛 相关软件： MMT；OMDoc；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
环境管理计划 8份文件引用(1988–1998) 软件作者： 克劳斯·希特科夫斯基 相关软件： SLP-IOR；GAMS；ELL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数据链路2 7份文件引用(2021–2023) 软件作者： Fischer，M.、Balunovic，M.，Drachsler-Cohen，D.、Gehr，T.、Zhang，C.、Vechev，M.T。 相关软件： DeepProbLog；MNIST；亚当… 主要字段： 计算机科学（68-XX）
谎言 7份文件引用(1985–2000) 软件作者： Eliseev，副总裁。；Fedorova，R.N。；V.V.科尼亚克。 相关软件： SPDE；LIE0；减少… 主要字段： 拓扑群，李群（22-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
x核心 7份文件引用(2012–2020) 软件作者： 何塞·马丁·加西亚 相关软件： 自旋体；x张量；xPert… 主要字段： 全局分析，流形分析（58-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
arXMLiv公司 6篇文献引用(2008–2015) 软件作者： Deyan Ginev、Constantin Jucovski、Stefan Anca、Mihai Grigore、Catalin David、Michael Kohlhase 相关软件： LaTeXML；乳胶；ActiveMath… 主要字段： 计算机科学（68-XX）
BRMaximin公司 6篇文献引用(2021–2023) 软件作者： 威廉·卡巴列罗（William N.Caballero）。；布赖恩·J·伦迪。；理查德·尤伯（Richard P.Uber）。 相关软件： 普里巴斯；挤压探测；差异Sharp… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
纳斯佩特 6篇文献引用(1988–2000) 软件作者： 克劳斯·舒尔茨（Klaus Schulze）；科林·克里尔。 相关软件： ODEXPERT公司；斯拉特克；NAG… 主要字段： 总体主题；藏品（00-XX）；常微分方程（34-XX）；统计学（62-XX）…
ProMoT项目 5份文件引用(2000–2021) 软件作者： F Tránkle、M Zeitz、M Ginkel；罗兰·沃施勒（Roland Waschler）；安吉莱斯·帕拉西奥斯（Angeles-Palacios），奥登（Odon）；金克尔，马丁；阿希姆·基恩勒 相关软件： 塔巴斯科；lpSolve；日晷… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；偏微分方程（35-XX）…
REDBACK（返回） 6篇文献引用(2016–2024) 软件作者： 托马斯·普雷特（Thomas Poulet）、马丁·莱索尔（Martin Lesueur）、马汀·帕索尔（马丁·帕索尔）、马诺利斯·维维基斯（Manolis Veveakis） 相关软件： PETSc；Matlab；BEMECH… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
STEXIDE公司 5份文件引用(2010–2013) 软件作者： 朱可夫斯基（Jucovschi），君士坦丁（Constantin）；迈克尔·科尔哈斯 相关软件： TNT基地；MMT；Mizar… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
VMEXT公司 6篇文献引用(2017–2022) 软件作者： 莫里茨·舒博茨（Moritz Schubotz）；诺曼·穆什克；托马斯·赫普（Thomas Hepp）；霍华德·科尔。；吉普，贝拉 相关软件： DLMF；CitePlag；LaTeXML… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；计算机科学（68-XX）
PyLops公司 1份文件引用(2024) 软件作者： 马特奥·拉瓦西（Matteo Ravasi）、伊万·瓦康塞洛斯（Ivan Vasconcelos） 相关软件： 蟒蛇；数字Py；科学… 主要字段： 近似值和展开值（41-XX）
MATHsAiD公司 4份文件引用(2007–2019) 软件作者： A.邦迪、R.麦卡斯兰。 相关软件： IsaPlanner公司；Isabelle/HOL；定理… 主要字段： 计算机科学（68-XX）
MSS公司 引用于3份文件(2008–2013) 软件作者： Perez，T.、Smogeli，N.、Fossen，T.I.、Sorensen，A.J。 相关软件： Simulink；Matlab公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
EMOSL公司 引用于3份文件(2001–2015) 软件作者： 詹姆斯·特博特（James Tebboth）；丹尼尔、罗伯特 相关软件： MIPLIB2003；hMETIS公司；GCG… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）
通量模拟器 在0个文档中引用 软件作者： 托马斯·宾斯（Thomas W.Binsl）、凯瑟琳·马伦（Katharine M.Mullen 相关软件： R；伯克利麦当娜；ODEPACK… 主要字段： ——
MI-Sim公司 引用于3份文件(2018–2022) 软件作者： M.J.Wade、J.Oakley、S.Harbisher、N.G.Parker、J.Dolfing 相关软件： 枫树；MATCONT公司 主要字段： 常微分方程（34-XX）；生物学和其他自然科学（92-XX）
对象数学 引用于3份文件(1997–2014) 软件作者： 尼古拉斯·安德森；彼得·弗里茨森 相关软件： 奥莫拉；Mathematica；AUTOSAR… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GTED公司 2份文件引用(2018–2019) 软件作者： Ali Ebrahinpour Boroojeny、Akash Shrestha、Ali Sharifi-Zarchi、Suzanne Renick Gallagher、S Cenk Sahinalp、Hamidreza Chitsaz 相关软件： 赛科；AFGen；西贝利亚… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
JQuant图书馆 2份文件引用(2010–2018) 软件作者： R.戈麦斯。 相关软件： Matlab；NEWUOA公司；数字标识… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
MINEQL公司 2份文件引用(2013–2017) 软件作者： 韦斯特尔、J.C.、扎卡里、J.L.、莫雷尔、F.M.M。 相关软件： PHREEQC；WATSPEC；FITEQL… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
JuliaBook统计 2份文件引用(2021–2022) 软件作者： Nazarathy，Yoni；海登·克鲁克 相关软件： 朱莉娅 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）
西娅 在0个文档中引用 软件作者： Claude Pasquier、Fabrice Girardot、Karim Jevardat De Fombelle、Richard Christen 相关软件： GO-TermFinder；iGA；TM4… 主要字段： ——
可视化PDE 2份文件引用(2023–2024) 软件作者： 本杰明·沃克。；亚当·汤森（Adam K.Townsend）。；亚历山大·丘达萨马（Alexander K.Chudasama）。；安德鲁·克劳斯。 相关软件： github；LHS；pde2path… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
承认 1份文件引用(2012) 软件作者： S.Streif、A.Savchenko、P.Rumschinski、S.Borchers、R.Findeisen。 相关软件： YALMIP；CPLEX公司 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
生物晶格 1份文件引用(2016) 软件作者： Kim，J。；Chung，H.-J。；荣格，Y。；Kim，K.-K。；金·J·H·。 相关软件： GSEA-P公司 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
共模 1份文件引用(2022) 软件作者： van der Vegt，Solveig A。；戴良提；爱奥那州波罗斯；Farm，惠嘉；理查德·克雷斯韦尔（Richard Creswell）；奥斯卡·迪姆多尔·迈尔斯；伊迪尔·卡齐莫格鲁；苏马利省巴贾杰；霍普金斯，莱尔；戴维·塞弗特（David Seiferth）；库珀（Fergus Cooper）；Lei，Chon Lok；大卫·加瓦根（David Gavaghan）；本·兰伯特 相关软件： 阴谋；R降价；ggplot2… 主要字段： 生物学和其他自然科学（92-XX）
cpspline 1份文件引用(2023) 软件作者： 纳瓦罗·加西亚，曼努埃尔；Vanesa Guerrero；玛丽亚，德班 相关软件： SciPy；莫塞克；蟒蛇 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）
GMBL公司 1份文件引用(2021) 软件作者： Ryan Krueger；Han、Jesse Michael；丹尼尔·塞尔萨姆 相关软件： TensorFlow；MMP/Geometer；GEOTHER 1.1… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
超分割（hypershed） 1份文件引用(2017) 软件作者： 迪亚斯，法比奥；穆萨·R·曼苏尔。；Paola Valdivia；让·库斯蒂；洛朗·纳杰曼 相关软件： github；t-SNE公司 主要字段： 信息与通信理论，电路（94-XX）
蓝色PyOpt 在0个文档中引用 软件作者： 沃纳·范盖特（Werner Van Geit）、迈克尔·格瓦特（Michael Gevaert）、朱塞佩·钦德米（Giuseppe Chindemi）、克里斯蒂安·罗塞特（Christian Rössert）、珍妮斯·库科尔（Jean-Denis Courcol）、埃利夫·穆勒（Eilif Muller）、费利克斯·舒尔曼（Felix Sch 相关软件： —— 主要字段： ——