Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CAD. - Gereon Kremer; Jens Brandt 003 (SYNASC, 2021)