Liên hệ
Tiếng Việt
Tiếng Anh
Thứ bảy, 12/07/2025
Making Presentation Math Computable. A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
Cập nhật vào: Thứ sáu - 07/07/2023 04:31
Nhan đề chính: Making Presentation Math Computable. A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
Nhan đề dịch: Làm toán trình bày có thể tính toán được. Một cách tiếp cận theo ngữ cảnh để dịch LaTeX sang các hệ thống đại số máy tính
Tác giả: André Greiner-Petter
Nhà xuất bản: Springer, Cham
Năm xuất bản: 2023
Số trang: 197 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-3-658-40473-4
SpringerLink
SpringerLink
Lời giới thiệu: Cuốn sách này giải quyết vấn đề dịch các biểu thức toán học từ LaTeX sang cú pháp của hệ thống đại số máy tính (CAS). Trong những thập kỷ qua, đặc biệt là trong lĩnh vực khoa học, công nghệ, kỹ thuật và toán học (STEM), LaTeX đã trở thành tiêu chuẩn thực tế để sắp xếp các công thức toán học trong các ấn phẩm. Do các nhà khoa học thường được yêu cầu xuất bản công trình của họ nên LaTeX đã trở thành một phần không thể thiếu trong quy trình xuất bản ngày nay. Mặt khác, nghiên cứu hiện đại ngày càng dựa vào CAS để đơn giản hóa, thao tác, tính toán và trực quan hóa toán học. Tuy nhiên, các hàm nhập LaTeX hiện có trong CAS bị giới hạn ở các biểu thức số học đơn giản và do đó, không đủ cho hầu hết các trường hợp sử dụng. Do đó, quy trình thử nghiệm và xuất bản trong khoa học thường bao gồm các chuyển đổi thủ công tốn thời gian và dễ xảy ra lỗi giữa LaTeX trình bày và các định dạng CAS tính toán. Để giải quyết vấn đề thiếu một công cụ dịch toàn diện và đáng tin cậy giữa LaTeX và CAS, luận án này có ba đóng góp sau đây. Đầu tiên, nó cung cấp một cách tiếp cận để nâng cao ngữ nghĩa các biểu thức LaTeX với đủ thông tin ngữ nghĩa để dịch sang các cú pháp CAS. Thứ hai, nó thể hiện khung dịch thuật LaTeX sang CAS nhận biết ngữ cảnh đầu tiên LaCASt. Thứ ba, luận án cung cấp một cách tiếp cận mới để đánh giá hiệu suất của các bản dịch LaTeX sang CAS trên các bộ dữ liệu quy mô lớn với xác minh tự động các phương trình trong các thư viện toán học kỹ thuật số.
Từ khóa: LaTeX. Hệ thống đại số máy tính.
Nội dung cuốn sách gồm những phần sau
Giới thiệu
Truy xuất thông tin toán học
Ngữ nghĩa của LaTeX toán học
Từ LaTeX đến hệ thống đại số máy tính
Đánh giá định tính và định lượng
Kết luận và tương lai
