ETPS公司 163篇文献引用(1986–2024) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
威德加牌手表 13份文件引用(2003–2022) 软件作者： 奥斯内尔·布罗奇·克里斯托（Osnel Broche Cristo）、阿伦·赫尔曼（Allen Herman）、亚历山大·科诺瓦洛夫（Alexander Konovalov 相关软件： 间隙；PARI/GP；一致性… 主要字段： 数论（11-XX）；代数几何（14-XX）；结合环与代数（16-XX）…