Einführung in die Computer-Algebra-Systeme? [geschlossen]

Question

Weiß jemand, der alle Ressourcen (Bücher, Klassen, Skriptum, oder irgendetwas) über die allgemeine Theorie der Computeralgebra-Systeme (zB Mathematica , sympy )?

„Einführung“ Materialien werden bevorzugt, aber ich merke, dass mit einem solchen spezialisierten Thema etwas gebunden ist ziemlich weit fortgeschritten sein.

Answer 1

„General Theory“ von CAS ist ein ziemlich großer Spielraum für eine Frage. Davon abgesehen, ich werde mein Bestes tun, so viel zu decken, wie ich kann, in der Hoffnung, dass etwas helfen Sie zu finden, was Sie suchen:)

Das Verfahren der ISSAC und SIGSAM Gruppen habe keinen Zweifel einige gute Sachen über Techniken für den Aufbau von CAS-Systemen. Eine Liste der verschiedenen Themen in den allgemeinen Bereich der CAS Gebäude finden Sie hier: http: // www.cs.berkeley.edu/~fateman/algebra.html

Wenn Sie mehr gesuchte Informationen darüber, wie einige der Mathematik codieren beteiligt sind, bin ich ein Fan der „Numerical Recipes“ -Serie; es enthält Beispielcode und eine einigermaßen anständige Erklärung der Mathematik in einem breiten Spektrum von Themen. Zuletzt überprüfte ich, eine Online-Version einer älteren Version des Buches verfügbar wurde hier: http: // www .nrbook.com / a / bookcpdf.php (Beachten Sie, dass dies die "Numerical Recipes in C" Form des Buches ist, gibt es Versionen in anderen Sprachen als auch)

.

Für eine CAS Gebäude in der Regel zwischen einem Ort zu starten, könnte hier sein: „Der Aufbau eines Computer-Algebra-Umgebung durch die Zusammensetzung von kollaborativen Tools“ von Kajler und Safir; Ein weiterer Ort, den Sie prüfen könnte, ist hier: http://www.math.wpi.edu /IQP/BVCalcHist/calc5.html , wo eine High-Level-Beschreibung, wie ein paar Leute ein CAS implementiert aufgeführt ist.

Die andere Sache, die Sie könnten versuchen, ist das Tauchen in den Code für einige der offenen CAS Projekte Quelle, die es gibt: yacas (Yet Another Computer Algebra System: Java), Axiom, etc. Ich mag die Liste hier: http://en.wikipedia.org/wiki/List_of_computer_algebra_systems

Hope etwas drin war nützlich!

Answer 2

Die Grundlagen gut abgedeckt sind in PAIP ; die Quellcode kostenlose Online- - siehe insbesondere die Quelldateien mit ‚Macsyma‘ im Namen. Die Themen umfassen umschreiben-Regelsysteme, Vereinfachung kanonische Formen, Integration und Differenzierung verwendet und Kompilieren und memoizing Rewrite-Regeln für die Geschwindigkeit.

Answer 3

Ich habe Algorithmen für Computeralgebra von K. O. gefunden Geddes ... als ziemlich nützlich. Ich bin ein Junior-Student mit einem leichten math Hintergrund auf OpenAxiom (CAS) zu tun Arbeit. Machen Sie sich bereit für einige schwere, schwere Mathe aber meine beste Rat ist, ein paar Bücher zu haben, wenn nur eine andere Perspektive haben, wenn Sie „stecken“ zu bekommen.

Es könnte helfen, wenn Sie vorschlagen, was Sie suchen in, welche Bereiche Sie sich interessieren, etc.

Answer 4

Hier ist ein Link von Wikipedia: Computer-Algebra-Systemen
Und ein anderer hier: http://www.math.wpi.edu/IQP/ BVCalcHist / calc5.html

Answer 5

Hier sind zwei Bücher, die Algorithmen für die Umsetzung Computer-Algebra-Systeme beschreiben:

Computer Algebra und Symbolic Computation: Elementare Algorithmen

Computer Algebra und Symbolic Computation: Mathematische Methoden

Ich habe diese Bücher Bibliotheken in Schema für Computeralgebra zu implementieren ( MPL ) und C # ( Symbolismus ).

Answer 6

Sie erwähnen SymPy in Frage, so werde ich zu dieser kurz sprechen.

Das Projekt und Gemeinschaft von SymPy sind sie eigentlich sehr gute Ressourcen.

1. Es gibt eine Vielzahl von Know-how, die regelmäßig überprüft und reagiert auf die rel="nofollow"> Mailing.
2. Der Code ist frei verfügbar auf Github .
3. Die Dokumentation ist ziemlich vollständig und enthält oft akademischen Zitate.

Wenn Sie in CASs kommen von interessiert sind. Die Autoren gerne darüber sprechen, was sie arbeiten. Wenn Sie interessiert sind, es ist leicht zu beginnen Sie Ihre eigenen Beiträge und hinzufügen.