John P. May

4 papers and 159 indexed citations i.

John P. May has authored 4 papers that have received a total of 159 indexed citations. This includes 4 papers in Computational Theory and Mathematics, 1 paper in Artificial Intelligence and 1 paper in Signal Processing. The topics of these papers are Polynomial and algebraic computation (3 papers), Numerical Methods and Algorithms (2 papers) and Formal Methods in Verification (2 papers). John P. May is often cited by papers focused on Polynomial and algebraic computation (3 papers), Numerical Methods and Algorithms (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in China, Canada and United Kingdom. John P. May's co-authors include James H. Davenport, Rong Xiao, Bican Xia, Changbo Chen and Marc Moreno Maza and has published in prestigious journals such as Journal of Symbolic Computation