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

Kremer, Gereon (Corresponding author); Brandt, Jens

Piscataway, NJ : IEEE (2021)
Contribution to a book, Contribution to a conference proceedings

In: 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Page(s)/Article-Nr.: 4-10


  • Department of Mathematics [110000]
  • Mathematics (Algebra) Teaching and Research Area [114820]