CERES公司 21篇文献引用(2005–2021) 软件作者： Tsvetan Dunchev；亚历山大·莱奇（Alexander Leitsch）；托默·利巴尔（Tomer Libal）；丹尼尔·韦勒（Daniel Weller）；布鲁诺沃尔岑洛格尔古 相关软件： GAPT；校对工具；梅斯4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）