V. GIỚI THIỆU, NHẬN ĐỊNH MỘT SỐ GIỚI THIỆU, NHẬN ĐỊNH MỘT SỐ
giải toán trên máy tính
giải toán trên máy tính
° Các chương trình tính toán hình học trong bộ phần mềm Engineering 2000 trong đó có chương trình Geometrix của ByteSize CD-ROM, Inc.
° Chương trình StudyWorks của MathSoft, Inc.
° Các chương trình chỉ thực hiện các tính toán dữ liệu số cụ thể dựa vào một vài khung (frames) dữ liệu đơn
giản.
° Chưa có một cơ sở tri thức và một bộ giải bài toán dựa trên tri thức có thể giải các lớp bài toán tổng quát khác nhau.
° Chưa phải là một hệ giải toán dựa trên tri thức.
Nhận định chung:Nhận định chung: Nhận định chung:
5.7 Phần mềm MAPLE
5.7 Phần mềm MAPLE
° MAPLE là phần mềm đại số tính toán khá mạnh với phiên bản mới nhất là MAPLE 6.0.
° Chương trình không chỉ các tính toán số mà cả các tính toán ký hiệu (symbolic computation). Nó có một nhân tính toán rất mạnh và một hệ thống thư viện tính toán gồm nhiều gói chương trình (package) cho các phần tính toán toán học khác nhau như đại số tuyến tính, giải tích, hình học, số học, v.v…
° Maple còn cho phép khả năng lập trình với các cấu trúc dữ liệu trừu tượng.
° Tuy khả năng hỗ trợ tính toán và lập trình của Maple đạt đến trình độ rất cao nhưng chủ yếu là các thủ tục tính toán cho từng vấn đề đơn lẻ như giải một phương trình, tính đạo hàm của một hàm số, thức hiện các phép tính trên đa thức.
° Maple chưa thật sự cài đặt một cơ sở tri thức cho các phần toán học khác nhau với các bộ suy luận giải toán dựa trên tri thức.
Nhận định chung:Nhận định chung: Nhận định chung: