A Simple Proof of Poncelet's Theorem (on the Occasion of Its Bicentennial).

Lorenz Halbeisen Norbert Hungerbühler

Published in: Am. Math. Mon. (2015)

Keyphrases

interactive theorem proving
genetic algorithm
multimedia
information technology
black box
databases
e learning
cooperative
fixed point
theorem prover