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

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