Search results for: Guillaume Moroz
Journal of Symbolic Computation > 2017 > 80 > P2 > 285-306
Journal of Complexity > 2016 > 37 > C > 34-75
Lecture Notes in Computer Science > Computer Mathematics > Elimination: Triangular Forms, Resultants, Equation Solving > 263-277
Journal of Symbolic Computation > 2011 > 46 > 10 > 1139-1157