自动图形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)…
vgit公司 4份文件引用(2018–2019) 软件作者: 帕特里西奥·加拉多;Martinez-Garcia,耶稣 相关软件: GITquintic曲面 主要字段: 代数几何(14-XX);几个复变量和分析空间(32-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)
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)
TELPACK公司 引用于2份文件(2003–2006) 软件作者: 北卡罗来纳州阿卡尔。;北卡罗来纳州奥古兹。;Sohraby,K。 相关软件: SPNP;SPN2MGM;MGM工具… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
谎言分析 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)
SO旋转 1份文件引用(2016) 软件作者: 卡多佐,努诺;艾曼纽尔·科斯塔(Emmanuel-Costa,David);努诺Gonçalves;西蒙斯,C。 相关软件: 表格;克莱戈;苏西诺 主要字段: 拓扑群,李群(22-XX);数值分析(65-XX);计算机科学(68-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)