Có bất kỳ mã nguồn mở hoặc dễ truy cập phần mềm có thể đơn giản hóa biểu thức đại số như

Tôi luôn tính toán mọi thứ bằng tay, nhưng bây giờ các đồng chí của tôi đang trở nên khó chịu và thực hiện rất nhiều bài tập lặp đi lặp lại liên quan đến việc chỉ cắm các thứ vào như biểu hiện ở trên. Tôi đặc biệt quan tâm đến các phần mềm nguồn mở như Python hoặc R để đơn giản hóa các loại phương trình này. Tôi đã thử sử dụng Wolfram Alpha , nhưng tôi đã không thành công. Có gì các gói phần mềm mã nguồn mở có thể thay thế biểu thức vào phương trìnhx 2 +2x+3và đơn giản hóa kết quả? Cụ thể, tôi đang tìm kiếm một gói phần mềm có một cái gì đó giống như mộtlệnh.$x=\sqrt{2}t-1$$x^{2}+2x+3$simplify

Bạn có thể muốn xem xét SymPy , đây là một thư viện Python với lệnh đơn giản hóa mong muốn của bạn .

>>> from sympy.abc import t
>>> import sympy
>>> x = t*2**(1/2) - 1
>>> x**2 + 2*x + 3
2*t + (t - 1)**2 + 1
>>> sympy.simplify(x**2 + 2*x + 3)
t**2 + 2

Sage có thể làm điều đó (bạn sẽ phải cuộn khá xa trang để đến phần đơn giản hóa).

Ngoài ra, hãy chắc chắn rằng bạn đã đọc phần giới thiệu chung về toán học tượng trưng trong Sage. Đó là ngữ nghĩa và cú pháp khá khác biệt so với Mathematica , đó là điều mà hầu hết mọi người đều quen thuộc.

Đây là một ví dụ từ tài liệu tôi liên kết với bạn:

sage: var('x,y,z,a,b,c,d,e,f')
(x, y, z, a, b, c, d, e, f)
sage: t = a^2 + b^2 + (x+y)^3
# substitute with keyword arguments (works only with symbols)
sage: t.subs(a=c)
(x + y)^3 + b^2 + c^2

Đối với trường hợp của bạn, điều này sẽ làm việc:

var(f,x,t)
f=x^2+2*x+3
f.subs(x=(sqrt(2)*t-1))
f.simplify()

Bạn đã có một số câu trả lời tốt với các gói nguồn mở tiên tiến chất lượng cao.

Tôi muốn trỏ đến http://www.mathics.net/ (http://mathics.org/ nếu bạn muốn tải xuống), đây là một CAS nguồn mở sử dụng cú pháp Mathicala (mà bạn có thể quen thuộc với một chút nếu bạn đang sử dụng WolramAlpha). Nó gần như không đầy đủ như bất kỳ đề xuất nào khác mà bạn nhận được. Nhưng nó có thể thực hiện các thao tác (rất đơn giản) mà bạn đã nói trong câu hỏi của mình.

Những gì bạn đang nói trong câu hỏi của bạn không thực sự đơn giản hóa, nhưng thay thế và mở rộng (không giống như đơn giản hóa phức tạp hơn, rất dễ thực hiện các thao tác có sẵn ngay cả trong CAS cơ bản nhất):

Trong toán học, nó sẽ trông như thế này:

eq = x^2 + 2x + 3

eq /. x -> Sqrt[2] t - 1

Expand[%]

Trong trường hợp bạn cần một hàm đơn giản hóa, nó được gọi Simplify[]và cũng sẽ hoạt động thay Expand[]cho ví dụ trên.

Như akid đã đề xuất, wxMaxima là một mặt trước đồ họa tuyệt vời cho Hệ thống Đại số Máy tính dựa trên lisp đáng kính gọi là Maxima .

Sử dụng ví dụ của bạn, bạn sẽ nhận được một cái gì đó như:

eq1: x=t*2**(1/2)-1;
$x=\sqrt{2}t-1$
eq2: x**2+2*x+3;
$x^{2}+2x+3$
eq3: subst(eq1, eq2);
$(\sqrt{2}t-1)^2+2(\sqrt{2}t-1)+3$
ratsimp(eq3);
$2t^2+2$

hoặc bạn có thể làm điều đó trực tiếp:

ratsimp(subst(x=t*2**(1/2)-1, x**2+2*x+3));
$2t^2+2$

Maxima có một số cách đơn giản hóa khác nhau, nhưng ratsimplà bước đầu tiên tốt.

wxMaxima có thể đơn giản hóa các biểu thức . Tôi tin rằng nó được coi là một sự thay thế cho Maple .

Tôi nghĩ rằng tôi đã có thể khiến Wolfram Alpha hoạt động . Có lẽ tôi sai về những gì bạn đang tìm kiếm.

nguồn mở: cực đại . Và kiểm tra Wikipedia để biết tổng quan.

Bạn có thể làm điều đó với Axiom (hoặc OpenAxiom hoặc Fricas ):

(1) -> eval( x^2 + 2*x + 3, x=sqrt(2)*t-1)
(1) -> 
          2
   (1)  2t  + 2
                                            Type: Polynomial(AlgebraicNumber)
(2) ->