×

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

自动图形X

146篇文献引用(1999–2024)
软件作者: Gilles Caporossi公司
相关软件: 涂鸦;图形;nauty…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…

捕捉

30篇文献引用(1999年至2019年)
软件作者: 奥利弗·古德曼
相关软件: SnapPea;SnapPy;岩浆…
主要字段: \(K\)理论(19-XX);群论与推广(20-XX);微分几何(53-XX)…

双回路振幅

30篇文献引用(2015–2022)
软件作者: 雅各布·L·布尔贾利。;雅罗斯拉夫·特伦卡
相关软件: 正电子体;CutTools;黑帽子…
主要字段: 组合数学(05-XX);微分几何(53-XX);粒子和系统力学(70-XX)…

MatContM公司

25篇文献引用(2018–2023)
软件作者: 尤里·库兹涅佐夫(Yuri A.Kuznetsov)。;Hil G.E.Meijer。
相关软件: MatcotM;Matlab;MATCONT公司
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);差分和函数方程(39-XX)…

比盖布拉

22篇文献引用(1994–2023)
软件作者: 阿布·阿莫维奇,拉法;贝特弗里德·福泽
相关软件: 克利福德;枫树;客户…
主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX)…

可观察性测试

22篇文献引用(2001–2022)
软件作者: 亚历山大·塞多拉维奇
相关软件: COMBOS公司;雏菊;西安…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

拆分步骤资源管理器

21篇文献引用(2016–2023)
软件作者: C.Cedzich、F.A.Grünbaum、C.Stahl、L.Velázquez、A.H.Werner、R.F.Wernner
相关软件: 数学软件
主要字段: 偏微分方程(35-XX);算子理论(47-XX);概率论与随机过程(60-XX)…

庞加莱系列

15篇文献引用(2010–2023)
软件作者: Bedratyuk,L.P.公司。
相关软件: 麦考利2号;Normaliz;枫树…
主要字段: 交换代数(13-XX);代数几何(14-XX);非结合环与代数(17-XX)…

EFTofPNG公司

14篇文献引用(2019–2023)
软件作者: 米歇尔·列维(Michele Levi)、扬·斯坦霍夫(Jan Steinhoff)
相关软件: x法案;基拉;LiteRed…
主要字段: 拓扑群,李群(22-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

ABC4EFT公司

14篇文献引用(2012–2023)
软件作者: 李浩林;任哲;肖明磊;于江浩;郑宇辉
相关软件: Z;REPSN;目标@形状; …
主要字段: 数论(11-XX);代数几何(14-XX);偏微分方程(35-XX)…

悉尼商学院

13份文件引用(2014–2021)
软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克
相关软件: z3;vZ;OptiMathSAT…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…

DEFT公司

引用于8份文件(2019–2023)
软件作者: 本·格里帕奥斯(Ben Gripaios)、戴夫·萨瑟兰(Dave Sutherland)
相关软件: 基本发电机;匹配工具;CoDEx…
主要字段: 可变形固体力学(74-XX);量子理论(81-XX);相对论和引力理论(83-XX)

投影CAD

引用于8份文件(2014–2020)
软件作者: 英格兰,马修;戴维·威尔逊(David Wilson);拉塞尔·布拉德福德(Russell Bradford);詹姆斯·H·达文波特。
相关软件: 正则链;QEPCAD;MetiTarski…
主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);代数几何(14-XX)…

SmeftFR公司

3份文件引用(2019–2024)
软件作者: A.Dedes、M.Paraskevas、J.Rosiek、K.Suxho、L.Trifyllis
相关软件: SMEFTsim;DsixTools;威尔逊…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);粒子和系统力学(70-XX)…

INVAR公司

7份文件引用(1996–2008)
软件作者: G.坎佩尔
相关软件: 麦考利2号;间隙;Groebner…
主要字段: 交换代数(13-XX);群论与推广(20-XX);常微分方程(34-XX)…

猫科动物

6篇文献引用(1989–2005)
软件作者: R.G.Cowell;F.J.赖特
相关软件: 单一;麦考利2号;横向…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);整体分析,流形分析(58-XX)…

集团IP

5份文件引用(2020–2023)
软件作者: Upalaparna Banerjee、Joydep Chakrabortty、Suraj Prakash、Shakel Ur Rahaman
相关软件: 基本发电机;DEFT;FlavorKit…
主要字段: 粒子和系统力学(70-XX);可变形固体力学(74-XX);经典热力学,传热(80-XX)…

GIF测量绘制

5份文件引用(2020–2023)
软件作者: 达库尼亚(da Cunha),Rudnei D。;埃利斯马尔·奥利维拉(Elismar R.Oliveira)。;斯特罗宾,菲利普
相关软件:
主要字段: 实函数(26-XX);测量和集成(28-XX);动力系统和遍历理论(37-XX)…

皮弗罗贝尼乌斯

3份文件引用(2018–2019)
软件作者: 西奥·雷德谢尔德(Theo Raedschelders);Špenko,Špela;米歇尔·范登伯格
相关软件: 数学溢出
主要字段: 交换代数(13-XX);代数几何(14-XX);结合环与代数(16-XX)…

道尔顿

3份文件引用(2020–2023)
软件作者: 艾达斯,K。;Angeli,C。;Bak,K.L。;巴肯,V。;巴斯特·R。;波曼。;克里斯蒂安森,O。;等。
相关软件: DFT-FE;ABINIT公司;量子浓缩咖啡…
主要字段: 复变量函数(30-XX);统计学(62-XX);粒子和系统力学(70-XX)…

字段X

3份文件引用(2021–2022)
软件作者: 马库斯·弗罗布
相关软件: x法案;xPert;xTras…
主要字段: 量子理论(81-XX);相对论和引力理论(83-XX)

罗马

4份文件引用(2018–2022)
软件作者: 米海轮谷
相关软件:
主要字段: 系统论;控制(93-XX)

vgit公司

4份文件引用(2018–2019)
软件作者: 帕特里西奥·加拉多;Martinez-Garcia,耶稣
相关软件: GITquintic曲面
主要字段: 代数几何(14-XX);几个复变量和分析空间(32-XX)

弗兰肯比特

引用于2份文件(2017–2018)
软件作者: Gurfinkel,A.,Belov,A。
相关软件: CBMC;灌篮;AProVE…
主要字段: 计算机科学(68-XX)

GITquintic曲面

3份文件引用(2015–2019)
软件作者: 帕特里西奥·加拉多
相关软件: 麦考利2号;StatePolytope;SageMath…
主要字段: 代数几何(14-XX)

英迪夫

3份文件引用(2006–2012)
软件作者: 曼斯费尔德
相关软件: 正则链;MABSys公司;AIDA…
主要字段: 动力系统与遍历理论(37-XX);微分几何(53-XX);计算机科学(68-XX)…

LDSL-甲苯

3份文件引用(2004–2006)
软件作者: Mindaugas Radziunas;威斯康星州国际机场
相关软件: 失水事故;DDE-BIFTOOL;AUTO(自动)
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

ONEOptimal(最佳)

3份文件引用(2017–2023)
软件作者: 苗倩;胡晓瑞;陈勇
相关软件: 一个最优系统
主要字段: 拓扑群,李群(22-XX);实函数(26-XX);偏微分方程(35-XX)…

托迪夫

引用于2份文件(2006–2015)
软件作者: 弗洛里安·伯克托尔德;尤尔根·豪森;罗伯特·沃尔默特;马塞尔·维德曼
相关软件: 枫树;复曲面;ToricVarieties…
主要字段: 代数几何(14-XX)

鸬鹚

引用于2份文件(2020–2022)
软件作者: Brandon Anderson、Truong-Son Hy、Risi Kondor
相关软件: DScribe;github;DiffSharp…
主要字段: 概率论与随机过程(60-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)

GENOM3CK系列

引用于2份文件(2010–2013)
软件作者: 霍多罗格,Mădălina;约瑟夫·希乔
相关软件: 阿克塞尔;MultRoot;数学…
主要字段: 代数几何(14-XX);歧管和细胞复合体(57-XX);计算机科学(68-XX)

InvA公司

引用于2份文件(2014–2020)
软件作者: 卡米洛·罗查;何塞·梅塞盖尔
相关软件: 莫德;PKind;HyComp…
主要字段: 计算机科学(68-XX)

ncHilb公司

引用于2份文件(2017–2018)
软件作者: 罗伯托·斯卡拉(Roberto La Scala);Tiwari,Sharwan K。
相关软件: 信纸;枫树;奇异…
主要字段: 组合数学(05-XX);结合环与代数(16-XX)

ORACLS公司

引用于2份文件(1980–1985)
软件作者: 阿姆斯特朗(Ernest S.Armstrong)。
相关软件:
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);系统论;控制(93-XX)

每MuVAR

引用于2份文件(2000–2013)
软件作者: NM蒂埃里
相关软件: MuPAD;单一;岩浆…
主要字段: 组合数学(05-XX);交换代数(13-XX);计算机科学(68-XX)

TELPACK公司

引用于2份文件(2003–2006)
软件作者: 北卡罗来纳州阿卡尔。;北卡罗来纳州奥古兹。;Sohraby,K。
相关软件: SPNP;SPN2MGM;MGM工具…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

梳形车顶

1份文件引用(2015)
软件作者: 格拉夫(Graff,Grzegorz);佩韦·皮拉尔茨克
相关软件:
主要字段: 动力系统与遍历理论(37-XX);代数拓扑(55-XX)

计算GK

在0个文档中引用
软件作者: 李卓熙
相关软件: 数学软件
主要字段:

谎言分析

1份文件引用(2021)
软件作者: Martin,F.、Bekkers,E.、Duits,R。
相关软件: 纤维盒
主要字段: 偏微分方程(35-XX);微分几何(53-XX);计算机科学(68-XX)…

电机原理图

1份文件引用(2016)
软件作者: Mitul Saha、Michael Levitt、Wah Chiu
相关软件: 剂量;阿波罗;DBAli工具…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

网络安全策略验证

1份文件引用(2016)
软件作者: 迪克曼,C。
相关软件: 罗宾斯猜想;VAMPIRE公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SO旋转

1份文件引用(2016)
软件作者: 卡多佐,努诺;艾曼纽尔·科斯塔(Emmanuel-Costa,David);努诺Gonçalves;西蒙斯,C。
相关软件: 表格;克莱戈;苏西诺
主要字段: 拓扑群,李群(22-XX);数值分析(65-XX);计算机科学(68-XX)…

SpechtModule(透视模块)

1份文件引用(2023)
软件作者: 乔纳森·尼诺
相关软件: 象征力量;麦考利2
主要字段: 交换代数(13-XX);群论与推广(20-XX)

战略

1份文件引用(2006)
软件作者: 托马斯·拜耳
相关软件:
主要字段: 交换代数(13-XX);拓扑群,李群(22-XX)

TBPLaS公司

1份文件引用(2023)
软件作者: 李云海;詹、珍;匡雪恒;李永刚;袁胜军
相关软件: PythTB;pybinding;MathemaTB…
主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)

不稳定的歧管CompactMap

1份文件引用(2017)
软件作者: Mireles-James,J.D。
相关软件: 国际实验室;Matlab公司
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)

筛选结果依据…

全部的 前5名

相关软件