Geo-AID

Geo-AID 是一款旨在帮助人们绘制几何图形的工具。它使用带有标准定义的图形脚本来生成满足这些标准的图形并绘制它。

通常，图形生成工具基于构造（例如 GeoGebra）。在许多情况下，它们足以生成一个看起来不错的图形，但存在一些问题，图形在这些工具中很难或根本无法正确生成，更不用说在纸上。Geo-AID 解决了这个问题。它不仅限于构造表达式，还提供了一个广泛的构造函数和规则系统，用户可以使用这些函数输入必须满足的图形规则（例如角度相等、点共线等）。作为一个核心优化引擎，Geo-AID 可以根据这样的描述生成一个尽可能好的图形。对于某些问题，它做得非常好，对于其他问题则不那么好，但这个工具正在不断开发中，并不断改进。

安装

要使用和可能安装 Geo-AID，您需要 Rust 和 cargo。您可以从这里获取它们： https://rust-lang.net.cn/。

完成之后，您可以使用 git 克隆仓库，并使用以下方式运行 Geo-AID：

cargo run --release -- <geo-aid arguments here, type --help for help>

或者使用以下方式安装 Geo-AID：

cargo install geo-aid

然后运行它

geo-aid <arguments here, type --help for help>.

有用的资源

Geo-AID 书籍托管在 https://geo-aid.github.io/。它也位于 geo-aid-book/ 目录下。您可以使用 mdbook 将其显示为 HTML。

cd geo-aid-book
mdbook serve --open

目标

Geo-AID的最终目标是将绘图相关痛苦降至最低。它的目标是允许用户编写和生成复杂的图形，并以各种用户可能认为有用的格式进行渲染（主要是LaTeX、SVG、GGB（开发中））。它应该能够使文章和书籍作者能够轻松地将图形放入他们的作品中，帮助教师进行有益的几何课程和讲座，并帮助学生（尤其是那些开始参加数学竞赛的学生）学习他们的技能。

如何贡献？

如果您有兴趣为Geo-AID做出贡献，请随意查看贡献指南。