July 2012 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Mon Jul 2 16:21:42 CEST 2012
Ending: Sun Jul 22 13:48:19 CEST 2012
Messages: 6

• [Om] Exporting OpenMath from MuPAD and/or SymPy   Joel Andersson
• [Om] Exporting OpenMath from MuPAD and/or SymPy   Peter Horn
• [Om] CICM 2012: Programme details on-line, last call for participation   Johan Jeuring
• [Om] OpenMath annual meeting 2012   Michael Kohlhase
• [Om] Exporting OpenMath from MuPAD and/or SymPy   Michael Kohlhase
• [Om] Program Verification, Automated Debugging and Symbolic Computation 2012, October 10-12, Beijing   Dongming Wang

Last message date: Sun Jul 22 13:48:19 CEST 2012
Archived on: Mon Jul 23 12:54:32 CEST 2012

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...