Recent advances in automated theorem proving on inequalities
From MaRDI portal
Publication:1966106
DOI10.1007/BF02948785zbMath0944.68169MaRDI QIDQ1966106
Publication date: 24 February 2000
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Related Items
Recent advances in program verification through computer algebra, An algorithm for determining copositive matrices, Global optimization of polynomials over real algebraic sets, An artificial proof of a geometric inequality in a triangle, A review and prospect of readable machine proofs for geometry theorems, Solution to the generalized champagne problem on simultaneous stabilization of linear systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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