Formalizing Hilbert's Grundlagen in Isabelle/Isar.

Laura I. Meikle Jacques D. Fleuriot

Published in: TPHOLs (2003)

Keyphrases

theorem prover
clifford algebra
natural deduction
moving target
high resolution images
signal processing
machine learning
inverse synthetic aperture radar
databases
image sequences
first order logic
cut elimination