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

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]

@inproceedings{KremerB21,
  title = {Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CAD},
  author = {Gereon Kremer and Jens Brandt 0003},
  year = {2021},
  doi = {10.1109/SYNASC54541.2021.00013},
  url = {https://doi.org/10.1109/SYNASC54541.2021.00013},
  researchr = {https://researchr.org/publication/KremerB21},
  cites = {0},
  citedby = {0},
  pages = {4-10},
  booktitle = {23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021},
  editor = {Carsten Schneider and Mircea Marin and Viorel Negru and Daniela Zaharie},
  publisher = {IEEE},
  isbn = {978-1-6654-0650-5},
}