1. LIRMM, CNRS, University of Montpellier, France
2. Laboratoire Jean Kuntzmann, CNRS, Université Grenoble Alpes, France
3. Symbolic Computation Group, University of Waterloo, Canada
4. Computer Science Department, United States Naval Academy, USA