Gereon Kremer, Jens Brandt 0003. Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CAD. In Carsten Schneider, Mircea Marin, Viorel Negru, Daniela Zaharie, editors, 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021. pages 4-10, IEEE, 2021. [doi]
Abstract is missing.