D. Gonçalves, B. Lima, J. Moura, and L. Ferreira. ArtsIT/DLI, volume 265 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 520-525. Springer, (2018)
B. Buchberger, S. Oishi, M. Plum, and S. Rump. Algebraic and Numerical Algorithms and Computer-assisted Proofs, volume 05391 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
B. Buchberger, C. Jansson, S. Oishi, M. Plum, and S. Rump. Algebraic and Numerical Algorithms and Computer-assisted Proofs, volume 05391 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)