Folgerungen aus Gleichungssyt. < Mathe-Software < Mathe < Vorhilfe
|
Hallo, ich suche ein Programm (optimaler Weise MacOS X lauffähig) mit dem ich möglichst bequem Gleichungen und Ungleichungen aufstellen kann und anschließend Schlussfolgerungen daraus ziehen kann. Also ein Beispiel:
a, b, c >= 0
a + b + c = 1
a > b
b > c
Dann würde ich gerne von dem Programm wissen, dass c < 0.3333... ist. Oder wenn ich noch angebe, dass a = 0.5 ist, dann würde ich gerne bekommen, dass 0.5 > b > 0.25.
Insgesamt möchte ich bestimmt mehrere 100 solcher Gleichungen aufstellen, und dann bestimmte Annahmen Treffen und schauen was das für Konsequenzen hat. Eventuell auch bestimmte "Gleichgewichte" finden, wobei ich noch nicht genau weiß wie sich das Mathematisch genau ausdrücken wird.
Ich habe diese Frage auch in folgenden Foren auf anderen Internetseiten gestellt: http://de.pokerstrategy.com/forum/thread.php?threadid=1014096
Mir haben die Verweise auf Maxima und Matlab aber nur bedingt weitergeholfen, da mir beide recht umständlich für die Aufgaben vorkamen. Wenn es allerdings keine besseren Programme gibt würde ich mich über einen Verweis auf ein entsprechendes Tutorial sehr freuen.
Viele Grüße,
Martin
|
|
|
|
Hi,
> Hallo, ich suche ein Programm (optimaler Weise MacOS X
> lauffähig)
Für
http://www.wolframalpha.com/
brauchst du nur einen Browser
mit dem ich möglichst bequem Gleichungen und
> Ungleichungen aufstellen kann und anschließend
> Schlussfolgerungen daraus ziehen kann. Also ein Beispiel:
>
> a, b, c >= 0
> a + b + c = 1
> a > b
> b > c
Dann gib in wolframalpha einfach folgendes ein:
a >= 0;b>=0;c>=0; a + b + c = 1; a > b; b > c
>
> Dann würde ich gerne von dem Programm wissen, dass c <
> 0.3333... ist. Oder wenn ich noch angebe, dass a = 0.5 ist,
dann gib ein:
a >= 0;b>=0;c>=0; a + b + c = 1; a > b; b > c;a=0.5
> dann würde ich gerne bekommen, dass 0.5 > b > 0.25.
>
> Insgesamt möchte ich bestimmt mehrere 100 solcher
> Gleichungen aufstellen, und dann bestimmte Annahmen Treffen
> und schauen was das für Konsequenzen hat. Eventuell auch
> bestimmte "Gleichgewichte" finden, wobei ich noch nicht
> genau weiß wie sich das Mathematisch genau ausdrücken
> wird.
>
Die Folgerungen der Ungleichungen lassen doch direkt ablesen
>
> Viele Grüße,
> Martin
viele grüße zurück
|
|
|
|
|
Status: |
(Frage) reagiert/warte auf Reaktion | Datum: | 18:29 Mi 28.12.2011 | Autor: | MartinK13 |
Für wenige Gleichungen ist Wolfram Alpha wirklich sehr praktisch. Für mehrere Hundert ist es aber wohl unbrauchbar, allein schon weil das Eingabefeld nur eine bestimmte Stringlänge zulässt.
|
|
|
|
|
Dann wirst du wohl um ein CAS nicht drumherum kommen. Da wäre vielleicht Maple interessant für dich.
Zur Not geht auch ein OpenSource-Ableger von Matlab mit dem Namen Octave. Das ist allerdings kein CAS und kann dir nur die Schnittpunkte berechnen.
Vielleicht gibt es ja einen anderen Weg bei deiner Anwendung.
|
|
|
|