A Geometric Proof that Is Irrational and a New Measure of Its Irrationality.
Jonathan SondowPublished in: Am. Math. Mon. (2006)
Keyphrases
- geometry theorem proving
- databases
- theorem proving
- geometric structure
- expert systems
- high order
- geometric information
- linear logic
- proof planning
- real time
- genetic algorithm
- artificial intelligence
- data structure
- search algorithm
- evolutionary algorithm
- hidden markov models
- real world
- geometric features
- geometric reasoning