罗伯特·索尔德纳;丰满，细节 双推出图变换中的机械化证明。 （英语） Zbl 07806734号 Heckel，Reiko（ed.）等人，第十三届图形计算模型国际研讨会论文集，GCM，法国南特，2022年7月6日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）37459-75（2022年）。MSC公司：68倍 2009年5月 PDF格式BibTeX公司 XML格式引用 \textit{R.Söldner}和\textit{D.Plump}，电子。程序。理论。计算。科学。（EPTCS）374，59--75（2022；Zbl 07806734） 全文： arXiv公司 链接
丰满，细节（编辑）;胡安·德·拉腊（编辑） 第十届图形变换国际会议专刊前言。 （英语） Zbl 1423.68034号 J.日志。阿尔盖布。方法计划。 104, 174-175 (2019).MSC公司：68-06 2012年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Plump（编辑）和textit{J.deLara（编辑），J.Log。阿尔盖布。方法计划。104174-175（2019年；Zbl 1423.68034） 全文： 内政部