PolyBoRi公司 50篇文献引用(2008–2023) 软件作者： 亚历山大·德雷耶（Alexander Dreyer）；迈克尔·布里肯斯坦 相关软件： 单一；SageMath；岩浆… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；交换代数（13-XX）…