Smooth manifolds and types to sets for linear algebra in Isabelle/HOL.

Fabian Immler Bohua Zhan

Published in: CPP (2019)

Keyphrases

linear algebra
theorem prover
natural deduction
singular value decomposition
image processing
computer architecture
artificial intelligence
feature space
detection method
formal methods