Algorithmic verification is the science of designing and analysing algorithms for automatically verifying properties of various systems arising in engineering and science. We are specifically interested in formal verification of systems modelled by geometric dynamical systems (i.e., dynamical systems that have the state space of d-dimensional real space and an update function of arithmetic origin), with emphasis on decidability and computational complexity.