TR-BDF2型 44篇文献引用(1996–2024) 软件作者： 何西阿，M.E。；沙姆平，L.F。 相关软件： 罗德斯；Matlab；MATLAB ODE套件… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
时间 24篇文献引用(2002–2022) 软件作者： H.Carli、L.G.S.Duarte、L.A.C.P.da Mota 相关软件： Uppaal；LinMapTS；枫树… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；计算机科学（68-XX）…
洛拉 23篇文献引用(2009–2023) 软件作者： D’Angelo，B。；等。 相关软件： 拖把；蒙保利；Java-MOP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）
税收 在15份文件中引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；系统理论；控制（93-XX）
部队NLP 引用于9份文件(2018–2023) 软件作者： 扎内利，A。；Domahidi，A。；赫雷斯，J。；莫拉里，M。 相关软件： 学院；qpOASES；GRAMPC… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
微型操作系统 6篇文献引用(2008–2019) 软件作者： 安德鲁·道尔顿（Andrew R.Dalton）。；Sally K.Wahba。；斯拉文西·丹达穆迪；杰森·霍尔斯特罗姆。 相关软件： FDR3；ProB；AUTOSAR… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
夏洛克 6篇文献引用(2019–2022) 软件作者： Souradeep杜塔；陈欣；Jha，Susmit；桑卡拉纳拉亚南，斯里拉姆；阿什什·蒂瓦里 相关软件： ReachNN；NNV；重新连接… 主要字段： 代数几何（14-XX）；凸几何和离散几何（52-XX）；计算机科学（68-XX）…
C-HEAP（C-堆） 3份文件引用(2002–2006) 软件作者： 安德烈·尼乌兰；杰弗里·康（Jeffrey Kang）；Om Prakash Gangwal；拉马纳桑塞图拉曼；娜塔利诺·巴萨；古森、基斯；拉斐尔·佩塞特·洛皮斯；保罗·利彭斯 相关软件： – 主要字段： 计算机科学（68-XX）
沙漠沙漠 在0个文档中引用 软件作者： Eames，Brandon K。；尼玛，Sandeep K。；罗希特·萨拉斯瓦特 相关软件： 禁忌搜索；SICStus公司；FaMa… 主要字段： 计算机科学（68-XX）