Reduce (Computeralgebrasystem)
| Reduce
| |
|---|---|
| [[Datei:Lua-Fehler in Modul:Wikidata, Zeile 1686: attempt to index field 'wikibase' (a nil value)|150px]] | |
| Basisdaten
| |
| Maintainer | Lua-Fehler in Modul:Wikidata, Zeile 1686: attempt to index field 'wikibase' (a nil value) |
| Entwickler | Lua-Fehler in Modul:Wikidata, Zeile 1686: attempt to index field 'wikibase' (a nil value) |
| Erscheinungsjahr | Lua-Fehler in Modul:Wikidata, Zeile 1686: attempt to index field 'wikibase' (a nil value) |
| Aktuelle Version | Lua-Fehler in Modul:Wikidata, Zeile 1686: attempt to index field 'wikibase' (a nil value) (Lua-Fehler in Modul:Wikidata, Zeile 1686: attempt to index field 'wikibase' (a nil value)) |
| Aktuelle Vorabversion | Lua-Fehler in Modul:Wikidata, Zeile 1686: attempt to index field 'wikibase' (a nil value) (Lua-Fehler in Modul:Wikidata, Zeile 1686: attempt to index field 'wikibase' (a nil value)) |
| Betriebssystem | Plattformunabhängig |
| Programmiersprache | Lua-Fehler in Modul:Wikidata, Zeile 1686: attempt to index field 'wikibase' (a nil value) |
| Kategorie | Computeralgebrasystem |
| Lizenz | BSD-Lizenz |
| http://reduce-algebra.sourceforge.net// | |
Reduce ist ein Computeralgebrasystem, das sich als Allzwecksystem eignet und besonders mit Hinblick auf physikalische Anwendungen entwickelt wurde.<ref>Vorlage:Cite book/URLVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung2</ref>
Geschichte
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-Diagrammen 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>Vorlage:Cite book/URLVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung2</ref>
Bekannt wurde das Programm in den 1970er Jahren und musste zunächst käuflich erworben werden.<ref>Anthony C. Hearn: Reduce 2 User's Manual. Computer Science Dep. Univ, Stanford 1970 (100 S.).</ref> Seit 2008 ist Reduce als Open-Source-Projekt freigegeben und unter einer modifizierten BSD-Lizenz bei SourceForge kostenlos erhältlich.
Ab der Version 4.2 bietet die 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>Anthony C. Hearn: Standard LISP. University, Stanford, Calif. 1969 (23, 11 S.).</ref> Die Anwendersprache ist RLISP, die eine ALGOL-ähnliche Syntax hat. Besonderes Gewicht wurde auf 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 algebraischer Gleichungen
- Algorithmen für Polynome und rationale Funktionen
- Automatische und benutzergesteuerte Vereinfachung mathematischer Ausdrücke
- Substitutionen und Musterabgleich in vielfältiger Form
- Analytische Differential- und Integralrechnung
- Berechnungen mit einer Vielzahl spezieller mathematischer Funktionen
- Berechnungen mit Dirac-Matrizen, die für Hochenergiephysiker von Interesse sind<ref>Vorlage:Cite book/URLVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung2</ref>
- Entscheidungsfindung für interpretierende Logik erster Ordnung
- Leistungsstarke intuitive Programmiersprache auf Benutzerebene
Weblinks
- Reduce-Projektseite bei SourceForge
- Reduce-Website bei SourceForge.
- Web REDUCE eine Website, um REDUCE ohne lokale Installation mit einem Web-Browser kennenzulernen und zu benutzen.
- Reduce Wiki bei SourceForge
- Tony Hearns Website zu Reduce
- Anthony C. Hearn, Reduce User's Manual Version 3.8 (PDF; 893 kB), Februar 2004. Im HTML-Format
- Anthony C. Hearn, "Reduce: The First Forty Years" (PDF; 41 kB), Eine Zusammenfassung der Geschichte von Reduce (2005).
Einzelnachweise
<references />