symbolic-computation

6Hitze

1Antwort

Wahrheitstabellen in Python mit Hilfe von sympy

Ich versuche ein Programm zu erstellen, das mit Hilfe von sympy eine Menge von Variablen nimmt und einen symbolischen Logikausdruck über die Domäne dieser Variablen auswertet. Das Problem ist, dass ic

python symbolic-computation 2012-09-17

---

9Hitze

4Antwort

Was sind die Lücken zwischen symbolischer Ausführung und Taint-Analyse?

Ich las vor kurzem ein Papiertitel "All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)" von Dr. EJ Schwartz. In dem Artikel spr

security runtime static-analysis symbolic-computation dynamic-analysis 2015-03-02

---

5Hitze

2Antwort

SymPy, Vereinfachung/Substitution unter Verwendung von bekannten Mustern oder Unterausdrücke

Ich habe den folgenden Ausdruck: from sympy import pi, sin, cos, var, simplify var('j,u,v,w,vt,wt,a2,t,phi') u0 = v*a2*sin(pi*j/2 + pi*j*t*phi**(-1)/2) + pi*vt*a2*cos(pi*j/2 + pi*j*t*phi**(-1)/2)*j

python substitution sympy symbolic-math symbolic-computation 2013-08-02

---

10Hitze

2Antwort

symbolische Berechnung in C++

Ich muss analytische Integration in C++ machen. Zum Beispiel sollte ich solche Ausdrücke integrieren: exp[I(x-y)], I ist eine imaginäre Zahl. Wie kann ich das in C++ tun? Ich versuchte GiNaC, aber es

c++ symbolic-computation 2012-07-04

---

6Hitze

2Antwort

C# -Bibliothek überlastet den Operator ^. Wie benutze ich stattdessen **?

Die Bibliothek Symbolism überlastet arithmetische Operatoren. Obwohl es in C# geschrieben ist kann ich es von F # verwenden: open Symbolism let x = new Symbol("x") let y = new Symbol("y") let z =

f# symbolic-math computer-algebra-systems symbolic-computation 2013-03-11

---

9Hitze

1Antwort

Umgang mit stückweise Gleichungen von Sympy zurückgegeben integrieren

In Sympy habe ich ein Integral, das ein stückweises Objekt, z. In [2]: from sympy.abc import x,y,z In [3]: test = exp(-x**2/z**2) In [4]: itest = integrate(test,(x,0,oo)) In [5]: itest Out[5]:

python sympy symbolic-math computer-algebra-systems symbolic-computation 2013-03-14

---

6Hitze

2Antwort

Algorithmus zum Erkennen und Entfernen der wenigsten inkonsistenten Fakten (wahrscheinlich in PROLOG)?

Wie programmieren Sie den folgenden Algorithmus? Stellen Sie sich eine Liste von „Fakten“ wie diese, wo die Buchstaben Variablen gebunden numerische Werte repräsentieren: x = 1 y = 2 z = 3 a = 1 b

algorithm prolog logic algebraic-data-types symbolic-computation 2014-09-13

---

0Hitze

1Antwort

Verwenden Sie symbolische Matlab für flexible Anzahl von Argumenten und Funktionen

Ich habe eine Funktion F, die als ein Vektor ein nimmt. Sowohl der Ausgang der Funktion als auch a sind Vektoren der Länge N, wobei N beliebig ist. Jede Komponente F n ist von der Form g (a (n), ein (

matlab symbolic-computation 2016-03-19

---