Login / Signup
Proofs of Two Conjectures on the Real Zeros of the Cylinder and Airy Functions.
Gergö Nemes
Published in:
SIAM J. Math. Anal. (2021)
Keyphrases
</>
theorem prover
wide range
neural network
video sequences
multi agent
learning environment
d objects
hough transform
theorem proving