Approximate factorization of multivariate polynomials via differential equations S Gao, E Kaltofen, J May, Z Yang, L Zhi Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004 | 103 | 2004 |

Triangular decomposition of semi-algebraic systems C Chen, JH Davenport, JP May, MM Maza, B Xia, R Xiao Journal of Symbolic Computation 49, 3-26, 2013 | 79 | 2013 |

Approximate factorization of multivariate polynomials using singular value decomposition E Kaltofen, JP May, Z Yang, L Zhi Journal of Symbolic Computation 43 (5), 359-376, 2008 | 74 | 2008 |

Maple programming guide L Bernardin, P Chin, P DeMarco, KO Geddes, DEG Hare, KM Heal, ... Maplesoft, 2011 | 61 | 2011 |

On approximate irreducibility of polynomials in several variables E Kaltofen, J May Proceedings of the 2003 international symposium on Symbolic and algebraic …, 2003 | 37 | 2003 |

Efficient matrix rank computation with application to the study of strongly regular graphs JP May, D Saunders, Z Wan Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007 | 27 | 2007 |

Using Riemannian SVD for problems in approximate algebra B Botting, M Giesbrecht, J May Proceedings of the International Workshop of Symbolic-Numeric Computation …, 2005 | 23 | 2005 |

Maple 16 Programming Guide L Bernardin, P Chin, P DeMarco, KO Geddes, DEG Hare, KM Heal, ... Maplesoft, Waterloo, 2012 | 18 | 2012 |

New algorithms for exact and approximate polynomial decomposition M Giesbrecht, J May Symbolic-Numeric Computation, 99-112, 2007 | 7 | 2007 |

User interface design for geometrical decomposition algorithms in Maple C Chen, JH Davenport, J May, MM Maza, B Xia, R Xiao, Y Xie Proc. Mathematical User-Interface, 1-12, 2009 | 6 | 2009 |

Maple 2015 Programming Guide L Bernardin, P Chin, P DeMarco, KO Geddes, DEG Hare, KM Heal, ... Maplesoft, Waterloo ON, Canada, 2015 | 4 | 2015 |

Approximate factorization of polynomials in many variables and other problems in approximate algebra via singular value decomposition methods JP May | 4 | 2005 |

Numerical techniques for computing the inertia of products of matrices of rational numbers JP May, BD Saunders, DH Wood Proceedings of the 2007 international workshop on Symbolic-numeric …, 2007 | 3 | 2007 |

ISSAC 2009: Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation; July 28-July 31, 2009, Korea Institute for Advanced Study (KIAS), Seoul, Korea JP May ACM, 2009 | 2 | 2009 |

Triangular decomposition of semi-algebraic systems MM Maza, C Chen, JH Davenport, JP May, B Xia, R Xiao | | 2014 |

East coast computer algebra day 2011 abstracts J May ACM Communications in Computer Algebra 45 (1/2), 100-106, 2011 | | 2011 |

Automatic variable order selection for polynomial system solving JP May, M Giesbrecht, D Roche, MM Maza, Y Xie ACM Communications in Computer Algebra 42 (1-2), 83-83, 2008 | | 2008 |