The Creation and Use of a Knowledge Base of Mathematical Theorems and Definitions (1995)

by Benjamin Shults
Citations:2 - 2 self