How ProofBuilder Was Built -- All The Computer Science Behind It

by Hugh McGuire



  • last week on Tuesday I awoke at  and flew to Washington D.C.
    to present  ProofBuilder  at the Joint Annual Meetings of the main mathematical organizations: the American Mathematical Society, and the Mathematical Association of America.
    I presented  ProofBuilder's capabilities, including its pedagogical features,
    and I returned home at 


  • during the past few years I went through several popular books on foundational mathematics (and worked with the author of one), determining all the different ways they represented expressions and did operations:
           


    Instead of those things, the focus of my presentation here is
    the Computer Science behind  ProofBuilder:
    data structures, algorithms, GUI, software design, use of APIs/Specifications, etc.


    Modules 
    ProofBuilder.java

Grammar_Construct.java
Symbol.java
Expression.java
Expressions_Mgmt.java

Entry.java
PB_TableModel.java
User_Entry_Dialog.java

Deduction_Prep.java
Canonical_Eqs.java
Ded_Action.java