symbolic-computation

6Nhiệt

2Trả lời

C# thư viện quá tải^toán tử. Cách sử dụng ** thay thế?

Symbolism quá tải các toán tử số học của thư viện. Mặc dù nó được viết bằng C# Tôi có thể sử dụng nó từ F #: open Symbolism let x = new Symbol("x") let y = new Symbol("y") let z = new Symbol("z")

6Nhiệt

1Trả lời

Các bảng chân lý trong python sử dụng sympy

Tôi đang cố gắng tạo một chương trình, sử dụng sympy để lấy một tập các biến và đánh giá biểu thức logic biểu tượng trên miền của các biến đó. Vấn đề là tôi không thể nhận được python để đánh giá biểu

9Nhiệt

4Trả lời

Khoảng cách giữa việc thực thi biểu tượng và phân tích taint là gì?

Gần đây tôi đã đọc một tiêu đề giấy "All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)" bởi Dr. EJ Schwartz. Trong bài báo, ôn

11Nhiệt

2Trả lời

Yếu tố/collect biểu hiện trong Sympy

Tôi có một phương trình như: R₂⋅V₁ + R₃⋅V₁ - R₃⋅V₂ i₁ = ───────────────────── R₁⋅R₂ + R₁⋅R₃ + R₂⋅R₃ định nghĩa và tôi muốn chia nó thành yếu tố bao gồm chỉ biến duy nhất - trong trường hợp nà

33Nhiệt

6Trả lời

Giới thiệu về hệ thống đại số máy tính?

Không ai biết về bất kỳ tài nguyên nào (sách, lớp học, ghi chú bài giảng hay bất kỳ điều gì) về lý thuyết chung về hệ thống đại số máy tính (ví dụ: mathematica, sympy)? Tài liệu "Giới thiệu" được ưu t

5Nhiệt

2Trả lời

SymPy, đơn giản hóa/thay thế sử dụng các mẫu nổi tiếng hoặc tiểu biểu

tôi có các biểu hiện sau: 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*phi**(

10Nhiệt

2Trả lời

tính toán biểu tượng trong C++

Tôi cần phải tích hợp phân tích trong C++. Ví dụ: tôi nên tích hợp các biểu thức như sau: exp[I(x-y)], I là số ảo. Tôi có thể làm điều này bằng C++ bằng cách nào? Tôi đã thử GiNaC nhưng nó chỉ có thể

9Nhiệt

1Trả lời

Xử lý các phương trình piecewise được trả về bởi sympy tích hợp

Trong sympy tôi có tích phân trả về một đối tượng Piecewise, ví dụ: 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

6Nhiệt

2Trả lời

Thuật toán để phát hiện và loại bỏ ít nhất các sự kiện không nhất quán (có lẽ trong PROLOG)?

Làm cách nào để bạn lập trình thuật toán sau? Hãy tưởng tượng một danh sách các "sự kiện" như thế này, nơi mà các chữ cái đại diện cho các biến bị ràng buộc vào các giá trị số: x = 1 y = 2 z = 3 a