Conclusion

Establishing Standards

• The TSTP standards are in use
  • ARTists projects at UM
  • E
  • MPTP
  • MathWeb
  • TPTP v3.0.0
  • TSTP
• Actions Speak Louder than Committees
  • Highly pragmatic standards
  • Careful thought, community input, decisions
  • Application and feedback

Future Work

• Syntax for non-logical parts
• Standards for models