Scans and Convolutions - A Calculational Proof of Moessner's Theorem.
Ralf HinzePublished in: IFL (2008)
Keyphrases
- interactive theorem proving
- theorem proving
- theorem prover
- fourier transform
- linear logic
- three dimensional
- intuitionistic logic
- first order logic
- inference rules
- real world
- automated theorem proving
- medical images
- steady state
- computer vision
- gaussian filter
- natural deduction
- proof theory
- heavy traffic limit
- artificial intelligence