Anonymous unrefereed methods preprint on irreducible pushforwards and constrained quartic transitions; Furter's R(3) remains open.
-
Updated
Aug 1, 2026 - Python
#
computer-assisted-mathematics
Here are 10 public repositories matching this topic...
Certificate-backed lower bounds for AlphaEvolve Problem 6.60, through C(20) >= 50
-
Updated
Aug 20, 2026 - Python
Exact carrier/root-jet and finite-algebra frontier for the open degree-(75,125) plane Jacobian case.
-
Updated
Aug 30, 2026 - Python
Unrefereed candidate on sharp partial identification of diversification histories, with executable replay and scoped assurance
reproducible-research phylogenetics birth-death-process partial-identification agentic-research computer-assisted-mathematics
-
Updated
Aug 21, 2026 - Python
CC0 candidate manuscript on degree-difference identities and affine slices, with exact symbolic verification
-
Updated
Aug 1, 2026 - TeX
Unrefereed candidate: exact Smith invariants and affine determinant lines for binary-form factorisation maps.
-
Updated
Aug 9, 2026 - Python
Unrefereed candidate on fixed-seed cyclicity loci for polynomial exponential periods, with exact replay and an odd-quintic certificate
-
Updated
Aug 8, 2026 - Python
CC0 unrefereed candidate sequel on exotic affine three-spheres and the quadratic-cubic obstruction, with exact symbolic and finite-field checks
cc0 sympy algebraic-geometry jacobian-conjecture binary-forms computer-assisted-mathematics exotic-affine-spheres grothendieck-ring hodge-deligne
-
Updated
Aug 1, 2026 - TeX
CC0 unrefereed candidate on reducible incidence divisors and affine slices of binary-form factorisation spaces, with exact audit artefacts
cc0 sympy algebraic-geometry binary-forms computer-assisted-mathematics hodge-deligne incidence-divisors rational-normal-curves
-
Updated
Aug 1, 2026 - TeX
AI-assisted mathematical research manuscripts with reproducible materials across combinatorics and words, matrix and coding theory, topology, order and discrete geometry, algebra, matroids, and continuous optimization.
reproducible-research coding-theory combinatorics posets commutative-algebra order-theory finite-geometry polyhedral-combinatorics combinatorics-on-words cyclotomic-polynomials combinatorial-designs ai-assisted-research graph-minors extremal-combinatorics noncommutative-algebra matroid-theory log-concavity computer-assisted-mathematics real-rooted-polynomials abstract-polytopes
-
Updated
Sep 4, 2026 - TeX
Add this topic to your repo
To associate your repository with the computer-assisted-mathematics topic, visit your repo's landing page and select "manage topics."