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: ListRank: 2ListRank: 2
  • » Subscriber Actions:

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