Mechanically Checked Proofs of Kernel Specification.
William R. BevierJørgen F. Søgaard-AndersenPublished in: CAV (1991)
Keyphrases
- theorem prover
- kernel function
- kernel methods
- high level
- support vector
- theorem proving
- specification language
- information systems
- feature space
- formal proofs
- convolution kernel
- mathematical knowledge
- formal proof
- kernel space
- natural deduction
- reproducing kernel hilbert space
- kernel learning
- kernel machines
- kernel matrix
- inference rules
- support vector machine
- hidden markov models
- training data
- case study