An analytical proof of a certain geometric inequality conjecture of Shan-He Wu.
Yu-Dong WuH. M. SrivastavaPublished in: Appl. Math. Lett. (2012)
Keyphrases
- geometry theorem proving
- theorem proving
- theorem prover
- geometric information
- computational geometry
- digital libraries
- high order
- data sets
- proof search
- linear logic
- image processing
- databases
- real time
- knowledge representation
- geometric structure
- decision trees
- decision making
- geometric reasoning
- mathematical proofs
- interactive theorem proving