Acquisition and Analysis of University-Level Knowledge of Mathematical Analysis

Over the past decades mathematical software systems have become increasingly powerful and complex. The integration of mathematical formal systems is highly desirable. Web-oriented platforms of distributed mathematical services enable mathematical activities to be implemented on the Web. All those require an underlying, shareable, and content-oriented mathematical repository. In this paper, based on ontology, frame representation, predicate logic and type, we present a knowledge representation for mathematical analysis. A concept-oriented knowledge acquisition has been developed and with the method we have extracted all the main concepts and theorems from a university-level text- book on mathematical analysis. The paper will also discuss possible errors that a knowledge engineer may commonly make in acquiring mathematical knowledge.