Login / Signup
A Vector Proof of a Theorem of Bang.
Mowaffaq Hajja
Published in:
Am. Math. Mon. (2001)
Keyphrases
</>
interactive theorem proving
vector space
feature vectors
vector data
neural network
linear logic
theorem proving
real time
multiscale
mobile robot
bayesian networks
website
von neumann
search engine
information retrieval
proof planning
geometry theorem proving