Hilbert's Proof of His Irreducibility Theorem.

Mark B. Villarino William Gasarch Kenneth W. Regan

Published in: Am. Math. Mon. (2018)

Keyphrases

interactive theorem proving
theorem prover
information systems
theorem proving
clifford algebra
real time
artificial neural networks
hidden markov models
probabilistic model
knowledge representation
linear logic