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

ABSTRACT: Node localization is commonly employed in wireless networks. For example, it is used to improve routing and enhance security. Localization algorithms can be classified as range-free or range ...

An artificial-intelligence (AI) tool can rigorously prove whether geometric facts — statements about two-dimensional shapes such as triangles or polygons — are true, just as well as competitors in the ...

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

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

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