×

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

阿尔法认证

软件作者:乔纳森豪恩斯坦;弗兰克·索蒂尔
参考文献: 49种出版物(2011-2022)
相关软件: 贝尔蒂尼;PHC包装;麦考拉2;HOM4PS;数学几何;单数…
主要领域: 交换代数(13-XX);代数几何(14-XX);数值分析(65-XX)

拉特迪夫

软件作者:阿克塞尔·里斯;范霍伊,马克
参考文献: 28种出版物(1998-2021)
相关软件: 枫树;如;西格玛;SumTools公司;克泽尔;嵌套产品…
主要领域: 场论与多项式(12-XX);常微分方程组(34-XX);差分与函数方程(39-XX)

QSopt_前

软件作者:丹尼尔·埃斯皮诺萨、威廉·库克、桑吉布·达什、大卫·阿普盖特、凯蒂·沃尔特
参考文献: 25种出版物(2007-2020)
相关软件: QSopt精确;CPLEX公司;MIPLIB;SCIP;索普勒;gmp…
主要领域: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)

紫红色

软件作者:O。吉图利亚,V.马格里亚
参考文献: 18种出版物(2017-2022)
相关软件: ε;文学化;蓝铜矿;火灾;雷杜泽;火5…
主要领域: 数论(11-XX);量子理论(81-XX);统计力学,物质结构(82-XX)

IML-整数矩阵库

软件作者:Z。陈;A、 斯托约翰;科里·弗莱彻
参考文献: 16种出版物(2005-2021)
相关软件: 林克斯;皮利布;isl;4ti2;麦考拉2;gmp…
主要领域: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)

雷姆

软件作者:李志斌;刘银平
参考文献: 14种出版物(2004-2017)
相关软件: 拉思;枫树;P特殊解决方案;ATFM;麦克西马;吉纳克…
主要领域: 常微分方程组(34-XX);偏微分方程组(35-XX);数值分析(65-XX)

奥托蒂洛

软件作者:高盛,黛博拉;伊斯特拉尔,索林;兰西亚,朱塞佩;皮科博尼,安东尼奥;瓦伦兹,布莱恩
参考文献: 10种出版物(2000-2016)
相关软件:
主要领域: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)

SOS.m2公司

软件作者:佩尔,H。;帕里洛,P.A
参考文献: 8种出版物(2008-2018)
相关软件: 亚尔米普;沉香;宿便;麦考拉2;阿尔法认证;gloptpoly…
主要领域: 场论与多项式(12-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)

超常

软件作者:高蒂埃,布鲁诺
参考文献: 5种出版物(1999-2010)
相关软件: HYP公司;枫树;绿色荧光粉;SumTools公司;超几何体;望远镜…
主要领域: 一般性和全局性主题;收款(00-XX);组合数学(05-XX);数论(11-XX)

扩散工具

软件作者:C。韦克斯鲍默
参考文献: 4种出版物(2006-2019)
相关软件: 拉特迪夫;枫木
主要领域: 组合数学(05-XX);特殊功能(33-XX);差分与函数方程(39-XX)

伊莉丝

软件作者:迪特里希,沃尔克
参考文献: 3个出版物(1992-1999)
相关软件: 枫树;渴望
主要领域: 复变函数(30-XX);常微分方程组(34-XX);数值分析(65-XX)

超级

软件作者:佩特科夫斯克,M。
参考文献: 3种出版物(1992-2018)
相关软件: 鳄鱼;数学;里斯本
主要领域: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)

船尾锦葵树

软件作者:彼得·甘米;安德烈亚斯·洛赫比勒
参考文献: 3种出版物(2016-2017)
相关软件: 归档正式证据;伊莎贝尔/霍尔;举起;转让;奥米茄;霍尔…
主要领域: 范畴论;同调代数(18-XX);计算机科学(68-XX)

博德罗勒

软件作者:特里布切,菲利普;莫瑞恩,伯纳德;布塞罗,玛塔·阿布里尔
参考文献: 出版1期(2016年)
相关软件: Giac公司;Xcas公司;摩泽克;超级鲁;岩浆;拉帕克…
主要领域: 交换代数(13-XX);数值分析(65-XX);计算机科学(68-XX)

FLD编译器

软件作者:Maxime Jacquemin,Fonenatsoa Maurica,尼古拉·科斯马托夫,Julien Signoles,Franck Védrine
参考文献: 1次出版(2021年)
相关软件: FLD箱
主要领域: 计算机科学(68-XX)

科迪亚克

软件作者:马可·费利乌;亚伦·M·杜特尔;塞萨尔·穆诺兹;等等。
参考文献: 1次出版(2021年)
相关软件: 雷克恩;卡阿;萨波;github
主要领域: 计算机科学(68-XX)

最小实现

软件作者:阿杜科夫,V.M。;法迪瓦,A.S。
参考文献: 1本出版物(2014)
相关软件: 枫木
主要领域: 系统论;控制(93-XX)

伪线性系统

软件作者:巴卡图,穆莱;克鲁索,托马斯;艾尔哈吉,阿里
参考文献: 1次出版(2021年)
相关软件: 析因粪便;枫木
主要领域: 计算机科学(68-XX)

林吉特

软件作者:凡科利托夫斯基
参考文献: 出版1期(2019年)
相关软件:
主要领域: 信息与通信理论,电路(94-XX)