User contributions
- 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
- 08:30, 25 April 2009 (diff | hist) . . (+996) . . N Heap (New page: The term heap refers to the computer memory used by REDUCE or, more precisely, by the underlying Lisp system. It must not be confused with the data structure with the name. ==Heap Organiz...)
- 08:10, 25 April 2009 (diff | hist) . . (+1) . . Category:System Design (current)
- 08:10, 25 April 2009 (diff | hist) . . (+3) . . Category:System Design
- 22:55, 24 April 2009 (diff | hist) . . (+2) . . Quantifier Elimination (→References)
- 22:41, 24 April 2009 (diff | hist) . . (+26) . . N Category:Mathematics (New page: Mathematics behind Reduce.) (current)
- 22:39, 24 April 2009 (diff | hist) . . (+356) . . N Category:System Design (New page: The idea of this category is to collect technical background information on REDUCE. It is the computer science counterpart of the category Mathematics. In contras...)
- 22:24, 24 April 2009 (diff | hist) . . (+128) . . REDLOG
- 22:20, 24 April 2009 (diff | hist) . . (0) . . N File:Rllogosqsoftt.gif (current)
- 22:14, 24 April 2009 (diff | hist) . . (-20) . . MediaWiki:Sidebar
- 22:11, 24 April 2009 (diff | hist) . . (-7) . . Garbage Collection (current)
- 22:08, 24 April 2009 (diff | hist) . . (+33) . . N Garbage Collection (New page: Category:Software Engineering)
- 22:06, 24 April 2009 (diff | hist) . . (+26) . . Quantifier Elimination
- 22:05, 24 April 2009 (diff | hist) . . (+23) . . REDLOG
- 22:03, 24 April 2009 (diff | hist) . . (-3) . . MediaWiki:Sidebar
- 22:02, 24 April 2009 (diff | hist) . . (+164) . . N Category:Packages (New page: REDUCE is complemented by numerous packages serving specialized mathematical purposes, which have to be loaded explicitly. The following is a quite incomplete list.) (current)
- 22:01, 24 April 2009 (diff | hist) . . (-7) . . PM (current)
- 22:01, 24 April 2009 (diff | hist) . . (-7) . . NORMFORM (current)
- 22:00, 24 April 2009 (diff | hist) . . (-7) . . MATHML (current)
- 21:59, 24 April 2009 (diff | hist) . . (-7) . . INVBASE (current)
- 21:59, 24 April 2009 (diff | hist) . . (-7) . . FIDE (current)
- 21:58, 24 April 2009 (diff | hist) . . (-7) . . CRACK (current)
- 21:57, 24 April 2009 (diff | hist) . . (-7) . . ATENSOR (current)
- 21:56, 24 April 2009 (diff | hist) . . (-8) . . ASSIST (current)
- 21:56, 24 April 2009 (diff | hist) . . (-7) . . ARNUM (current)
- 21:55, 24 April 2009 (diff | hist) . . (+122) . . N Category:Development (New page: The idea of this page is to provide access to information on the project interesting for developers rather than for users.) (current)
- 21:53, 24 April 2009 (diff | hist) . . (+36) . . Profiling (current)
- 16:55, 24 April 2009 (diff | hist) . . (+2) . . Main Page
- 16:54, 24 April 2009 (diff | hist) . . (-28) . . Main Page
- 16:51, 24 April 2009 (diff | hist) . . (+9) . . MediaWiki:Sidebar
- 16:49, 24 April 2009 (diff | hist) . . (+7) . . MediaWiki:Sidebar
- 16:48, 24 April 2009 (diff | hist) . . (+156) . . N PM (New page: Author: Kevin McIsaac PM is a general pattern matcher similar in style to those found in systems such as SMP and Mathematica. Category:Reduce Packages)
- 16:47, 24 April 2009 (diff | hist) . . (+311) . . N NORMFORM (New page: Author: Matt Rebbeck Computation of normal forms of matrices (Smith, Frobenius, Jordan). By default the domain of computation is the rational numbers. This can be extended to an algebrai...)
- 16:45, 24 April 2009 (diff | hist) . . (+573) . . N MATHML (New page: Author: Luis Alvarez-Sobreviela MathML is intended to facilitate the use and re-use of mathematical and scientific content on the Web, and for other applications such as computer algebra ...)
- 16:43, 24 April 2009 (diff | hist) . . (+3) . . INVBASE
- 16:42, 24 April 2009 (diff | hist) . . (+822) . . N INVBASE (New page: Authors: Alexey Yu. Zharkov, Yuri A. Blinkov Involutive bases are a tool for solving problems in connection with multivariate polynomials, such as solving systems of polynomial equations ...)
- 16:40, 24 April 2009 (diff | hist) . . (+1) . . FIDE
- 16:40, 24 April 2009 (diff | hist) . . (+501) . . N FIDE (New page: Author:Richard Liska Finite difference method for partial differential equation solving. The FIDE package performs automation of the process of numerical solving partial differential equ...)
- 16:38, 24 April 2009 (diff | hist) . . (+1) . . Category:Reduce Packages (current)
- 16:37, 24 April 2009 (diff | hist) . . (+140) . . Category:Reduce Packages
- 16:36, 24 April 2009 (diff | hist) . . (+612) . . N CRACK (New page: Authors: Andreas Brand and Thomas Wolf The package CRACK attempts to solve an overdetermined system of ordinary or partial differential equations (ODEs/PDEs) with at most polynomial non-l...)
- 16:33, 24 April 2009 (diff | hist) . . (+25) . . ASSIST
- 16:31, 24 April 2009 (diff | hist) . . (+28) . . ARNUM
- 16:30, 24 April 2009 (diff | hist) . . (+1) . . ATENSOR
- 16:29, 24 April 2009 (diff | hist) . . (-59) . . ATENSOR
- 16:27, 24 April 2009 (diff | hist) . . (+573) . . N ATENSOR (New page: ==Authors== V�. A. �Ilyin and A. �P. �Kryukovy ==Short Description== Simplification of tensor expressions with taking into account multiterm linear identities, symmetry relations,...)
- 16:22, 24 April 2009 (diff | hist) . . (+4) . . Category:Reduce Packages
- 16:22, 24 April 2009 (diff | hist) . . (+19) . . N Category:Reduce Packages (New page: [Reduce] [Packages])
- 16:18, 24 April 2009 (diff | hist) . . (+1) . . m ARNUM
- 16:17, 24 April 2009 (diff | hist) . . (+1) . . m ASSIST
- 16:14, 24 April 2009 (diff | hist) . . (+178) . . N ASSIST (New page: Various useful utilities. The assist package provides a number of general purpose functions which adapt REDUCE to various calculational strategies. Category: Reduce Package)
- 16:12, 24 April 2009 (diff | hist) . . (+358) . . N ARNUM (New page: Algebraic Number Fields. Algebraic numbers are the solutions of an irreducible polynomial over some ground domain. The algebraic number i (imaginary unit), for example, would be defined ...)
- 16:02, 24 April 2009 (diff | hist) . . (+36) . . m Main Page (→External Links)
- 15:56, 24 April 2009 (diff | hist) . . (+4) . . m Main Page (→References)
- 15:51, 24 April 2009 (diff | hist) . . (+44) . . MediaWiki:Common.css
- 15:48, 24 April 2009 (diff | hist) . . (+11) . . m MediaWiki:Common.css
- 10:53, 24 April 2009 (diff | hist) . . (-107) . . MediaWiki:Common.css
- 00:40, 24 April 2009 (diff | hist) . . (+7) . . m MediaWiki:Sidebar
- 00:39, 24 April 2009 (diff | hist) . . (-19) . . m Main Page
- 00:33, 24 April 2009 (diff | hist) . . (0) . . Quantifier Elimination
- 00:32, 24 April 2009 (diff | hist) . . (-6) . . Quantifier Elimination
- 00:28, 24 April 2009 (diff | hist) . . (-12) . . Quantifier Elimination
- 00:18, 24 April 2009 (diff | hist) . . (-17) . . MediaWiki:Sidebar
- 00:17, 24 April 2009 (diff | hist) . . (+1,537) . . Main Page
- 00:16, 24 April 2009 (diff | hist) . . (+1) . . m Main Page
- 00:14, 24 April 2009 (diff | hist) . . (-30) . . Main Page
- 00:11, 24 April 2009 (diff | hist) . . (+539) . . Main Page
- 00:05, 24 April 2009 (diff | hist) . . (+30) . . Main Page
- 00:04, 24 April 2009 (diff | hist) . . (0) . . N File:Redlogo.png (current)
- 23:59, 23 April 2009 (diff | hist) . . (0) . . File:MediaWikiSidebarLogo.png (uploaded a new version of "Image:MediaWikiSidebarLogo.png")
- 23:51, 23 April 2009 (diff | hist) . . (0) . . File:Logo.png (uploaded a new version of "Image:Logo.png") (current)
- 23:42, 23 April 2009 (diff | hist) . . (+61) . . MediaWiki:Sidebar
- 23:40, 23 April 2009 (diff | hist) . . (+9) . . MediaWiki:Sidebar
- 23:38, 23 April 2009 (diff | hist) . . (+102) . . MediaWiki:Sidebar
- 23:19, 23 April 2009 (diff | hist) . . (+635) . . N MediaWiki:Common.css (New page: /* CSS placed here will be applied to all skins */ /* Copied from Wikipedia by TS */ →Removes underlines from links: .nounderlines a { text-decoration: none; } /* Remove under...)
- 23:07, 23 April 2009 (diff | hist) . . (-17) . . MediaWiki:Sidebar
- 23:05, 23 April 2009 (diff | hist) . . (-100) . . MediaWiki:Sidebar
- 23:02, 23 April 2009 (diff | hist) . . (+222) . . N MediaWiki:Sidebar (New page: * SEARCH * navigation ** mainpage|mainpage-description <!-- ** portal-url|portal ** currentevents-url|currentevents ** recentchanges-url|recentchanges --> ** randompage-url|randompage ** h...)
- 21:38, 23 April 2009 (diff | hist) . . (+23) . . REDLOG
- 21:36, 23 April 2009 (diff | hist) . . (+475) . . N REDLOG (New page: REDLOG provides an extension of the computer algebra system REDUCE to a computer logic system. The name stands for REDUCE logic system. REDLOG implements symbolic algorithms on first-orde...)
- 21:31, 23 April 2009 (diff | hist) . . (-6) . . Quantifier Elimination
- 21:30, 23 April 2009 (diff | hist) . . (+10) . . Quantifier Elimination
- 21:23, 23 April 2009 (diff | hist) . . (+1,047) . . N Quantifier Elimination (New page: Quantifier elimination is implemented in the REDUCE package Redlog. To get an idea consider the following illustrating example over the real numbers: * Consider two b...)
- 21:20, 23 April 2009 (diff | hist) . . (0) . . N File:Qe-example.png (current)
- 21:07, 23 April 2009 (diff | hist) . . (+4,760) . . N Profiling (New page: In CSL REDUCE, the sources are in general compiled to byte code in contrast to native machine code. For efficiency reasons a limited subset of frequently used Lisp functions (currently...)
- 20:27, 23 April 2009 (diff | hist) . . (+296) . . N Development (New page: The idea of this page is to provide access to information on the project interesting for developers rather than for users. To be honest, I do not yet quite understand how such a Wiki is su...) (current)
- 20:18, 23 April 2009 (diff | hist) . . (-8) . . Main Page
- 20:14, 23 April 2009 (diff | hist) . . (-346) . . Main Page
