Login / Signup
Ruben Debeerst
Publication Activity (10 Years)
Years Active: 2008-2013
Publications (10 Years): 0
Top Topics
Theorem Prover
Proof Search
Lower Bound
Top Venues
Math. Comput.
</>
Publications
</>
Werner Bley
,
Ruben Debeerst
Algorithmic proof of the epsilon constant conjecture.
Math. Comput.
82 (284) (2013)
Ruben Debeerst
,
Mark van Hoeij
,
Wolfram Koepf
Solving differential equations in terms of bessel functions.
ISSAC
(2008)