homogeneous-polynomials

Here are 2 public repositories matching this topic...

AEjonanonymous / Jacobian-Conjecture-2D

Formal Resolution of the Two-Dimensional Jacobian Conjecture in Lean 4 via Graded Differential Operators.

research mathematics algebraic-geometry formal-verification interactive-theorem-proving commutative-algebra formal-proofs mathlib differential-algebra lean4 differential-operators formalized-mathematics homogeneous-polynomials proof-by-contradiction jacobian-conjecture ai-augmented-research polynomial-automorphisms affine-algebraic-geometry

Updated Jul 28, 2026
Lean

SergioCS147 / HarmonicPolya.jl

Star

This is a package for homogeneous polynomial minimization on the sphere using harmonic hierarchies also including harmonic analysis and spherical quadrature rules.

optimization julia sphere minimization polynomials harmonic-analysis homogeneous-polynomials

Updated Aug 9, 2022
Julia

Improve this page

Add a description, image, and links to the homogeneous-polynomials 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 homogeneous-polynomials topic, visit your repo's landing page and select "manage topics."

Learn more