A constructive proof of the Peter-Weyl theorem.

Thierry Coquand Bas Spitters

Published in: Math. Log. Q. (2005)

Keyphrases

interactive theorem proving
theorem prover
information retrieval
high level
neural network
proof planning
von neumann
theorem proving
mobile robot
relational databases
information technology
modal logic
bayesian networks
image segmentation
knowledge base
natural deduction
genetic algorithm
data sets