Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CAD.

Gereon Kremer, Jens Brandt

Browse the full SYNASC paper archive.