CAPD（机顶盒） 78篇文献引用(2005–2023) 软件作者： Grzegorz Jablonski；Kapela，T.、Mrozek，M.、Pilarczyk，P.、Wilczak，D.、Zgliczynski，P。 相关软件： 杆；泰勒；国际实验室… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
盖勒普 16篇文献引用(2016–2023) 软件作者： 马西奥·加梅罗；Jean-Philippe Lessard；亚历山德罗·普格利泽 相关软件： 国际实验室；MATCONT；Matlab… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
Ck分析 14篇文献引用(2017–2024) 软件作者： Jean-Philippe Lessard；J.D.米雷斯·詹姆斯。 相关软件： 国际实验室；泰勒；galepu… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
RedHom公司 13份文件引用（2012年至2022年） 软件作者： Juda，Mateusz；玛丽安·姆罗泽克 相关软件： 间隙；CHomP；大写… 主要字段： 凸和离散几何（52-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
间隔算术.jl 5份文件引用(2019–2023) 软件作者： 桑德斯，D.P.，贝内特，L。 相关软件： 朱莉娅；github；Tubex… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
验证数字.jl 4份文件引用(2019–2023) 软件作者： Benet，L.、Sanders，D.P。 相关软件： github；C-XSC 2.0；摩尔… 主要字段： 功能分析（46-XX）；算子理论（47-XX）；数值分析（65-XX）…
DPCM公司 3份文件引用(2021–2023) 软件作者： 马克西姆·布列登；Chainais-Hillairet，Claire；安托万·苏雷克 相关软件： 盖勒普；国际实验室；github 主要字段： 一般性和全局性主题；藏品（00-XX）；偏微分方程（35-XX）；算子理论（47-XX）…