On the decision problem and the mechanization of theorem proving in

elementary geometry, Automated Theorem Proving: After 25 years, American Mathematical Society, 1984, Vol.

Nine Solved and Nine Open Problems in

Elementary Geometry.

Smarandache, Eight Solved and Eight Open Problems in

Elementary Geometry, in arXiv.

Modernism in geometry is associated with changing views on the nature of and developments within geometry (non-Euclidean geometry, projective geometry, Hilbert's axiomatization of

elementary geometry, Italian axiomatic geometry) as well as on geometry's relation to science and everyday experience.

of South Bohemia) gives readers the basic theories of automatic theorem proving as well as computational methods as he explains topics of

elementary geometry.

Using

elementary geometry and trigonometry, they guide readers through paper-and-pencil reconstructions of mathematical problems and show them how to construct actual physical models themselves.