Login / Signup
Simultaneous Proof of the First Fundamental Theorem of Calculus and Integrability of Continuous Functions.
Frank Swenton
Published in:
Am. Math. Mon. (2015)
Keyphrases
</>
continuous functions
natural deduction
differential equations
shape from shading
real valued
sequent calculus
theorem prover
theorem proving
linear logic
vector field
activation function
denoising
endpoints
neural network
genetic algorithm
digital topology