Liste der Open-Source-Software für Mathematik
Dies ist eine Liste von Open Source Software für mathematische Berechnungen mit hoher Ordnung verwendet werden. Diese Software hat eine wichtige Rolle im Bereich der Mathematik gespielt.[1] Open-Source-Software in Mathematik ist aufgrund der hohen Kosten für Lehrbücher in der Bildung zentral geworden.[2]
Computeralgebra -Systeme
A Computeralgebra -System ist eine Art von Software -Set, die zur Manipulation von verwendet wird Mathematische Formeln. Das Hauptziel eines Computeralgebrasystems besteht darin, monoton und manchmal problematisch zu systematisieren algebraisch Manipulationsaufgaben. Der Hauptunterschied zwischen einem Computeralgebra und einem traditionellen Unterschied Taschenrechner ist die Fähigkeit, mit Gleichungen umzugehen symbolisch eher als numerisch. Die genauen Verwendungszwecke und Fähigkeiten dieser Systeme unterscheiden sich stark von einem System zum anderen, aber ihr Zweck bleibt gleich: Manipulation von Symbolische Gleichungen. Das Computeralgebra -System umfasst häufig Einrichtungen für Grafik Gleichungen und liefern a Programmiersprache für die eigenen Benutzer Verfahren.
Axiom
Axiom ist ein Allzweck Computeralgebra -System. Es ist seit 1971 in der Entwicklung von IBM, ursprünglich genannt Scratchpad. Richard Jenks leitete es ursprünglich, aber im Laufe der Jahre nahm Barry Trager, der dann die Richtung des Scratchpad -Projekts geprägt hat, das Projekt. Project Scratchpad wurde schließlich an eine numerische Gruppe namens verkauft Gruppe numerische Algorithmen (Nag) und wurde in Axiom umbenannt. Nach einem Versäumnis, als Produkt zu starten, beschloss Nag, es als a zu veröffentlichen gratis Software Im Jahr 2001 wurden im Wert von mehr als 300 künstlichen Forschungen beteiligt. Axiom ist unter einem modifizierten lizenziert BSD -Lizenz.
Maxima
Dies gratis Software hatte eine frühere Inkarnation, MACSYMA. Entwickelt von Massachusetts Institute of Technology In den 1960er Jahren wurde es von unterhalten William Schelter Von 1982 bis 2001. 1998 erhielt Schelter die Erlaubnis zur Freigabe Maxima als an Quelloffene Software unter dem GNU Allgemeine öffentliche Lizenz. Anschließend ließ er das frei Quellcode in die Welt später in diesem Jahr. Seit seinem Tod im Jahr 2001 eine Gruppe von Maxima Enthusiasten haben weiterhin technische Unterstützung geleistet.
LÜCKE
GAP wurde durch initiiert von RWTH Aachen University 1986. Dies war bis 1997 der Fall, als sie beschlossen, die Lücke mit Circa (Center for Research in Computational Algebra) zusammenzuarbeiten. Im Gegensatz zu Maxima und Axiom ist GAP ein System für die Berechnung Diskrete Algebra mit besonderer Betonung auf Computergruppentheorie. Im März 2005 haben sich der Gap Council und die Gap -Entwickler vereinbart, dass Status und Verantwortlichkeiten der "Gap -Hauptsitz" in eine gleiche Zusammenarbeit einer Reihe von "Gap Center" übertragen werden sollten, in denen eine dauerhafte Beteiligung der Mitarbeiter und ein Element von Kollektiv oder Organisation vorhanden ist Engagement, obwohl sie die wichtigsten Beiträge vieler Personen außerhalb dieser Zentren voll erkennen.
Cadabra
A Computeralgebra -System entwickelt für die Lösung von Problemen in aufstellen Theorie. Ein unveröffentlichtes Computerprogramm, das geschrieben wurde in Pascal Abra inspirierte dies Quelloffene Software. Abra wurde ursprünglich für Physiker Probleme, die in den vorhandenen Problemen berechnet werden Quantenmechanik. Keffers Peeters beschlossen dann, ein ähnliches Programm in zu schreiben C Rechensprache eher in Pascal, was er umbenannte Cadabra. Jedoch, Cadabra Wurde für eine größere Auswahl an Verwendungsmöglichkeiten erweitert, ist es nicht mehr auf Physiker beschränkt.
Kakao
Kakao (Berechnungen in der kommutativen Algebra) ist Quelloffene Software verwendet zum Computer multivariate Polynome und 1987 initiiert. Ursprünglich geschrieben in Pascal, Kakao wurde später in übersetzt in C.
Xcas
XCAS/GIAC ist ein Open-Source-Projekt, das am entwickelt wurde Joseph Fourier University von Grenoble seit 2000. geschrieben in C ++ Sprache, gepflegt von Bernard Parisses et al. Und verfügbar für Fenster, Mac, Linux und viele andere Plattformen. Es hat einen Kompatibilitätsmodus mit Ahorn, Ableiten und Mupad Software und Ti-89, Ti-92 und Reise 200 Taschenrechner. Das System wurde von ausgewählt von Hewlett Packard als CAS für ihre HP Prime Taschenrechner, der den GIAC/XCAS 1.1.2-Motor unter einem Dual-Lizenz-Schema verwendet.
PARI/GP
Pari/GP ist ein Computeralgebra-System, das die Zahlen-Theorie-Berechnung erleichtert. Neben der Unterstützung von Factoring, der algebraischen Zahlentheorie und der Analyse elliptischer Kurven funktioniert sie mit mathematischen Objekten wie Matrizen, Polynomen, Power -Serien, algebraischen Zahlen und transzendentalen Funktionen.[3] Ursprünglich von Henri Cohen et al. Von der Université Bordeaux I, Frankreich, entwickelt, ist es jetzt jetzt Gpl Software. Die interaktive GP-GP-Shell ermöglicht das Skripten mit GP-Sprache. Der GP2C -Compiler kompiliert GP -Skripte in C; und in der Pari C -Bibliothek können C -Programme PARI/GP -Funktionen verwenden.
Sympy
Sympy ist ein Computer -Algebra -System, das in geschrieben wurde Python.
Mathematik
Mathics ist eine Open-Source-GPL3-Lizenzversion der Wolfram-Sprache.
Geometrie
GeogeBra
Geogebra (Geometrie und Algebra) - Kombiniert geometrische Objekte wie Kreise und Funktionen von Funktionen mit seiner algebraischen Darstellung, z. Reservierung eines Kreises mit dem Radius . Entworfen für den Einsatz in Schulen und Bildungseinrichtungen.
Numerische Analyse
Numerische Analyse ist ein Bereich der Mathematik, der schafft und analysiert Algorithmen zum Erhalten Numerische Näherungen zu Problemen einbezogen kontinuierlich Variablen. Wenn ein willkürlich Funktion Hat keine geschlossene Form als Lösung, es würde keine analytischen Tools vorhanden sein, um die gewünschten Lösungen zu bewerten, daher wird stattdessen eine Annäherungsmethode angewendet.
Modelica
Modellica ist eine objektorientierte, deklarative Modellierungssprache mit mehreren Domänen für die Komponenten-orientierte Modellierung komplexer Systeme, einschließlich algebraischer und differentialer Gleichungen. OpenModelica und Jmodelica sind einige der OpenSource -Implementierungen der Sprache.
Oktave
Oktave (auch bekannt als Oktave) ist eine Alternative zu Matlab. Eaton ursprünglich 1988 von John W. Eaton als Begleitsoftware für ein Studienbuch konzipiert, entschied sich später, es in ein flexibleres Werkzeug zu modifizieren. Entwicklung begonnen im Jahr 1992 und die Alpha -Version wurde 1993 veröffentlicht. Anschließend wurde Version 1.0 ein Jahr danach 1994 veröffentlicht. Octave ist ein hohes Niveau Sprache mit der Hauptabsicht in Numerische Berechnung.
Scilab
Inspiriert von Matlab, Scilab wurde Mitte der 1980er Jahre in der INRIA (Französisches Nationales Institut für Informatik und Kontrolle). François Delebecque und Serge Steer haben es entwickelt und wurde von veröffentlicht von INRIA 1994 als Open-Source-Software. Seit 2008, Scilab wurde unter dem verteilt Cecill -Lizenz, welches ist Gpl kompatibel. Im Jahr 2010 wurde Scilab Enterprise gegründet, um der Software noch mehr Unterstützung zu bieten.
Freemat
Freemat ist eine Alternative zu Matlab.
Scipy
Scipy ist a Python Programmiersprachbibliothek, um die Fähigkeit von Python zu nutzen, große Datensätze zu verarbeiten.[4]
Gnuplot
Gnuplot in einem Open-Source-Graphing-Programm und über umfangreiche Grafikfunktionen verfügt, verfügt jedoch auch über die geringsten Quadrate für eine breite Palette benutzerdefinierter Funktionen in zwei und drei Dimensionen. http://www.gnuplot.info/
Statistiken
Statistiken ist die Untersuchung, wie numerische Informationen aus Daten zusammengestellt und interpretiert werden. Es ist die Wissenschaft des Lernens aus Daten und die Kommunikation der Unsicherheit. Es gibt zwei Zweige in Statistiken: 'Beschreibende Statistik'' und '' Inferenzstatistik
Beschreibende Statistik Beinhaltet Methoden zum Organisieren, Abbild und Zusammenfassen von Informationen aus Daten. Inferenzstatistik beinhaltet Methoden zur Verwendung von Informationen von a Probe Schlussfolgerungen über die Bevölkerung ziehen.
Alternativen zu SPSS
R Statistiksoftware, Sofa -Statistik, PSPP und Jasp sind Open -Source -Software -Wettbewerber zu SPSS, weit verbreitet für die statistische Analyse von Stichprobendaten. PSPP wird vom GNU -Projekt aufrechterhalten. Sofa -Statistik spricht Anfänger mit grundlegenden Funktionen an GNU-R-Statistiksoftware hat eine große Gemeinschaft, die pflegt R Pakete Auch jenseits der statistischen Analyse.
R
R ist beide a Sprache und Software benutzt für Statistisches Computer und Grafik. R wurde ursprünglich von entwickelt von Glockenlabors (Derzeit bekannt als als Lucent Technologies) durch John Chambers. Seit R ist weitgehend geschrieben in C Sprache, Benutzer können verwenden C oder C ++ Befehle, um R-Objekte direkt zu manipulieren. Ebenfalls, R läuft am meisten Unix Plattformen. R ist derzeit Teil der Kostenlose Software -Stiftung GNU -Projekt.
Demetra+
Demetra ist ein Programm für saisonale Anpassungen das wurde entwickelt und veröffentlicht von Eurostat – Europäische Kommission unter dem EUPL Lizenz.
Mehrzweck -Mathematik -Software
Eine solche Software wurden mit der ursprünglichen Absicht erstellt, a bereitzustellen Mathematik Plattform, die verglichen werden kann proprietäre Software wie zum Beispiel Matlab und Mathematica. Sie enthalten mehrere andere gratis Software und haben daher mehr Funktionen als der Rest der Software genannt.
Sagemath
Sagemath ist teilweise als kostenlose Alternative zu den allgemeinen Mathematikprodukten konzipiert Ahorn und Matlab. Es kann über eine Website heruntergeladen oder verwendet werden. Sagemath umfasst eine Vielzahl anderer kostenloser Pakete mit einer gemeinsamen Schnittstelle und Sprache.
Sagemath wurde von initiiert von William Stein, von Harvard Universität im Jahr 2005 für sein persönliches Projekt in Zahlentheorie. Es war ursprünglich als "" Hecke und Manin "bekannt. Nach kurzer Zeit wurde es in Sage umbenannt, das für "Software für Algebra- und Geometrie -Experimente" steht. Sage 0,1 wurde 2005 veröffentlicht und fast ein Jahr später wurde Sage 1.0 veröffentlicht. Es bestand bereits aus Pari, LÜCKE, Singular und Maxima mit einem Schnittstelle das rivals mit dem von Mathematica.
Theoremprover
- Alt-Engo
- Automat
- CVC
- E
- GKC
- Gödel Machine
- Iprover
- Isaplanner
- Ked Theorem Prover[5]
- Leancop[6]
- Leo II
- LCF
- Logictools Online -Theorem Prover
- Lotrec[7]
- Metaprl[8]
- Mizar
- Nuprl
- Paradox
- Prover9
- PVS
- Vereinfachen
- Spark (Programmiersprache)
- Zwölf
- Z3 Theorem Prover
Freizeit -Mathematik -Software
Siehe auch
Verweise
- ^ David Joyner; William Stein (November 2007). "Open Source Mathematical Software" (PDF). American Mathematical Society. Abgerufen 11. Juni 2013.
- ^ Russell Herman; Gabriel Lugo (24. Mai 2008). "Open Source -Ressourcen für Lehre und Forschung in Mathematik" (PDF). Universität von North Carolina Wilmington. Abgerufen 11. Juni 2013.
- ^ "Pari/GP -Homepage". Archiviert von das Original Am 2019-09-29. Abgerufen 2016-12-28.
- ^ "Visualisierung von Big Data".
- ^ Artosi, Alberto, Paola Cattabriga und Guido Governatori. "KED: Ein Deontic -Theorem -Prover. "Elfte internationale Konferenz für Logikprogramme (ICLP'94). 1994.
- ^ Otten, Jens; BIBEL, Wolfgang (2003). "LeanCop: Lean-Verbindungsbasiertes Theorem beweisen". Zeitschrift für symbolische Berechnung. 36 (1–2): 139–161. doi:10.1016/s0747-7171 (03) 00037-3.
- ^ Del Cerro, Luis Fariñas; Fautoux, David; Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Massacci, Fabio (2001). "LOTREC: Der generische Tableau -Prover für Modal- und Beschreibung Logics". Automatisierte Argumentation. Vorlesungsnotizen in Informatik. Vol. 2083. S. 453–458. doi:10.1007/3-540-45744-5_38. ISBN 978-3-540-42254-9.
- ^ Hickey, Jason et al. "Metaprl - modulare logische Umgebung.