#

constructive-algebra

Here is 1 public repository matching this topic...

AEjonanonymous / Orbit-Sum-Origami

A Machine-Certified Universal Folding Approach to the Inverse Galois Problem.

origami galois-field group-theory inverse-problems number-theory folding interactive-theorem-proving galois-theory mathlib discriminant-analysis symmetric-polynomials lean4 rational-maps surjective constructive-algebra ai-augmented-research irreducibility orbit-sum reynolds-operator

Updated Jul 18, 2026
Lean

Add this topic to your repo

To associate your repository with the constructive-algebra topic, visit your repo's landing page and select "manage topics."