The current repository shall contain code fragments forming an engine that is capable of verifying the correctness of particular construction introduced through a sequence of primitive or complex steps - thus a solution of a specific constructive geometry problem. Specifically, here is implemented the algorithm by which we compare this construction with an original solution assumed to be correct in order to be verified their equivalence so that we are able to find out if a particular construction is correct.
-
Notifications
You must be signed in to change notification settings - Fork 0
A tool for verifying constructive geometry problems. This repository focuses on the systematic verification of step-by-step solutions to ensure correctness and adherence to geometric principles.
License
Petko0321/GeoConstructAndVerify
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A tool for verifying constructive geometry problems. This repository focuses on the systematic verification of step-by-step solutions to ensure correctness and adherence to geometric principles.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published