国际实验室 引用于508份文件(1999–2024) 软件作者: 齐格弗里德·M·臀部。 相关软件: Matlab;mctoolbox;C-XSC 2.0… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
并入PT_90 310份文件引用(1996–2023) 软件作者: R.Baker Kearfott先生 相关软件: 国际实验室;C-XSC;个人资料/偏见… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
隔离 237篇文献引用(1999–2024) 软件作者: Fabrice Rouillier公司;保罗·齐默尔曼 相关软件: 克罗内克;FGb;枫树… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…
RODES公司 145篇文献引用(2002–2024) 软件作者: 沃里克·塔克 相关软件: 国际实验室;CAPD;泰勒… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
个人资料/偏差 132份文件引用(1979–2021) 软件作者: O.Knüppel。 相关软件: 进入PT_90;C-XSC;国际实验室… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…
宴会 101篇文献引用(2012–2024) 软件作者: Tang,Ping Tak Peter;埃里克·波利齐 相关软件: CIRR;lobpcg.m;JDQZ… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);算子理论(47-XX)…
mpmath(数学) 77份文件引用(2010–2024) 软件作者: 弗雷德里克·约翰逊 相关软件: SciPy;SageMath;SymPy… 主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…
CAPD(机顶盒) 78篇文献引用(2005–2023) 软件作者: 格拉泽戈兹·贾布隆斯基(Grzegorz Jablonski);Kapela,T.、Mrozek,M.、Pilarczyk,P.、Wilczak,D.、Zgliczynski,P。 相关软件: 杆;泰勒;国际实验室… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
RealPaver公司 51篇文献引用(2003–2017) 软件作者: 劳伦特·格兰维尔(Laurent Granvilliers) 相关软件: 数字;进入PT_90;监狱… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
ACRITH-XSC公司 48篇文献引用(1985–2019) 软件作者: 沃尔夫冈·沃尔特。 相关软件: C-XSC;C-XSC 2.0;PASCAL-XSC… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
MPFI公司 47篇文献引用(1979年-2023年) 软件作者: Nathalie Revol;法布里斯·鲁利耶 相关软件: MPFR;C-XSC 2.0;隔离… 主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
CORA公司 在35份文件中引用(2016–2023) 软件作者: 马蒂亚斯·阿尔霍夫(Matthias Althoff)、尼古拉斯·科奇杜姆普(Niklas Kochdumper) 相关软件: 流量*;SpaceEx;C2e2… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
INTBIS公司 31份文件引用(1990–2018) 软件作者: Kearfott,R.Baker;曼努埃尔三世诺沃亚 相关软件: INTLIB;IbexOpt;数值… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
基准 28篇文献引用(2005–2023) 软件作者: 斯特凡·拉特肖恩(Stefan Ratschan);她,志坤 相关软件: RSOLVER公司;HSolver;高科技… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…
国际图书馆 28篇文献引用(1992–2018) 软件作者: Kearfott,R.B。;达旺德,M。;胡,C。 相关软件: 剖面/偏差;国际实验室;C-XSC… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);经典热力学,传热(80-XX)…
RAMAS风险计算 19份文件引用(2003–2023) 软件作者: 弗森S。 相关软件: 挪威国家石油公司;概率界限分析.jl;达科塔… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
立方厘米(FD) 18篇文献引用(1998–2022) 软件作者: 范·亨特利克(Van Hentenryck),帕斯卡(Pascal);维杰·萨拉斯瓦特;伊夫·迪维尔 相关软件: CPLEX;彗星;Choco… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
瓦伦西亚 19份文件引用(2008–2020) 软件作者: A.劳赫;霍弗,E.P。;E.奥尔。 相关软件: 缬氨酸IVP;舒适的;FADBAD++… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
Boost Interval算术 18篇文献引用(2005–2023) 软件作者: 埃尔维·布伦尼曼;梅尔金德(Melquiond)、纪尧姆(Guillaume);西尔万·皮昂 相关软件: 促进;libMC;filib++… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
监狱 14篇文献引用(2004–2023) 软件作者: F.古拉德。 相关软件: 剖面/偏差;filib++;INTLAB… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
IBEX公司 14篇文献引用(2009–2023) 软件作者: 查伯特,G;约旦尼宁 相关软件: 丝状体++;数字;个人资料/偏见… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
虚拟专用接口 14篇文献引用(1993–2005) 软件作者: 杰弗里·伊利。 相关软件: Verilog;CADAC;C-XSC… 主要字段: 历史与传记(01-XX);复变量函数(30-XX);数值分析(65-XX)…
希克莫 13份文件引用(2016–2023) 软件作者: 尼尔·霍夫曼;一原、和弘;Masahide Kashiwagi;Hidetoshi Masai;小石、神道;秋藤忠雄(Takayasu,Akitoshi) 相关软件: SnapPy;SnapPea;GitHub… 主要字段: 代数拓扑(55-XX);歧管和细胞复合体(57-XX);整体分析,流形分析(58-XX)…
intpakX公司 12份文件引用(2003–2023) 软件作者: 沃尔特·克雷默 相关软件: 枫树;国际实验室;C-XSC 2.0… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);凸和离散几何(52-XX);数值分析(65-XX)…
变速驱动桥 12份文件引用(2009–2019) 软件作者: V.Härter;C.詹森;M.兰格 相关软件: 莫塞克;塞杜米;YALMIP… 主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
间隔_ARITHMETIC 9份文件引用(1996–2017) 软件作者: R.Baker Kearfott先生 相关软件: INTLIB;进入PT_90;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);统计学(62-XX)…
INTPAK公司 9份文件引用(1993–2006) 软件作者: 阿曼达·E·康奈尔。;罗伯特·M·科尔利斯(Robert M.Corless)。 相关软件: C-XSC 2.0;枫树;PNM… 主要字段: 积分方程(45-XX);数值分析(65-XX);计算机科学(68-XX)…
移动 9份文件引用(2001–2010) 软件作者: 叶卡捷琳娜·奥尔;安德烈斯·凯斯科梅西;Tändl,Martin;霍尔格·特雷钦斯基 相关软件: 剖面/偏差;智能手机;TADIFF… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…
FORTRAN-XSC公司 引用于8份文件(1993–2000) 软件作者: 沃尔特,W.V。 相关软件: PASCAL-XSC;C-XSC;ACRITH-XSC… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
ACETAF公司 7份文件引用(2003年至2019年) 软件作者: 埃布尔(Eble)、英戈(Ingo);马库斯·尼赫尔 相关软件: 进入PT_90;filib++;C-XSC 2.0… 主要字段: 复变量函数(30-XX);特殊功能(33-XX);常微分方程(34-XX)…
露营地 7份文件引用(2016–2023) 软件作者: Mioara Joldes公司;Jean-Michel Muller;瓦伦蒂娜·波佩斯库;沃里克塔克 相关软件: MPFR;LBNL;MPFI… 主要字段: 总体主题;藏品(00-XX);代数几何(14-XX);数值分析(65-XX)…
CoStLy公司 6篇文献引用(2004–2018) 软件作者: 马库斯·尼赫尔 相关软件: 国际实验室;C-XSC 2.0;filib++… 主要字段: 总体主题;藏品(00-XX);复变量函数(30-XX);动力系统和遍历理论(37-XX)…
GNU Fortran公司 7份文件引用(1999–2022) 软件作者: – 相关软件: GFortran;BLAS;SimpleScalar… 主要字段: 实函数(26-XX);偏微分方程(35-XX);数值分析(65-XX)…
表面动力学 7份文件引用(2020–2023) 软件作者: V.Delecroix、C.Fougeron、S.Lelievre 相关软件: SageMath公司 主要字段: 代数几何(14-XX);复变量函数(30-XX);几个复变量和分析空间(32-XX)…
xrc公司 7份文件引用(2004–2023) 软件作者: 凯斯·布里格斯 相关软件: 真实伦敦银行同业拆借利率;蟒蛇;iRRAM… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);数值分析(65-XX)…
b4米 6篇文献引用(2003–2013) 软件作者: 齐格弗里德·M·臀部。;奥拉夫·库佩尔(Olaf Knüppel);J.泽姆克 相关软件: 国际实验室;Matlab;mctoolbox… 主要字段: 动力系统与遍历理论(37-XX);一般拓扑(54-XX);数值分析(65-XX)…
区间算术.jl 5份文件引用(2019–2023) 软件作者: 桑德斯,D.P.,贝内特,L。 相关软件: 朱莉娅;github;概率界限分析.jl… 主要字段: 偏微分方程(35-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…
夏洛克 6篇文献引用(2019–2022) 软件作者: Souradeep杜塔;陈欣;Jha,Susmit;桑卡拉纳拉亚南,斯里拉姆;阿什什·蒂瓦里 相关软件: NNV;Reluplex;CORA… 主要字段: 代数几何(14-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
coco_gop_ex公司 5份文件引用(2014–2021) 软件作者: 马科特,米哈利·萨巴;赫尔曼·施奇尔 相关软件: 椰子;男爵;QuadProgBB… 主要字段: 运筹学,数学编程(90-XX)
KS1侧面一个样品 3份文件引用(2016–2023) 软件作者: J.Randall Brown、Milton E.Harvey 相关软件: 精确KS2SidedOneSample;k.c;数学… 主要字段: 统计学(62-XX)
顶部Deg 5份文件引用(2015–2023) 软件作者: 彼得·弗兰内克(Peter Franek)、斯特凡·拉思坎(Stefan Ratschan)、托马斯·泽特库里克(Tomas Dzetkulic) 相关软件: HIBA_USNE;丝状体++;进入PT_90… 主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);数值分析(65-XX)…
CADAC公司 4份文件引用(1983年至2017年) 软件作者: 马蒂·科恩(Marty S.Cohen)。;船体,T.E。;V.Carl哈马赫 相关软件: VPI;C-XSC;decNumber… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
精确KS2SidedOneSample 3份文件引用(2016–2023) 软件作者: J.Brown;米尔顿·哈维 相关软件: KS1 SidedOne样品;k.c;设置测试… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)
摩尔 3份文件引用(2019–2023) 软件作者: 沃尔特·马斯卡伦哈斯 相关软件: filib++;JInterval;C-XSC 2.0… 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…
验证数字.jl 4份文件引用(2019–2023) 软件作者: Benet,L.、Sanders,D.P。 相关软件: github;摩尔;倍频程… 主要字段: 功能分析(46-XX);算子理论(47-XX);数值分析(65-XX)…
DSI工具箱 引用于2份文件(2012–2013) 软件作者: 奥尔·E、路德·W、雷伯纳·G、林堡·P 相关软件: Matlab;国际实验室;symrcm… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX)
浮点转换 引用于2份文件(2013–2018) 软件作者: 马尔戈扎塔·扬科夫斯卡 相关软件: COMSOL公司 主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)
InC公司++ 3份文件引用(2002–2017) 软件作者: Hyvönen,E.,De Pascale,S。 相关软件: 进入PT_90;JGloptLab;UniCalc… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
积分求解器 3份文件引用(2013–2018) 软件作者: 蒂亚戈·蒙塔赫 相关软件: Flyspeck;Matlab;PASCAL-XSC… 主要字段: 数论(11-XX);近似和展开(41-XX);数值分析(65-XX)…
倍频程间隔 3份文件引用(2018–2023) 软件作者: 奥利弗·海姆利希 相关软件: 国际实验室;摩尔;ValidatedNumerics.jl… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)
PolyPaver公司 3份文件引用(2014–2018) 软件作者: 米查尔·科内奇、扬·杜拉茨 相关软件: CkAnalytic;泰勒;大写… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)
RangeLab公司 3份文件引用(2018–2021) 软件作者: 马特尔,M。 相关软件: PRECiSA公司;促进;Boost Interval算术… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
Ada的区间算法 引用于2份文件(2003) 软件作者: 德米特里·A·哈萨克夫 相关软件: Ada的模糊集;RAMAS风险计算;挪威国家石油公司 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
山姆 引用于2份文件(2011–2020) 软件作者: 斯特夫·格雷亚特;法比安·杰泽奎尔;王世岳;朱玉祥 相关软件: CADNA;算法524;mctoolbox… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
FI_LIB(流动注射) 1份文件引用(2005) 软件作者: W.Hofschuster,W.Krämer 相关软件: filib++;剖面/偏差;C-XSC 2.0… 主要字段: 数值分析(65-XX);运筹学,数学编程(90-XX)
FP泰勒 1份文件引用(2022) 软件作者: 阿列克谢·索洛维耶夫;马雷克·巴拉诺夫斯基。;布里格斯·伊恩;查尔斯·雅各布森;拉库马里奇,兹沃尼米尔;加内什·戈帕拉克里什南 相关软件: dReal;HOL灯;QEPCAD… 主要字段: 计算机科学(68-XX)
科迪亚克 1份文件引用(2021) 软件作者: 马可·费利乌(Marco A.Feliu);Aaron M.Dutle;塞萨尔·穆尼奥斯(Cesar A.Munoz);等。 相关软件: ReachNN;Kaa;Sapo… 主要字段: 计算机科学(68-XX)
MNP模糊 1份文件引用(2012) 软件作者: 安东尼奥·卡洛斯(Antonio Carlos)桑帕约·菲略(Sampaio Filho);马利·维尔拉斯科(Marley Vellasco);里卡多·坦谢特 相关软件: 擅长 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
皮科索 1份文件引用(2012) 软件作者: Kalinnik,N.、Schubert,T.、Al brahám,E.、Wimmer,R.、Becker,B。 相关软件: MiniSat;SATO;玲玲… 主要字段: 运筹学,数学编程(90-XX)
pyIbex公司 1份文件引用(2021) 软件作者: L.Jaulin、F.Le Bars、C.Aubry、V.Drevelle、S.Rohou、T.Le Mezo 相关软件: Tubex;github;间隔算术.jl… 主要字段: 变异微积分和最优控制;优化(49-XX);系统论;控制(93-XX)
PyInterval(Py间隔) 1份文件引用(2020) 软件作者: 斯特凡诺·塔奇尼 相关软件: Matlab;C2e2;GitHub… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)
不稳定的歧管CompactMap 1份文件引用(2017) 软件作者: Mireles-James,J.D。 相关软件: 国际实验室;Matlab公司 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)