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

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

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

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

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 authors investigated how secondary mathematics teachers check student geometry proofs. From video records of geometry teachers checking proofs, they conjectured that teachers have different ...