Login / Signup
And Still One More Proof of the Radon-Nikodym Theorem.
Anton R. Schep
Published in:
Am. Math. Mon. (2003)
Keyphrases
</>
interactive theorem proving
radon transform
fourier transform
theorem prover
theorem proving
von neumann
genetic algorithm
straight line
linear logic