Summary: TPS User's Manual
Peter B. Andrews
Chad E. Brown
Matthew Bishop
Sunil Issar
Dan Nesmith
Frank Pfenning
Hongwei Xi
Mark Kaminski
R’emy Chr’etien
May 19, 2011
This material is based upon work supported by NSF grants MCS81­02870, DCR­8402532, CCR­8702699,
CCR­9002546, CCR­9201893, CCR­9502878, CCR­9624683, CCR­9732312, CCR­0097179, and a grant from
the Center for Design of Educational Computing, Carnegie Mellon University. Any opinions, findings, and
conclusions or recommendations are those of the authors and do not necessarily reflect the views of the National
Science Foundation.

ii

Contents

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics