The problem of thirteen spheres - a proof for undergraduates.

Hiroshi Maehara

Published in: Eur. J. Comb. (2007)

Keyphrases

theorem prover
theorem proving
proof planning
graduate students
computer science students
neural network
data mining
knowledge base
high level
preprocessing
upper level
natural deduction