克朗 191份文件引用(1995–2023) 软件作者: Michel Alexeline、Rachid Malti、Patrick Lanusse、Pierre Melchior、Alain Oustaloup 相关软件: 任天堂;DFOC;Matlab… 主要字段: 实函数(26-XX);常微分方程(34-XX);动力系统和遍历理论(37-XX)…
第一 10篇文献引用(2001–2018) 软件作者: 持有,M。 相关软件: Matlab;SegMatch;三角形… 主要字段: 近似和展开(41-XX);凸和离散几何(52-XX);数值分析(65-XX)…
CCEHC公司 9份文件引用(2017–2023) 软件作者: 罗、川、蔡、邵伟;苏凯乐;黄文轩 相关软件: CCLS;周六4j;QMaxSAT… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
LOTOSphere公司 6篇文献引用(2000年至2015年) 软件作者: T.Bolognesi、J.van de Lagemaat和C.Vissers 相关软件: LOTOS;并发工作台;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
莫氟龙 引用于2份文件(2006–2014) 软件作者: C.Amelunxen、A.Königs、T.Rötschke、A.Schürr 相关软件: MOFLON公司;进度;Fujaba… 主要字段: 计算机科学(68-XX)
安培桑(Ampersand) 6篇文献引用(2011年至2018年) 软件作者: 杰拉德·米歇尔斯(Gerard Michels);塞巴斯蒂安·乔斯顿;贾普·范德沃德;斯特夫·乔斯顿 相关软件: Z;RelView;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
E-NAUTILUS公司 4份文件引用(2015–2021) 软件作者: Ana B.Ruiz、Karthik Sindhya、Kaisa Miettinen、Francisco Ruiz和Mariano Luque 相关软件: MOEA/D;NBI;非凸Pareto导航器… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
DSI工具箱 引用于2份文件(2012–2013) 软件作者: 奥尔·E、路德·W、雷伯纳·G、林堡·P 相关软件: Matlab;国际实验室;symrcm… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX)
LibFinder(LibFinder) 在0个文档中引用 软件作者: Ali Ouni;劳拉·盖科维娜·库拉(Raula Gaikovina Kula);马鲁安·凯森蒂尼(Marouane Kessentini);Daniel M Germanán的Takashi Ishio;井上加寿 相关软件: LibRec;LibCUP;CrossRec… 主要字段: –
STEWord公司 引用于2份文件(2017–2020) 软件作者: 查克拉波蒂,苏普拉蒂克;苏拉布哈西达什维利;Carl-Johan H.Seger。;拉杰库马尔·加贾维利;坦马·霍尔丹卡尔(Tanmay Haldankar);恰塔尼(Chhatani)、迪内什(Dinesh);拉凯什·米斯特里 相关软件: MiniSat;ABC;数学SAT5… 主要字段: 计算机科学(68-XX)
重新绘制 在0个文档中引用 软件作者: Kevin Moran、Carlos Bernal-Cárdenas、Michael Curcio、Richard Bonett、Denys Poshyvanyk 相关软件: Bootstrap.js;Django;草图绘制… 主要字段: –