GDPA  
IMPS - Interactive Mathematical Proof System  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Contents  
  • Identification
  • Homepage
  • Observations
  • Identification

    IMPS - Interactive Mathematical Proof System

    Homepage

    ftp://math.harvard.edu/imps/imps_html/imps.html

    Observations

    An Interactive Mathematical Proof System intended to provide mechanical support for traditional mathematical techniques and styles of practice.

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster