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
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