Diffusion afp-devel 81dc779aa4f6

New entry: Quantifier_Elimination_Hybrid
81dc779aa4f6
Actions

Tags

None

Subscribers

None

Description

New entry: Quantifier_Elimination_Hybrid

Details

Provenance

Authored on

Parents

rAFP77385ec30deb: New entry Birkhoff_Finite_Distributive_Lattices

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP81dc779aa4f6: New entry: Quantifier_Elimination_Hybrid.Dec 16 2022, 3:34 PM

Changes (74)

Path

Size

Quantifier_Elimination_Hybrid.toml

Quantifier_Elimination_Hybrid

Hybrid_Multiv_Algorithm.thy

Hybrid_Multiv_Algorithm_Proofs.thy

Hybrid_Multiv_Matrix.thy

Hybrid_Multiv_Matrix_Proofs.thy

Multiv_Consistent_Sign_Assignments.thy

Multiv_Poly_Props.thy

Multiv_Pseudo_Remainder_Sequence.thy

Multiv_Tarski_Query.thy

Renegar_Modified.thy

authors/

cordwell/

platzer/

tan/

data/

algebraic_numbers/

benor_kozen_reif/

datatype_order_generator/

descartes_sign_rule

factor_algebraic_polynomial/

polynomial_interpolation/

virtual_substitution

Abstract_Soundness.html

Algebraic_Numbers.html

BenOr_Kozen_Reif.html

Datatype_Order_Generator.html

Descartes_Sign_Rule.html

FOL_Seq_Calc1.html

Factor_Algebraic_Polynomial.html

Polynomial_Interpolation.html

Quantifier_Elimination_Hybrid.html

Relational_Paths.html

Virtual_Substitution.html

statistics/

quantifier_elimination_hybrid

topics/

computer-science/

algorithms/

mathematical/

rAFP81dc779aa4f6

metadata/entries/Quantifier_Elimination_Hybrid.toml

Loading...

thys/Quantifier_Elimination_Hybrid/Hybrid_Multiv_Algorithm.thy

Loading...

thys/Quantifier_Elimination_Hybrid/Hybrid_Multiv_Algorithm_Proofs.thy

Loading...

thys/Quantifier_Elimination_Hybrid/Hybrid_Multiv_Matrix.thy

Loading...

thys/Quantifier_Elimination_Hybrid/Hybrid_Multiv_Matrix_Proofs.thy

Loading...

thys/Quantifier_Elimination_Hybrid/Multiv_Consistent_Sign_Assignments.thy

Loading...

thys/Quantifier_Elimination_Hybrid/Multiv_Poly_Props.thy

Loading...

thys/Quantifier_Elimination_Hybrid/Multiv_Pseudo_Remainder_Sequence.thy

Loading...

thys/Quantifier_Elimination_Hybrid/Multiv_Tarski_Query.thy

Loading...

thys/Quantifier_Elimination_Hybrid/ROOT

Loading...

thys/Quantifier_Elimination_Hybrid/Renegar_Modified.thy

Loading...

thys/Quantifier_Elimination_Hybrid/document/root.bib

Loading...

thys/Quantifier_Elimination_Hybrid/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/cordwell/index.html

Loading...

web/authors/cordwell/index.xml

Loading...

web/authors/platzer/index.html

Loading...

web/authors/platzer/index.xml

Loading...

web/authors/tan/index.html

Loading...

web/authors/tan/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/algebraic_numbers/index.html

Loading...

web/dependencies/algebraic_numbers/index.xml

Loading...

web/dependencies/benor_kozen_reif/index.html

Loading...

web/dependencies/benor_kozen_reif/index.xml

Loading...

web/dependencies/datatype_order_generator/index.html

Loading...

web/dependencies/datatype_order_generator/index.xml

Loading...

web/dependencies/descartes_sign_rule/index.html

Loading...

web/dependencies/descartes_sign_rule/index.xml

Loading...

web/dependencies/factor_algebraic_polynomial/index.html

Loading...

web/dependencies/factor_algebraic_polynomial/index.xml

Loading...

web/dependencies/index.html

Loading...

web/dependencies/index.json

Loading...

web/dependencies/polynomial_interpolation/index.html

Loading...

web/dependencies/polynomial_interpolation/index.xml

Loading...

web/dependencies/virtual_substitution/index.html

Loading...

web/dependencies/virtual_substitution/index.xml

Loading...

web/entries/Abstract_Soundness.html

Loading...

web/entries/Algebraic_Numbers.html

Loading...

web/entries/BenOr_Kozen_Reif.html

Loading...

web/entries/Datatype_Order_Generator.html

Loading...

web/entries/Descartes_Sign_Rule.html

Loading...

web/entries/FOL_Seq_Calc1.html

Loading...

web/entries/Factor_Algebraic_Polynomial.html

Loading...

web/entries/Polynomial_Interpolation.html

Loading...

web/entries/Quantifier_Elimination_Hybrid.html

Loading...

web/entries/Relational_Paths.html

Loading...

web/entries/Virtual_Substitution.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/theories/index.xml

Loading...

web/theories/quantifier_elimination_hybrid/index.html

Loading...

web/topics/computer-science/algorithms/index.html

Loading...

web/topics/computer-science/algorithms/index.xml

Loading...

web/topics/computer-science/algorithms/mathematical/index.html

Loading...

web/topics/computer-science/algorithms/mathematical/index.xml

Loading...

web/topics/index.html

Loading...