JGEX is a software which combines dynamic geometry software (DGS), automated geometry theorem prover (GTP) and our approach for visually dynamic presentation of proofs. As a dynamic geometry software, ...

This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and ...

ABSTRACT: While the use of three-dimensional (3D) geographical information system (GIS) is becoming in rapid development and being used in various fields such as urban and regional planning, disaster ...

THE opening sentence of the Preface—“The author has attempted to bring together all the well-known theorems and examples connected with Harmonics, Anharmonics, Involution, Projection (including ...