皮科拉 16篇文献引用(1999–2017) 软件作者: 弗兰茨·阿赫尔曼(Franz Achermann);马库斯·隆佩;施耐德,Jean-Guy;奥斯卡·尼尔斯特拉斯 相关软件: 里奥;琳达;图片… 主要字段: 计算机科学(68-XX)
模糊的 引用于7份文件(1985–2017) 软件作者: 托马斯·莱曼;雅克·勒克斯 相关软件: Nuprl;LCF;曼蒂萨… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);动力系统和遍历理论(37-XX)…