论文标题
合成几何形状证明的插图的自动生成
Automated Generation of Illustrations for Synthetic Geometry Proofs
论文作者
论文摘要
我们报告了一种新的，简单，模块化和灵活的方法，用于自动生成（可读）合成几何形状证明的插图。基础证明是使用LARUS自动化的供仪式生成的，用于相干逻辑，并以GCLC语言生成相应的图表。还支持动画插图。
We report on a new, simple, modular, and flexible approach for automated generation of illustrations for (readable) synthetic geometry proofs. The underlying proofs are generated using the Larus automated prover for coherent logic, and corresponding illustrations are generated in the GCLC language. Animated illustrations are also supported.
