几何综合证明插图的自动生成
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
