Now showing items 1-1 of 1

    • A Proof-Theoretic Approach to Mathematical Knowledge Management 

      Aboul-Hosn, Kamal (2006-12-08)
      Mathematics is an area of research that is forever growing. Definitions, theorems, axioms, and proofs are integral part of every area of mathematics. The relationships between these elements bring to light the elegant ...