Calcium. Computing in exact real and complex fields

From MaRDI portal
Publication:6666541