Selected topics in geometry with classical vs. computer proving /

Bibliographic Details
Main Author:	Pech, Pavel
Format:	Book
Language:	English
Published:	Hackensack, NJ : World Scientific, [2007]
Subjects:	Geometry. Geometry > Computer programs. Problem solving.

Evans: Library Stacks