可可 680份文件引用(1989–2024) 软件作者: CoCoa-Team;洛伦佐·罗比亚诺 相关软件: 麦考利2;单一;CoCoALib… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
Qhull公司 332份文件引用(1996–2024) 软件作者: C.Bradford Barber、Hannu Huhdanpaa 相关软件: Matlab;CGAL;三角形… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
NBI公司 237篇文献引用(1998–2024) 软件作者: 达斯(Das),因德雷尼尔(Indraneel);J.E.丹尼斯。 相关软件: MOEA/D;SPEA2;HypE… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
第3264册示例 158份文件引用(2015–2024) 软件作者: 查利·克里斯曼;戴维·艾森巴德(David Eisenbud);乔·哈里斯 相关软件: 麦考利2;github;同伦连续… 主要字段: 交换代数(13-XX);代数几何(14-XX);动力系统和遍历理论(37-XX)…
图形库 140篇文献引用(1993年-2023年) 软件作者: 唐纳德·科努特(Donald E.Knuth)。 相关软件: LOLIB;LEDA;Pajek数据集… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
SCS公司 80篇文献引用(2016–2023) 软件作者: B.O’Donoghue、E.Chu、N.Parikh、S.Boyd 相关软件: 莫塞克;github;CVXPY… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
PolyLib公司 46篇文献引用(1996–2019) 软件作者: Loechner,V。;多兰·王尔德。 相关软件: 应用程序;高科技;拿铁… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
Calabi-Yau数据库 42篇文献引用(2015–2023) 软件作者: 奥特曼,罗斯;詹姆斯·格雷(James Gray);何阳辉;毗湿奴耶贾拉;布伦特·D·纳尔逊。 相关软件: cohomCalg;PALP;SageMath… 主要字段: 代数几何(14-XX);几个复变量与解析空间(32-XX);微分几何(53-XX)…
马蒂斯 34份文件引用(2007–2022) 软件作者: 安托万·吉拉德;乔治·帕帕斯。 相关软件: 高科技;PHAVer;SpaceEx… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
D-ADMM公司 30篇文献引用(2013年-2023年) 软件作者: Mota,Joáo F.C。;Joáo M.F.Xavier。;Pedro M.Q.Aguiar。;马库斯·普舍尔 相关软件: AIDE;UCI-ml;传奇… 主要字段: 算子理论(47-XX);统计学(62-XX);计算机科学(68-XX)…
Q-变形 26篇文献引用(1999–2021) 软件作者: S.J.欧文。;斯塔顿,M.L。;Canann,S.A.公司。;塞加尔,S。 相关软件: 三角形;H-形态;QuadCover… 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);变形固体力学(74-XX)…
舒伯特 27篇文献引用(1993–2014) 软件作者: S.Katz;S.A.斯特罗姆 相关软件: 枫树;单一;cohomCalg… 主要字段: 代数几何(14-XX);几个复变量与解析空间(32-XX);动力系统和遍历理论(37-XX)…
simpcomp公司 24篇文献引用(2010–2023) 软件作者: 费利克斯·埃芬伯格(Felix Effenberger)、乔纳森·斯普雷尔(Jonathan Spreer) 相关软件: 间隙;多品牌;麦考利2… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);代数拓扑(55-XX)…
隔离 25篇文献引用(2005–2023) 软件作者: 塞德尔,雷蒙德;尼古拉·沃尔珀特 相关软件: 隔离;枫树;阿克塞尔… 主要字段: 交换代数(13-XX);代数几何(14-XX);数值分析(65-XX)…
阿克塞尔 23篇文献引用(2005–2023) 软件作者: 朱利安·温茨;伯纳德·穆兰;阿纳伊斯·杜科夫;梅里亚德格·佩里内尔;Angelos Mantzaflaris公司 相关软件: 隔离;单一;SYNAPS… 主要字段: 组合数学(05-XX);代数几何(14-XX);流形和细胞复合体(57-XX)…
美味的 22篇文献引用(2011–2023) 软件作者: Henecka,W.、Kögl,S.、Sadeghi,A.-R.、Schneider,T.、Wehrenberg,I。 相关软件: ABY;VMCrypt;FairplayMP… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
全球运输系统 引用于20份文件(2000–2019) 软件作者: 波皮内特;T.琼斯 相关软件: CGAL;道芬;FEniCS… 主要字段: 代数拓扑(55-XX);数值分析(65-XX);计算机科学(68-XX)…
帕尔莫诺利思 引用于20份文件(2016–2023) 软件作者: 克劳斯,R。;祖莲(P.Zulian)。 相关软件: 乌托邦;libMesh;PETSc… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
CICY商 16篇文献引用(2016–2021) 软件作者: 安德烈·康斯坦丁、詹姆斯·格雷、安德烈·卢卡斯 相关软件: Calabi-Yau数据库;单一;间隙… 主要字段: 代数几何(14-XX);几个复变量与解析空间(32-XX);微分几何(53-XX)…
备用BSOS 16篇文献引用(2018–2022) 软件作者: Tillmann Weisser;Jean B.Lasserre。;杜金川 相关软件: GloptiPoly;无斑点;SeDuMi… 主要字段: 代数几何(14-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
admcycles(管理周期) 15篇文献引用(2019–2024) 软件作者: 文森特·德莱克索瓦(Vincent Delecroix)、约翰·施密特(Johannes Schmitt)、杰森·范泽尔姆(Jason van Zelm) 相关软件: SageMath;分化;CoCalc… 主要字段: 组合数学(05-XX);代数几何(14-XX);复变量函数(30-XX)…
极为复杂的 16篇文献引用(2005–2023) 软件作者: 我·贝尔梅乔,我·加西亚·马尔科 相关软件: 单一;cimonom;数字gps… 主要字段: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)…
常规集合 16篇文献引用(2011–2018) 软件作者: 亚历山大·克劳斯;托比亚斯·尼普科 相关软件: Isabelle/HOL;Coq;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
蒂布隆 15篇文献引用(2006–2021) 软件作者: 乔纳森·梅;凯文·奈特 相关软件: 宾夕法尼亚树银行;OpenFst;MONA… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)
皮子弹 10篇文献引用(2020–2023) 软件作者: 埃尔文·库曼斯;白云飞 相关软件: OpenAI健身房;稳定基线;PyTorch… 主要字段: 动力系统与遍历理论(37-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
intpakX公司 12份文件引用(2003–2023) 软件作者: 沃尔特·克雷默 相关软件: 枫树;国际实验室;C-XSC 2.0… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);凸和离散几何(52-XX);数值分析(65-XX)…
SDLS系统 10篇文献引用(2010–2023) 软件作者: Didier Henrion、Jéróme Malick 相关软件: 塞杜米;SDPT3;SDPLR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);凸和离散几何(52-XX)…
精炼网 8份文件引用(2018–2022) 软件作者: 林国胜、安东·米兰、沈春华、伊恩·里德 相关软件: 深度实验室;U-Net;SegNet… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)
CsegGraph(CsegGraph) 8份文件引用(2008–2022) 软件作者: 沙哈达特·侯赛因 相关软件: DSJM;IML++;迷你锌… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
FiOrdOs公司 8份文件引用(2015–2022) 软件作者: F.Ullmann、S.Richter 相关软件: CVXGEN;qpOASES;fast_mpc… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
压裂混凝土 4份文件引用(2019年至2021年) 软件作者: 安德烈·福诺;Ngo,Tri-Dat;Noetinger,Benoit;克里斯蒂安·拉博德里 相关软件: dfn工程;Gmsh;DuMuX… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
奥尔加.lib 7份文件引用(2017–2023) 软件作者: 约翰·霍夫曼,维克托·列万多夫斯基 相关软件: 单一;复数;JAS… 主要字段: 交换代数(13-XX);结合环与代数(16-XX);偏微分方程(35-XX)…
ParanjapeRamanan问题.m2 8份文件引用(2000–2022) 软件作者: 弗里德里希·尤森(Friedrich Eusen);弗兰克·奥拉夫·施雷耶 相关软件: Koszul分区图14M8;麦考利2;相对标准分辨率 主要字段: 交换代数(13-XX);代数几何(14-XX);整体分析,歧管分析(58-XX)
舒伯特2 7份文件引用(2015–2022) 软件作者: 丹尼尔·格雷森(Daniel R.Grayson)、迈克尔·斯蒂尔曼(Michael E.Stillman)、斯坦·斯特罗姆(Stein A.Strömme)、大卫·艾森巴德(David Eisenbud)、查理·克里斯曼(Charley Crissman) 相关软件: 麦考利2;3264册示例;GitHub… 主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)…
购物车3D 6篇文献引用(2006–2022) 软件作者: M.Aftosmis、M.Berger、J.Melton、S.Murman 相关软件: 格里斯;HE-E1GODF;EGADSite… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
提升 5份文件引用(2018–2021) 软件作者: 李嘉图(Ricardo Fukasawa);劳伦·波里耶(Laurent Poirier);阿林森·S·泽维尔。 相关软件: MIPLIB公司;MIPLIB2003;onerow… 主要字段: 运筹学、数学规划(90-XX)
圣乔治 7份文件引用(2018–2023) 软件作者: 贾诺什·维达利 相关软件: SageMath;数学;GLPK… 主要字段: 组合数学(05-XX);数论(11-XX);结合环与代数(16-XX)…
SegreClasses公司 7份文件引用(2020年至2024年) 软件作者: 马丁·赫尔默;科里·哈里斯 相关软件: 麦考利2;贝尔蒂尼;FMP交会理论… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…
AABB公司 6篇文献引用(2015–2023) 软件作者: Alliez,P。;Tayeb,S。;C·沃姆瑟。 相关软件: CGAL;交易.ii;FDL3DI… 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…
clrbound公司 6篇文献引用(2017–2023) 软件作者: 切尔诺朱科夫,V。;Kim,W。;Lee,S。;A.M.罗森 相关软件: Stata公司;bpbounds;四分体 主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)
有限自动机HF 6篇文献引用(2015–2020) 软件作者: 劳伦斯·保尔森 相关软件: 遗传有限集;Coq;Coq/SS反射… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
钠25 6篇文献引用(2006–2018) 软件作者: 达里奥·比尼(Dario A.Bini)。;安娜·马可 相关软件: mctoolbox;rootsb;MultRoot… 主要字段: 交换代数(13-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
快船 4份文件引用(2014–2022) 软件作者: A.约翰逊 相关软件: Matlab;Veamy;Delynoi… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
二维正则布尔集合运算 5份文件引用(2007–2022) 软件作者: Fogel,E.,Wein,R.,Zukerman,B.,Halperin,D。 相关软件: CGAL;二维布置;2D Minkowski总和… 主要字段: 凸和离散几何(52-XX);一般拓扑(54-XX);数值分析(65-XX)…
分化层 5份文件引用(2021–2023) 软件作者: 马泰奥·科斯坦蒂尼;马丁·莫勒;乔纳森·扎丘伯 相关软件: 广告周期;SageMath;CoCalc… 主要字段: 代数几何(14-XX);复变量函数(30-XX);特殊功能(33-XX)…
EVALPSN公司 5份文件引用(2003–2020) 软件作者: 中松(Kazumi Nakamatsu);森野、东崎;亚伯、杰尔·米诺罗;铃木、铃木 相关软件: 图论;枫树 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
SEGRE公司 5份文件引用(2003–2019) 软件作者: R.阿基里斯;D.阿利菲 相关软件: CALI;FMP交会理论;特征类… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)
阿克塞尔 4份文件引用(2018–2021) 软件作者: 埃马努伊尔·克里斯托福;Angelos Mantzaflaris公司;伯纳德·穆兰(Bernard Mourrain);朱利安·温茨 相关软件: 沃罗诺伊;朱莉娅;G+Smo… 主要字段: 总体主题;藏品(00-XX);代数几何(14-XX);数值分析(65-XX)…
OpenNWA公司 3份文件引用(2015–2021) 软件作者: 埃文·德里斯科尔(Evan Driscoll);Aditya Thakur;托马斯代表 相关软件: VPAlib;github;Java-MOP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
OptiX公司 3份文件引用(2014–2023) 软件作者: NVIDIA公司;Steven G.Parker、James Bigler、Andreas Dietrich、Heiko Friedrich、Jared Hoberock、David Luebke、David Mcallister、Morgan Mcguire、Keith Morley、Austin Robinson、Martin Stich 相关软件: SudoDEM;Blaze-DEMGPU;曝光渲染… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
SIAS矿工 4份文件引用(2020–2023) 软件作者: Bendimerad,Anes;艾哈迈德·梅尔;Jefrey,Lijffijt;Marc Plantevit;Céline Robardet;蒂杰·德·比尔 相关软件: COOMA公司;gSpan;图形范围 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)
cimonom公司 3份文件引用(2007–2015) 软件作者: Bermejo,I.、García-Marco,I.、Salazar González,J.J。 相关软件: 复杂;单一;麦考利2… 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…
费雷特 3份文件引用(2019年-2023年) 软件作者: 克里斯托弗·杰斐逊 相关软件: 间隙;图像;nauty… 主要字段: 群论与推广(20-XX);实函数(26-XX);计算机科学(68-XX)
HelSweeper公司 引用于2份文件(2014–2023) 软件作者: Jarek Rossignac、Jay J.Kim 相关软件: K球体 主要字段: 数值分析(65-XX);计算机科学(68-XX)
JAX-流体 3份文件引用(2023) 软件作者: Deniz A.Bezgin。;Buhendwa,Aaron B。;尼古拉斯·A·亚当斯。 相关软件: HE-E1GODF;JAX;稳定基线3… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
光速 3份文件引用(2011–2022) 软件作者: T.明卡 相关软件: 量子浓缩咖啡;晶体;CheFSI… 主要字段: 数值分析(65-XX);量子理论(81-XX);生物学和其他自然科学(92-XX)…
L球体 引用于2份文件(2020–2021) 软件作者: 沃尔夫冈·埃尔布 相关软件: Matlab;RDisk;LD3Ditp… 主要字段: 近似和展开(41-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)
利亚普诺夫FunDR 3份文件引用(2018–2022) 软件作者: 吉拉迪,奥哈德;吕弗,比约恩·S。 相关软件: github;SageMath公司 主要字段: 动力系统与遍历理论(37-XX);算子理论(47-XX);数值分析(65-XX)…
MoVES公司 3份文件引用(2008–2019) 软件作者: 卢西亚诺·博诺尼;Marco Di Felice;加布里埃尔·D’Angelo;米歇尔·布拉库托;洛伦佐·多纳蒂耶洛 相关软件: 使徒;Python PDEVS;GridSpice… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
旧多面体 引用于2份文件(1995–2009) 软件作者: 勒内·伯克纳 相关软件: 格多面体;多面体;麦考利2… 主要字段: 组合数学(05-XX);代数几何(14-XX);凸和离散几何(52-XX)
奥诺 引用于2份文件(2018年至2019年) 软件作者: 李嘉图(Ricardo Fukasawa);劳伦·波里耶(Laurent Poirier);阿林森·S·泽维尔。 相关软件: 举起;MIPLIB公司;无限群松弛… 主要字段: 运筹学、数学规划(90-XX)
初级分解 3份文件引用(2023–2024) 软件作者: Mike Stillman;卡罗琳·雅克尔(Carolyn Yackel);陈,贾斯汀;马赫鲁德·赛拉菲 相关软件: 麦考利2;克雷莫纳;积分闭包… 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…
表面签名.lib 3份文件引用(1978–2012) 软件作者: 格哈德·普菲斯特;穆罕默德·阿赫桑·班亚明(Muhammad Ahsan Banyamin);斯特凡·斯特德尔 相关软件: 单一 主要字段: 代数几何(14-XX);几个复变量与解析空间(32-XX);计算机科学(68-XX)
VennMaster公司 引用于2份文件(2010–2011) 软件作者: Kestler,H。;穆勒,A。;Kraus,J.M。;Buchholz,M。;T.M.格雷斯。;刘,H。;凯恩,D。;Zeeberg,B。 相关软件: 维恩图;生物导体 主要字段: 数值分析(65-XX);计算机科学(68-XX)
体积 3份文件引用(2015–2018) 软件作者: 考辛斯,B.,温帕拉,S。 相关软件: Matlab;VolEsti;图 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…
汽车制造商 引用于2份文件(2019年至2021年) 软件作者: 陈其昌、吴洪春、曹良芝 相关软件: GeN-Foam;ANSYS-CFX;ntkfoam… 主要字段: 偏微分方程(35-XX);积分方程(45-XX);数值分析(65-XX)…
CIPFAR公司 引用于2份文件(2021–2023) 软件作者: 埃尔大山,哈泽姆;阿尔维斯,何塞;布沙尔,皮埃尔·奥利维尔;艾蒂安·珀沙特;丹尼尔·皮诺(Daniel Pino Munoz) 相关软件: ABAQUS;PETSc公司 主要字段: 可变形固体力学(74-XX)
ColDICE公司 引用于2份文件(2016–2018) 软件作者: 蒂埃里·索斯比;圣埃芬·科伦比 相关软件: PKDGRAV3;NBODY6;GMWB3D-SLC… 主要字段: 积分方程(45-XX);数值分析(65-XX);流体力学(76-XX)…
C划船 1份文件引用(2022) 软件作者: Daniel Lemire、Owen Kaser、Nathan Kurz、Luca Deri、Chris O'Hara、François Saint-Jacques、Gregory Ssi Yan Kai 相关软件: 多品牌;Normaliz公司 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
福里尔·莫茨金 引用于2份文件(1995–2015) 软件作者: 格雷戈里·史密斯 相关软件: 旧多面体;格多面体 主要字段: 组合数学(05-XX);非结合环与代数(17-XX);凸和离散几何(52-XX)…
FSInteract公司 引用于2份文件(2014–2020) 软件作者: Hyun Jik Kim,Rajen D.Shah 相关软件: 亚当;沃罗诺伊;XGBoost… 主要字段: 统计学(62-XX);计算机科学(68-XX)
交叉点编号。米 引用于2份文件(2023) 软件作者: 帕特里克·杰斐逊;安德鲁·特纳(Andrew P.Turner)。 相关软件: 数学软件 主要字段: 代数几何(14-XX);计算机科学(68-XX);量子理论(81-XX)…
网格交点 引用于2份文件(2019年-2023年) 软件作者: de Magalháes,Salles Viana Gomes;弗兰克林·伦道夫(W.Randolph Franklin);安德拉德,马库斯·维尼希斯·阿尔维姆 相关软件: GTEngine发动机;github;SFCGAL… 主要字段: 历史与传记(01-XX);数值分析(65-XX)
MPLCP(MPLCP) 引用于2份文件(2020–2022) 软件作者: V.V.Chetlur、H.S.Dhillon、C.P.Dettmann。 相关软件: github 主要字段: 概率论与随机过程(60-XX);统计力学,物质结构(82-XX);信息与通信理论,电路(94-XX)
乘数理想尺寸2 引用于2份文件(2016–2017) 软件作者: 费兰·达赫斯·凯德福 相关软件: 麦考利2;单一 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)
NeatIBP公司 引用于2份文件(2023–2024) 软件作者: Z.Wu、J.Böhm、R.Ma、H.Xu、Y.Zhang 相关软件: FiniteFlow(完成流量);SpaSM;LiteRed… 主要字段: 数值分析(65-XX);量子理论(81-XX)
多唇 1份文件引用(2018) 软件作者: 安格斯·约翰逊、阿德里安·巴德利、布莱恩·里普利、库尔特·霍尼克 相关软件: R;阿尔法赫尔;SBL… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)