User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:11, 9 August 2014 (diff | hist) . . (-30) . . m Main Page (current)
- 08:53, 8 August 2014 (diff | hist) . . (-34,211) . . m MediaWiki:Common.css (Replaced content with "→CSS placed here will be applied to all skins: ") (current)
- 10:54, 16 July 2013 (diff | hist) . . (-6) . . m Installation (With this svn co there will be no trunk dir.)
- 10:28, 23 April 2012 (diff | hist) . . (+14) . . m Compilation of Packages (current)
- 13:44, 14 March 2012 (diff | hist) . . (+26) . . m Compilation of Packages
- 13:44, 14 March 2012 (diff | hist) . . (+26) . . m VSL (current)
- 13:42, 14 March 2012 (diff | hist) . . (0) . . m VSL (moved Vsl to VSL)
- 13:41, 14 March 2012 (diff | hist) . . (+484) . . Nm VSL (Created page with 'VSL is a very small Lisp system in <code>trunk/vsl</code>. Its key attribute is that it is <strong>small</strong>. The source file <code>vsl.c</code> is around 3000 lines long, b…')
- 09:53, 2 August 2011 (diff | hist) . . (+20) . . m Compilation of Packages
- 09:53, 2 August 2011 (diff | hist) . . (+45) . . m Compilation of Packages
- 09:52, 2 August 2011 (diff | hist) . . (+18) . . m Compilation of Packages
- 09:50, 2 August 2011 (diff | hist) . . (+13) . . m Compilation of Packages
- 09:49, 2 August 2011 (diff | hist) . . (-14) . . m Compilation of Packages
- 09:48, 2 August 2011 (diff | hist) . . (+1,618) . . Nm Compilation of Packages (Information taken from a mail by acn on 9/20/2010.)
- 17:31, 11 July 2011 (diff | hist) . . (0) . . m QEPCAD (moved Qepcad to QEPCAD) (current)
- 17:29, 11 July 2011 (diff | hist) . . (+121) . . m QEPCAD
- 17:26, 11 July 2011 (diff | hist) . . (+68) . . m QEPCAD
- 17:24, 11 July 2011 (diff | hist) . . (+243) . . m QEPCAD
- 17:10, 11 July 2011 (diff | hist) . . (+1,868) . . Nm QEPCAD (Created page with 'Authors: Andreas Dolzmann and Thomas Sturm QEPCAD is a package to be used in combination with the package REDLOG. It provides access to the real [[Quantifier Elimination|qua…')
- 10:17, 27 May 2011 (diff | hist) . . (+33) . . m GNUPLOT (current)
- 10:15, 27 May 2011 (diff | hist) . . (+2) . . m GNUPLOT
- 10:13, 27 May 2011 (diff | hist) . . (+1,704) . . m GNUPLOT
- 09:30, 27 May 2011 (diff | hist) . . (+496) . . Nm GNUPLOT (Created page with 'Author: Herbert Melenk GNUPLOT Interface for REDUCE The GNUPLOT system provides easy to use graphics output for curves or surfaces which are defined by formulas and/or data set…')
- 23:29, 23 November 2010 (diff | hist) . . (+48) . . m Installation
- 19:45, 18 November 2010 (diff | hist) . . (+405) . . m Installation (Added information of necessary packages for CSL compilation on Ubuntu)
- 07:45, 26 August 2010 (diff | hist) . . (-3) . . m Installation (The PSL sources are there too.)
- 19:52, 26 April 2009 (diff | hist) . . (+1) . . m Quantifier Elimination (current)
- 19:51, 26 April 2009 (diff | hist) . . (+9) . . m Quantifier Elimination
- 19:50, 26 April 2009 (diff | hist) . . (+20) . . Nm REDUCE (Redirecting to Reduce) (current)
- 19:48, 26 April 2009 (diff | hist) . . (+20) . . Nm Redlog (Redirecting to REDLOG) (current)
- 17:32, 26 April 2009 (diff | hist) . . (+157) . . m Installation
- 17:23, 26 April 2009 (diff | hist) . . (+22) . . m Installation
- 17:20, 26 April 2009 (diff | hist) . . (+289) . . Installation
- 17:01, 26 April 2009 (diff | hist) . . (+2,562) . . Nm Installation (New page: The SourceForge repository contains several versions of REDUCE, including the complete sources for both REDUCE and the underlying CSL Lisp system. The best place to start downloading is t...)
- 16:19, 26 April 2009 (diff | hist) . . (+37) . . m Main Page
- 16:05, 26 April 2009 (diff | hist) . . (-615) . . m Main Page
- 16:04, 26 April 2009 (diff | hist) . . (+1,609) . . m Reduce (current)
- 16:00, 26 April 2009 (diff | hist) . . (+6) . . m Main Page
- 15:50, 26 April 2009 (diff | hist) . . (+820) . . m Main Page
- 15:29, 26 April 2009 (diff | hist) . . (0) . . File:MediaWikiSidebarLogo.png (uploaded a new version of "Image:MediaWikiSidebarLogo.png") (current)
- 15:13, 26 April 2009 (diff | hist) . . (-8) . . m MediaWiki:Common.css
- 15:12, 26 April 2009 (diff | hist) . . (+2) . . m MediaWiki:Common.css
- 15:08, 26 April 2009 (diff | hist) . . (+6) . . m MediaWiki:Common.css
- 15:03, 26 April 2009 (diff | hist) . . (+23) . . m MediaWiki:Common.css
- 14:56, 26 April 2009 (diff | hist) . . (+6,217) . . m MediaWiki:Common.css
- 14:48, 26 April 2009 (diff | hist) . . (-63) . . m MediaWiki:Common.css
- 14:40, 26 April 2009 (diff | hist) . . (-28) . . m MediaWiki:Common.css
- 14:37, 26 April 2009 (diff | hist) . . (+32) . . m MediaWiki:Common.css
- 14:21, 26 April 2009 (diff | hist) . . (0) . . m MediaWiki:Common.css
- 14:19, 26 April 2009 (diff | hist) . . (0) . . m MediaWiki:Common.css
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
