Recent advances in automated theorem proving on inequalities

DOI10.1007/BF02948785zbMath0944.68169MaRDI QIDQ1966106

Lu Yang

Publication date: 24 February 2000

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

automated theorem provingBOTTEMA

Mathematics Subject Classification ID

Related Items

Recent advances in program verification through computer algebra ⋮ An algorithm for determining copositive matrices ⋮ An artificial proof of a geometric inequality in a triangle ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Global optimization of polynomials over real algebraic sets ⋮ Solution to the generalized champagne problem on simultaneous stabilization of linear systems

Cites Work

• A complete discrimination system for polynomials
• The parallel numerical method of mechanical theorem proving
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• A criterion for dependency of algebraic equations with applications to automated theorem proving
• Elimination procedures for mechanical theorem proving in geometry
• A new decision method for elementary algebra
• Machine Proofs in Geometry
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item