Trong toán học tính toán, đại số máy tính, còn được gọi là tính toán bằng biểu tượng hoặc biểu số máy tính, là một lĩnh vực khoa học đề cập đến việc nghiên cứu và phát triển các thuật toán và phần mềm để điều khiển các biểu thức toán học và các đối tượng toán học khác. Mặc dù đại số máy tính có thể được coi là một trường con của điện toán khoa học, nhưng chúng thường được coi là các trường riêng biệt bởi vì điện toán khoa học thường dựa trên tính toán số với các số dấu phẩy động gần đúng, trong khi tính toán biểu tượng nhấn mạnh tính toán chính xác với các biểu thức chứa các biến không có giá trị nhất định và được thao tác như là các biểu tượng.Các ứng dụng phần mềm thực hiện các phép tính tượng trưng được gọi là hệ thống đại số máy tính, với thuật ngữ hệ thống ám chỉ sự phức tạp của các ứng dụng chính bao gồm, ít nhất là một phương pháp biểu diễn dữ liệu toán học trong máy tính, ngôn ngữ lập trình người dùng (thường khác với ngôn ngữ được sử dụng để thực hiện), trình quản lý bộ nhớ chuyên dụng, giao diện người dùng cho đầu vào / đầu ra của các biểu thức toán học, một tập hợp lớn các thói quen để thực hiện các hoạt động thông thường, như đơn giản hóa các biểu thức, phân biệt bằng cách sử dụng quy tắc chuỗi, nhân tử đa thức, tích phân bất định, v.v..Đại số máy tính được sử dụng rộng rãi để thử nghiệm trong toán học và thiết kế các công thức được sử dụng trong các chương trình số. Nó cũng được sử dụng cho các tính toán khoa học hoàn chỉnh, khi các phương pháp số hoàn toàn thất bại, như trong mật mã khóa công khai, hoặc cho một số vấn đề phi tuyến tính.