Merkliste 
 1 Ergebnisse 
 
1

Effective Certification of Approximate Solutions to Systems..:

, In: Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation,
Burr, Michael ; Lee, Kisun ; Leykin, Anton - p. 267-274 , 2019