Suy ra 6.1: Hệ thống mạnh mẽ để thực hiện toán ký hiệu và số. Ứng dụng này không còn có sẵn hoặc được hỗ trợ.