imported>SchlurcherBot: Bot: http → https

2025-09-15T03:41:17Z

Bot: http → https

Neue Seite

{{Infobox Software
|Name= Reduce
|Logo=
|Screenshot=
|Beschreibung=
|Hersteller=
|AktuelleVersion=
|AktuelleVersionFreigabeDatum= 7. Oktober 2010
|Betriebssystem= [[Plattformunabhängigkeit|Plattformunabhängig]]
|Kategorie= [[Computeralgebrasystem]]
|Lizenz= [[BSD-Lizenz]]
|Deutsch=
|Website= [http://reduce-algebra.sourceforge.net/ http://reduce-algebra.sourceforge.net//]
}}

'''Reduce''' ist ein [[Computeralgebrasystem]], das sich als Allzwecksystem eignet und besonders mit Hinblick auf physikalische Anwendungen entwickelt wurde.<ref>{{cite journal|last1=Hearn|first1=Anthony C.|title=Applications of Symbol Manipulation in Theoretical Physics|journal=Commun. ACM|date=1971|volume=14|issue=8|pages=511–516|doi=10.1145/362637.362641|s2cid=2413069 |issn=0001-0782 |language=en}}</ref>

== Geschichte ==
[[Datei:Reduce 2 Listing 1978 sepia RK01.jpg |mini |Historisches Listing einer Berechnung zur [[Vandermonde-Matrix]], ausgeführt 1978 mit dem Computeralgebrasystem ''Reduce 2'' im [[Helmholtz-Zentrum Dresden-Rossendorf#Geschichte des Forschungsstandorts Rossendorf |ZfK Rossendorf]]<ref>{{Literatur |Autor=Gerd Grundmann, Reinhard Koch |Titel=Auswertung einer ersten Anwendung des algebraischen Programmsystems REDUCE 2 |Verlag=Zentralinstitut für Kernforschung Rossendorf, Bereich Reaktorphysik |Reihe=RPT-4/78 |Ort=Rossendorf |Datum=1978-07 |Umfang=30 S. + 40 S. Listings}}</ref>]]

''Reduce'' nimmt einen wichtigen Platz in der Geschichte der Computeralgebrasysteme ein. Es war eines der ersten. Die erste Version von ''Reduce'' wurde in den 1960er Jahren von [[Anthony C. Hearn]] geschrieben. Seitdem haben zahlreiche Wissenschaftler aus aller Welt zu seiner Weiterentwicklung beigetragen. Ausgangspunkt war Hearns Suche, Berechnungen zu [[Feynman-Diagramm]]en zu automatisieren. [[John McCarthy]], Professor an der [[Stanford University]], schlug ihm die Programmiersprache ''[[Lisp]]'' als Grundlage für nichtnumerisches Rechnen in der Physik vor, was Hearn aufgriff. Die erste Veröffentlichung dazu erschien 1966.<ref>{{cite journal |last1=Hearn |first1=Anthony C. |title=Applications of Symbol Manipulation in Theoretical Physics |journal=Communications of the ACM |date=1966 |volume=9 |issue=8 |pages=573–577 |doi=10.1145/365758.365766 |issn=0001-0782 |language=en}}</ref>

Bekannt wurde das Programm in den 1970er Jahren und musste zunächst käuflich erworben werden.<ref>{{Literatur |Autor=Anthony C. Hearn |Titel=Reduce 2 User's Manual |Verlag=Computer Science Dep. Univ |Ort=Stanford |Datum=1970 |Umfang=100}}</ref> Seit 2008 ist Reduce als [[Open Source|Open-Source]]-Projekt freigegeben und unter einer modifizierten [[BSD-Lizenz]] bei [[SourceForge]] kostenlos erhältlich.

Ab der Version 4.2 bietet die [[Dynamische Geometrie|Dynamische-Geometrie-Software (DGS)]] [[GeoGebra]] über ein separates Konsoleninterface den Zugriff auf MPReduce als internes Computeralgebrasystem. In der Version 4.4 wurde Reduce jedoch durch [[Giac]] ersetzt.

== Leistungsumfang ==
''Reduce'' ist in einem eigenen Lisp-Dialekt (Standard LISP) implementiert.<ref>{{Literatur |Autor=Anthony C. Hearn |Titel=Standard LISP |Verlag=University |Ort=Stanford, Calif. |Datum=1969 |Umfang=23, 11 S.}}</ref> Die Anwendersprache ist RLISP, die eine [[ALGOL]]-ähnliche Syntax hat. Besonderes Gewicht wurde auf [[Plattformunabhängigkeit|Portierbarkeit]] gelegt. Es existieren Versionen für die meisten Unix-Varianten, Linux, MS Windows und Apple Macintosh.

Als Merkmale sind hervorzuheben:
* Ganzzahl- und rationale [[Arithmetik]] in beliebiger Genauigkeit
* Lösung einer Vielzahl [[Algebraische Gleichung|algebraischer Gleichungen]]
* Algorithmen für [[Polynom]]e und [[rationale Funktion]]en
* Automatische und benutzergesteuerte Vereinfachung mathematischer Ausdrücke
* Substitutionen und [[Pattern Matching|Musterabgleich]] in vielfältiger Form
* Analytische [[Differentialrechnung|Differential-]] und [[Integralrechnung]]
* Berechnungen mit einer Vielzahl spezieller mathematischer Funktionen
* Berechnungen mit [[Dirac-Matrizen]], die für Hochenergiephysiker von Interesse sind<ref>{{cite journal|last1=Campbell|first1=J. A|last2=Hearn|first2=Anthony C|title=Symbolic analysis of Feynman diagrams by computer|journal=Journal of Computational Physics|date=1970-04-01|volume=5|issue=2|pages=280–327|doi=10.1016/0021-9991(70)90064-1|bibcode=1970JCoPh...5..280C |language=en}}</ref>
* Entscheidungsfindung für interpretierende [[Mathematische Logik|Logik]] erster Ordnung
* Leistungsstarke intuitive [[Programmiersprache]] auf Benutzerebene

== Weblinks ==
* [https://sourceforge.net/projects/reduce-algebra/ Reduce-Projektseite bei SourceForge]
* [http://reduce-algebra.sourceforge.net/ Reduce-Website bei SourceForge.]
* [https://reduce-algebra.sourceforge.io/web-reduce/about.php?start Web REDUCE] eine Website, um REDUCE ohne lokale Installation mit einem Web-Browser kennenzulernen und zu benutzen.
* [https://sourceforge.net/apps/mediawiki/reduce-algebra/index.php?title=Main_Page Reduce Wiki bei SourceForge]
* [http://www.reduce-algebra.com/ Tony Hearns Website zu Reduce]
* Anthony C. Hearn, [http://www.reduce-algebra.com/docs/reduce.pdf ''Reduce User's Manual Version 3.8''] (PDF; 893 kB), Februar 2004. [https://reduce-algebra.sourceforge.net/manual/manual-pdf.html Im HTML-Format]
* Anthony C. Hearn, [http://www.reduce-algebra.com/reduce40.pdf "Reduce: The First Forty Years"] (PDF; 41 kB), Eine Zusammenfassung der Geschichte von Reduce (2005).

== Einzelnachweise ==
<references />

[[Kategorie:Freies Computeralgebrasystem]]
[[Kategorie:Lisp]]

Reduce (Computeralgebrasystem) - Versionsgeschichte

imported>SchlurcherBot: Bot: http → https