Differences
This shows you the differences between two versions of the page.
Both sides previous revision
Previous revision
|
Next revision
Both sides next revision
|
start [2013/07/21 15:06] admin |
start [2013/08/01 17:37] admin |
- [[http://coq.inria.fr/coq-84|Coq 8.4]]\\ | - [[http://coq.inria.fr/coq-84|Coq 8.4]]\\ |
\\ | \\ |
- [[https://code.google.com/p/pure-lang/|Pure V0.56]] (NEW:for L-term rewriting) \\ | - [[https://code.google.com/p/pure-lang/|Pure V0.57]] (NEW:for L-term rewriting) \\ |
- [[http://yacas.sourceforge.net/backups/yacas-1.3.3.tar.gz| Yacas 1.3.3]] \\ | - [[http://yacas.sourceforge.net/backups/yacas-1.3.3.tar.gz| Yacas 1.3.3]] \\ |
- [[http://fricas.sourceforge.net/download.html| Fricas 1.2.1 (incl. cygwin)]] \\ | - [[http://fricas.sourceforge.net/download.html| Fricas 1.2.1 (incl. cygwin)]] \\ |
- [[http://www.paraview.org/| ParaView 4.0.1]] | - [[http://www.paraview.org/| ParaView 4.0.1]] \\ |
| - [[http://www.sagemath.org/| Sage 5.10]], Windows users pls see [[http://wiki.sagemath.org/SageAppliance]] |
\\ | \\ |
[[news|older news ...]] | [[news|older news ...]] |