User contributions
(newest | oldest) View (newer 100 | older 100) (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
- 14:02, 26 April 2009 (diff | hist) . . (+27,462) . . m MediaWiki:Common.css
- 13:46, 26 April 2009 (diff | hist) . . (+6) . . m MediaWiki:Common.css
- 13:41, 26 April 2009 (diff | hist) . . (+64) . . m MediaWiki:Common.css
- 13:40, 26 April 2009 (diff | hist) . . (-6,253) . . m MediaWiki:Common.css
- 13:38, 26 April 2009 (diff | hist) . . (-26,910) . . m MediaWiki:Common.js (Replacing page with '→Any JavaScript here will be loaded for all users on every page load.: ') (current)
- 13:22, 26 April 2009 (diff | hist) . . (+5,270) . . m MediaWiki:Common.css
- 13:20, 26 April 2009 (diff | hist) . . (+26,984) . . Nm MediaWiki:Common.js (New page: /* Any JavaScript here will be loaded for all users on every page load. */ //<source lang="javascript"> →Import more specific scripts if necessary: if (wgAction == "edit" || wgAct...)
- 13:12, 26 April 2009 (diff | hist) . . (+948) . . m MediaWiki:Common.css
- 13:09, 26 April 2009 (diff | hist) . . (+946) . . Nm User:Thomas-sturm/monobook.css (New page: /** <pre><nowiki> */ /***** BACKGROUND COLORS FOR CONTENT ACTIONS *****/ →**** taken from Common.css into Monobook.css due to monobook-specific stuff ****: /* Colour of pseudo NS S...) (current)
- 08:54, 26 April 2009 (diff | hist) . . (-1) . . m Heap (current)
- 08:52, 26 April 2009 (diff | hist) . . (+6) . . m REDLOG (current)
- 08:50, 26 April 2009 (diff | hist) . . (+3) . . m REDLOG
- 08:48, 26 April 2009 (diff | hist) . . (+94) . . m REDLOG
- 08:42, 26 April 2009 (diff | hist) . . (+6) . . Main Page
- 19:31, 25 April 2009 (diff | hist) . . (+146) . . History (current)
- 19:24, 25 April 2009 (diff | hist) . . (+224) . . History
- 18:52, 25 April 2009 (diff | hist) . . (+30) . . Main Page
- 18:47, 25 April 2009 (diff | hist) . . (0) . . N File:Hearn.jpg (current)
- 15:40, 25 April 2009 (diff | hist) . . (+2) . . Reduce (Redirecting to Main Page)
- 15:38, 25 April 2009 (diff | hist) . . (+21) . . N Reduce (New page: #REDIRECT [Main Page])
- 14:21, 25 April 2009 (diff | hist) . . (-1) . . MediaWiki:Sidebar (current)
- 14:19, 25 April 2009 (diff | hist) . . (-24) . . MediaWiki:Sidebar
- 14:19, 25 April 2009 (diff | hist) . . (+59) . . MediaWiki:Sidebar
- 14:18, 25 April 2009 (diff | hist) . . (+41) . . N Category:Background (New page: Background information related to REDUCE.) (current)
- 14:17, 25 April 2009 (diff | hist) . . (+25) . . Main Page (→External Links)
- 14:16, 25 April 2009 (diff | hist) . . (+25) . . History (→References)
- 14:15, 25 April 2009 (diff | hist) . . (+2) . . Main Page (→See Also)
- 14:14, 25 April 2009 (diff | hist) . . (+37) . . Main Page
- 14:13, 25 April 2009 (diff | hist) . . (+53) . . History
- 14:02, 25 April 2009 (diff | hist) . . (+21) . . N Versions (Redirecting to History) (current)
- 13:59, 25 April 2009 (diff | hist) . . (+1,240) . . N History (New page: REDUCE has been developed by Anthony C. Hearn starting in 1963. First overviews over early versions have been published in 1966 and 1967. The initial application area of REDUCE was symbol...)
- 13:55, 25 April 2009 (diff | hist) . . (+94) . . N Template:Refend (New page: <includeonly></div></includeonly><noinclude>{{template doc|Template:refbegin/doc}}</noinclude>) (current)
- 13:54, 25 April 2009 (diff | hist) . . (+373) . . N Template:Refbegin (New page: <includeonly><div class="references-small" style="margin-left:1.5em;<!-- -->{{#if:{{{colwidth|}}}| -moz-column-width:{{{colwidth}}}; -webkit-column-width:{{{colwidth}}}; column-width:{{...) (current)
- 13:27, 25 April 2009 (diff | hist) . . (-170) . . Template:Reflist (current)
- 13:23, 25 April 2009 (diff | hist) . . (+471) . . N Template:Reflist (New page: <div class="references-small {{#if: {{{colwidth|}}} | references-column-width | {{#iferror: {{#ifexpr: {{{1|1}}}>1 | references-column-count references-column-count-{{{1}}} }} }} }}" {{#if...)
- 11:17, 25 April 2009 (diff | hist) . . (+71) . . Heap
- 11:07, 25 April 2009 (diff | hist) . . (+99) . . Heap (→Restrictions with PSL)
- 11:04, 25 April 2009 (diff | hist) . . (+888) . . Heap (→Heap Enlargement)
- 10:09, 25 April 2009 (diff | hist) . . (-3) . . Heap (→Restrictions with PSL)
- 10:08, 25 April 2009 (diff | hist) . . (-6) . . Heap (→Heap Organization)
- 10:07, 25 April 2009 (diff | hist) . . (+104) . . Heap
- 10:05, 25 April 2009 (diff | hist) . . (+220) . . Heap (→Restrictions with PSL)
- 09:58, 25 April 2009 (diff | hist) . . (+9) . . Heap (→PSL)
- 09:56, 25 April 2009 (diff | hist) . . (+4) . . Heap (→CSL)
- 09:55, 25 April 2009 (diff | hist) . . (+9) . . Heap (→PSL)
- 09:53, 25 April 2009 (diff | hist) . . (-84) . . Heap
- 09:33, 25 April 2009 (diff | hist) . . (+14) . . Heap (→Heap Organization)
- 09:32, 25 April 2009 (diff | hist) . . (+14) . . Heap (→Heap Sizes)
- 09:30, 25 April 2009 (diff | hist) . . (+27) . . Heap
- 09:26, 25 April 2009 (diff | hist) . . (+2,089) . . Heap
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
