Search results for: Grégoire Lecerf
Journal of Complexity > 2018 > 48 > C > 36-68
Journal of Complexity > 2016 > 36 > C > 1-30
Lecture Notes in Computer Science > Mathematical Software – ICMS 2010 > Reliable Computation (Invited) > 329-332
Applicable Algebra in Engineering, Communication and Computing > 2016 > 27 > 3 > 237-257
Foundations of Computational Mathematics > 2015 > 15 > 1 > 159-184
Journal of Symbolic Computation > 2013 > 50 > Complete > 227-254
Applicable Algebra in Engineering, Communication and Computing > 2013 > 24 > 6 > 413-443
Applicable Algebra in Engineering, Communication and Computing > 2010 > 21 > 2 > 151-176
Expositiones Mathematicae > 2008 > 26 > 2 > 101-139
Applicable Algebra in Engineering, Communication and Computing > 2008 > 19 > 2 > 135-160
Journal of Complexity > 2007 > 23 > 3 > 380-420
Journal of Symbolic Computation > 2007 > 42 > 4 > 477-494
Journal of Complexity > 2003 > 19 > 4 > 564-596
Journal of Complexity > 2001 > 17 > 1 > 154-211
Journal of Symbolic Computation > 2000 > 30 > 3 > 291-307