Selected topics in geometry with classical vs. computer proving

Pavel Pech
Bok · Engelsk · 2007

Utgitt	Hackensack, N.J. : World Scientific , c2007
Omfang	XI, 239 s.
Emner	Geometry Geometry - Computer programs Problem solving Geometri : (NoOU)REAL002726
Dewey	516
ISBN	9789812709424. - 9812709428