Skip to content

TeamSigmaGeometry/SigmaGeometry

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

179 Commits
Geogebra Files
Geogebra Files
 
 
old_AR_files
old_AR_files
 
 
test_files
test_files
 
 
.gitignore
.gitignore
 
 
Constructions.py
Constructions.py
 
 
Data_Generation.py
Data_Generation.py
 
 
Data_Generation2.py
Data_Generation2.py
 
 
Problem.py
Problem.py
 
 
README
README
 
 
Read_in_Relations.py
Read_in_Relations.py
 
 
Reading_in_Geogebra_File.py
Reading_in_Geogebra_File.py
 
 
Solve.py
Solve.py
 
 
ar.py
ar.py
 
 
augmented_rref.py
augmented_rref.py
 
 
construction_tests.py
construction_tests.py
 
 
constructions_old.py
constructions_old.py
 
 
dd.py
dd.py
 
 
dd_test_complex.py
dd_test_complex.py
 
 
ddar.py
ddar.py
 
 
rabbit_generation.py
rabbit_generation.py
 
 
rabbits.txt
rabbits.txt
 
 
relations.py
relations.py
 
 
relations_test.py
relations_test.py
 
 
requirements.txt
requirements.txt
 
 
rules.txt
rules.txt
 
 
user_rabbit_guide.txt
user_rabbit_guide.txt
 
 
verify_eqangles.py
verify_eqangles.py
 
 

Repository files navigation

Contains the code for our team's replication of the AlphaGeometry system for MATH1810C

The goal is for the system to be able to use DDAR (Deductive Database+Algebraic Reasoning), as well as an LLM component for coming up with constructions when the DDAR hits a wall, to prove geometric statements.

About

Contains the code for the SigmaGeometry group project in Math 1810C

Resources

Readme
Activity
Custom properties

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •  

Languages