米扎尔 537份文件引用(1983–2024) 软件作者： Grzegorz Bancerek；茨瓦夫·拜林斯基；亚当·格拉博夫斯基（Adam Grabowski）；阿图尔·科尼洛维奇；罗伯特·米列夫斯基（Robert Milewski）；亚当·诺莫维奇；Andrzej Trybulec；约瑟夫·乌尔班 相关软件： Coq；Isabelle/HOL；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
多晶的 400篇文献引用(2000–2024) 软件作者： Ewgenij Gawrilow、Michael Joswig和polymake团队 相关软件： 麦考利2号；格凡；正常（amp；N）… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
gmp公司 299篇文献引用(1995–2024) 软件作者： 格兰伦德 相关软件： MPFR；NTL；PARI/GP… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
libexact数据库 23篇文献引用（2008年至2022年） 软件作者： P.Kaski和O.Pottonen 相关软件： 鹦鹉螺；帝国；痕迹… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；群论和推广（20-XX）…