#

orbit-sum

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 Jun 17, 2026
Lean

Improve this page

Add a description, image, and links to the orbit-sum topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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