PaperFormalizer · Formalized papers
Formalized papers
An Exact Semidefinite Lift of a Nonspectrahedral Hyperbolicity Cone
Lean code
A standalone Lake project: the paper's Lean, the toolkit modules it imports, and
Check.lean
.
Check.lean
Papers/OaiExactSemidefiniteLift/Basic.lean
Papers/OaiExactSemidefiniteLift/Helpers/CertificateAlgebra.lean
Papers/OaiExactSemidefiniteLift/Helpers/Coordinates.lean
Papers/OaiExactSemidefiniteLift/Helpers/FunctionSpace.lean
Papers/OaiExactSemidefiniteLift/Helpers/Gram.lean
Papers/OaiExactSemidefiniteLift/Helpers/Lift.lean
Papers/OaiExactSemidefiniteLift/Helpers/LiftCertificate.lean
Papers/OaiExactSemidefiniteLift/Helpers/Matching.lean
Papers/OaiExactSemidefiniteLift/Helpers/MatchingRotation.lean
Papers/OaiExactSemidefiniteLift/Helpers/Moment.lean
Papers/OaiExactSemidefiniteLift/Helpers/Polynomial.lean
Papers/OaiExactSemidefiniteLift/Helpers/Slice.lean
Papers/OaiExactSemidefiniteLift/Helpers/TrigCoefficients.lean
Papers/OaiExactSemidefiniteLift/Helpers.lean
Papers/OaiExactSemidefiniteLift/TMain.lean
Papers/OaiExactSemidefiniteLift.lean
Papers.lean
README.md
Toolkit/Foundations/Algebra/HyperbolicPolynomials.lean
Toolkit/Foundations/Algebra/PolynomialCoeffSigns.lean
Toolkit.lean
built-against.json
lakefile.toml
lean-toolchain