Rolling Curves: An Old Proof of the Roulette Lemma.
Ulrich AbelLinda BeukemannVitaliy KushnirevychPublished in: Am. Math. Mon. (2017)
Keyphrases
- b spline
- linear logic
- curve fitting
- proof search
- database
- genetic algorithm
- proof planning
- theorem prover
- implicit polynomial
- differential geometry
- curve matching
- johnson lindenstrauss
- geometry theorem proving
- mathematical proofs
- automated theorem proving
- theorem proving
- search algorithm
- data structure
- artificial intelligence
- data mining