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

Kremer, Gereon (Corresponding author); Brandt, Jens (Corresponding author)

Piscataway, NJ : IEEE (2021, 2022)
Buchbeitrag, Beitrag zu einem Tagungsband

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

Identifikationsnummern