双曲线图形生成器 7份文件引用(2015–2021) 软件作者: 罗德里戈阿尔德科阿;恰拉奥西尼;德米特里·克里奥科夫 相关软件: 网络工具包;网络;科内克… 主要字段: 组合数学(05-XX);一般拓扑(54-XX);统计学(62-XX)…
GAPPCO公司 5份文件引用(2017–2022) 软件作者: 迪特马尔·希尔登布兰德;西尔维娅·弗朗西尼;詹蒂莱,安东尼奥;乔治·瓦萨洛;维塔比尔,萨尔瓦多 相关软件: 加吉特;Numba;GAALOPWeb… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
SURFIELD公司 4份文件引用(1996–2011) 软件作者: 乌德里什特,C。;巴兰,V。;A.乌德里什特。 相关软件: —— 主要字段: 微分几何(53-XX);全局分析,流形分析(58-XX);光学、电磁理论(78-XX)…
ERAN公司 2份文件引用(2021–2022) 软件作者: 苏黎世ETH计算机科学部安全、可靠和智能系统实验室(SRI) 相关软件: Reluplex;github;LipBaB… 主要字段: 计算机科学(68-XX)
EASAL公司 1份文件引用(2018年) 软件作者: 艾塞古尔·奥兹坎(Aysegul Ozkan);拉胡尔·帕布;特洛伊·贝克;彭斯,詹姆斯;Jorg Peters;米拉·西塔拉姆 相关软件: —— 主要字段: 数值分析(65-XX)
KCLC公司 在0个文档中引用 软件作者: 加布里埃尔·斯托克代尔;西蒙·蒂贝蒂;丹妮拉·卡米莱蒂;Gessica Sferrazza Papa;Ahmad Basshofi Habieb;Elisa Bertolesi;加布里埃尔·米拉尼;西罗·卡索洛 相关软件: Matlab公司 主要字段: ——