Selected topics in geometry with classical vs. computer proving/

Pech, Pavel.

Selected topics in geometry with classical vs. computer proving/ Pavel Pech. - Hackensack, NJ: World Scientific, c2007. - xi, 239 p.: ill.; 24 cm.

Includes bibliographical references (p. 227-233) and index.

9789812709424 (hbk. : alk. paper) 9812709428 (hbk. : alk. paper)

2007028204


Geometry
Geometry--Computer programs.
Problem solving.

516 / P365s
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha