mathprog: Mathematician's Helper Program

We're a private group starting to program a mathematician's helper program that will assist in writing proofs, etc... This list will be to share ideas, thoughts, and maybe code-segments.

• » List Category: Computer Science
• » List Archive: mathprog Archive
• » RSS Feed:
• » List Type (help): Open discussion
• » Log in directly to this list
• » ListRank:
• » Subscriber Actions:
  Your Email Address:

  What would you like to do?

  Subscribe Unsubscribe Turn Digest mode on Turn Digest mode off Turn Vacation mode on Turn Vacation mode off

  We'll send you an email to verify your address.