Login / Signup

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

Gereon KremerJens Brandt
Published in: SYNASC (2021)
Keyphrases