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)?Giới thiệu về hệ thống đại số máy tính?
Tài liệu "Giới thiệu" được ưu tiên, nhưng tôi nhận ra rằng với một chủ đề chuyên môn như vậy, mọi thứ đều bị ràng buộc là khá tiên tiến.
"Lý thuyết chung" của CAS là một phạm vi khá lớn cho một câu hỏi. Điều đó đang được nói, tôi sẽ làm hết sức mình để trang trải nhiều nhất có thể với hy vọng rằng một cái gì đó giúp bạn tìm thấy những gì bạn đang tìm kiếm :)
Các thủ tục tố tụng của các nhóm ISSAC và SIGSAM chắc chắn sẽ có một số những thứ tốt về kỹ thuật xây dựng hệ thống CAS. Danh sách các chủ đề khác nhau trong khu vực chung của tòa nhà CAS có sẵn tại đây: http://www.cs.berkeley.edu/~fateman/algebra.html
Nếu bạn đang tìm kiếm thông tin về cách mã hóa một số môn toán liên quan, tôi là người hâm mộ của "Bí quyết số" loạt; nó cung cấp mã mẫu và giải thích hợp lý về toán học trong một loạt các chủ đề. Cuối cùng tôi đã kiểm tra, một phiên bản trực tuyến của một phiên bản cũ của cuốn sách đã có sẵn tại đây: http://www.nrbook.com/a/bookcpdf.php (Lưu ý rằng đây là dạng "Công thức số trong C" của cuốn sách; cũng có các phiên bản bằng các ngôn ngữ khác).
Để xây dựng một CAS nói chung, một nơi để bắt đầu có thể ở đây: "Xây dựng môi trường đại số máy tính theo thành phần của các công cụ cộng tác" của Kajler và Safir; Một địa điểm khác mà bạn có thể kiểm tra ở đây: http://www.math.wpi.edu/IQP/BVCalcHist/calc5.html nơi mô tả mức độ cao về cách một vài người thực hiện CAS được liệt kê.
Điều khác bạn có thể thử là tìm hiểu mã nguồn cho một vài dự án CAS nguồn mở tồn tại: YACAS (Hệ thống đại số máy tính khác: Java), Axiom, v.v. Tôi thích danh sách ở đây: http://en.wikipedia.org/wiki/List_of_computer_algebra_systems
Hy vọng điều gì đó trong đó hữu ích!
Dưới đây là một liên kết từ Wikipedia: Computer Algebra Systems
Và khác ở đây: http://www.math.wpi.edu/IQP/BVCalcHist/calc5.html
tôi đã tìm thấy thuật toán cho đại số máy tính bằng cách K.O. Geddes ... khá hữu ích. Tôi là một sinh viên đại học với một nền toán học ánh sáng làm việc trên OpenAxiom (một CAS). Hãy sẵn sàng cho một số môn toán nặng, nặng, tuy nhiên, lời khuyên tốt nhất của tôi là có một vài cuốn sách nếu chỉ có một quan điểm khác nếu bạn bị "kẹt".
Nó có thể giúp đỡ nếu bạn đề nghị những gì bạn đang nhìn vào, những gì khu vực bạn quan tâm vv
Thông tin cơ bản được đề cập rõ ràng trong PAIP; mã nguồn là free online - xem đặc biệt là các tệp nguồn có 'macsyma' trong tên. Các chủ đề bao gồm các hệ thống viết lại quy tắc, đơn giản hóa bằng cách sử dụng các hình thức kinh điển, tích hợp và phân biệt, và biên dịch và ghi nhớ các quy tắc viết lại cho tốc độ.
Bạn đề cập đến SymPy trong câu hỏi của mình vì vậy tôi sẽ nói ngắn gọn.
Dự án và cộng đồng của SymPy thực sự là nguồn tài nguyên rất tốt.
Nếu bạn quan tâm đến CASs. Những người đóng góp muốn nói về những gì họ làm việc. Nếu bạn quan tâm đến nó là easy to get started và thêm đóng góp của riêng bạn.
Dưới đây là hai cuốn sách trong đó mô tả các thuật toán được sử dụng để triển khai hệ thống đại số máy tính:
Computer Algebra and Symbolic Computation: Elementary Algorithms
Computer Algebra and Symbolic Computation: Mathematical Methods
tôi đã sử dụng những cuốn sách này để thực hiện các thư viện cho đại số máy tính trong Scheme (MPL) và C# (Symbolism).
Cảm ơn bạn đã biết thông tin, tôi sẽ kiểm tra các liên kết và có thể giúp bạn tìm thêm thông tin trong tương lai. –