Jaime Burgos-García

Jaime Burgos-García

Universidad Autónoma De Coahuila
在 uadec.edu.mx 的电子邮件经过验证
被引用次数：207
celestial mechanics dynamical systems rigorous numerics astrophysics simulation of dynamical systems
Kevin E.M. Church

Kevin EM Church

在 umontreal.ca 的电子邮件经过验证
被引用次数：167
functional differential equations impulsive differential equations rigorous numerics
Robert Szczelina

Robert Szczelina

Jagiellonian University, Faculty of Mathematics and Computer Science
在 uj.edu.pl 的电子邮件经过验证
被引用次数：125
computer assisted proofs dynamical systems rigorous numerics computer simulation delay differential equations
Florent BREHARD

Florent BREHARD

Uppsala universitet
在 math.uu.se 的电子邮件经过验证
被引用次数：107
rigorous numerics computer algebra formal proof computer-assisted proofs