Mathe-Löser mit Schritten

Question

Ich habe eine schwere Zeit mit Mathematik, aber ich finde mich immer in immer schwieriger werdenden Mathe-Kursen wieder. Im Laufe der Jahre habe ich ein kleines "Vermögen" verschiedener Skripte und Programme angehäuft. Sie sind in einer Vielzahl von Sprachen geschrieben, von C bis Java und Python und sogar ein paar in Lisp (ich mag es, mit verschiedenen Sprachen herumzualbern). Diese sind großartig, um schnelle Antworten zu erhalten oder meine Hausaufgaben zu überprüfen, aber nicht so großartig, um zu zeigen, wie diese Antworten erhalten wurden. Meine Frage ist, wie würde ich einen "Solver" -Aspekt zu diesen verschiedenen Programmen hinzufügen? Es muss nicht sprachspezifisch sein, sondern nur ein Konzept oder ein bestimmtes Wort oder eine Definition wäre von immenser Hilfe. Ich möchte im Grunde ein Programm vom Typ Wolfram Alpha machen, in das man das Problem einfügt, und es zeigt eine Schritt-für-Schritt-Lösung. Ich habe die letzten Tage damit verbracht, das zu erforschen, aber ich werde immer zu einer App oder frustrierend zu Wolfram Alpha selbst weitergeleitet. Irgendwelche Vorschläge würden sehr geschätzt. Vielen Dank.

Answer 1

Über welche Kategorien von Mathematik sprechen Sie?

Es scheint kein universelles mathematisches Lösungsprogramm zu geben, das, was Sie erwähnten, klingt für mich wie das Konzept eines komplizierten Mathe-Systems (wie MatLab).

Und für, denke ich, eine große Skala von mathematischen Problemen, unterscheiden sich die Algorithmen für Computerprogramme, um sie zu lösen, von unseren Wegen, sie zu lösen.

Anstatt einen universellen Algorithmus, um Ihr Ziel zu erreichen, denke ich, dass Sie Ihr Problem in Stücke teilen können, und erreichen sie mit verschiedenen Programmen, gibt es eine These Symbolic Integration by Joel Moses, geben die ersten Kapitel eine gute Sicht auf, wie zu teilen ein mathematisches Problem in programmierbare Fälle (im Beispiel der Lösung von quadratischen Gleichungen), und die letzten hundert Seiten sind eine Reihe von Algorithmen zur Lösung irrationaler Integration, interpretiert in LISP.