Merkliste 
 1 Ergebnisse 
 
1

Certified simultaneous isotopic approximation of pairs of c..:

, In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation,
Burr, Michael ; Byrd, Michael - p. 116-125 , 2023