微分方程.jl 76篇文献引用(2018–2024) 软件作者： C.Rackauckas，Q.Nie 相关软件： NeuralPDE.jl；朱莉娅；GitHub… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
伊德里斯 40篇文献引用(2011–2023) 软件作者： 埃德温·布雷迪 相关软件： Coq；阿格达；Irdis… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
伊尔迪斯 26篇文献引用(2011–2023) 软件作者： – 相关软件： 伊德里斯；Coq；Agda… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
点调用64 在0个文档中引用 软件作者： 卡斯帕·莫辛格（Kaspar Moesinger）、弗洛里安·格伯（Florian Gerber）、莱因哈德·福勒（Reinhard Furrer） 相关软件： R；文章；ggplot2… 主要字段： –
cffi（cffi） 1份文件引用(2023) 软件作者： 阿明·里戈（Armin Rigo）、梅西耶·菲亚尔科夫斯基（Maciej Fijalkowski） 相关软件： CMasher；NuPropEarth；TauRunner… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）