scientific article; zbMATH DE number 1293322

MaRDI QIDQ4244779zbMATH OpenFDO

Authors Bican Xia

Publication date 20 June 1999

zbMATH Keywords

CDScomplete discrimination systemcylindrical algebraic decompositionefficient algorithmgeometric inequalitiestheorem prover EXPLORER

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Inequalities and extremum problems in real or complex geometry (51M16)

Recommendations

• scientific article; zbMATH DE number 1421053
• scientific article; zbMATH DE number 1745034
• A complete algorithm for automated discovering of a class of inequality-type theorems
• On one method of proving inequalities in automated way

Cited in

(10)

• EXPLORER
• Recent advances in automated theorem proving on inequalities
• Automatted geometry theorem proving
• scientific article; zbMATH DE number 6719570 (Why is no real title available?)
• On one method of proving inequalities in automated way
• scientific article; zbMATH DE number 1745034 (Why is no real title available?)
• The automatic detection and judgment of two triangle inequalities related to the program agl2010 through inequalities
• Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
• scientific article; zbMATH DE number 1421053 (Why is no real title available?)
• A complete algorithm for automated discovering of a class of inequality-type theorems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4244779)