Đây là tiên đề lệnh có thể được chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi, chẳng hạn như Ubuntu Online, Fedora Online, trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
axiom - Một hệ thống đại số máy tính đa năng
SYNOPSIS
định lý
[-ht | -noht]
có sử dụng HyperDoc không
[-gr | -nogr]
có sử dụng Đồ họa không
[-khóa | -noclef]
có sử dụng Clef không
[-cằn nhằn | -nonag]
có sử dụng NAG không
[-tôi | -noiw]
bắt đầu trong cửa sổ phiên dịch
[-tại đây | -nội dung]
khởi động bộ đệm thông dịch trong cửa sổ ban đầu.
[-nox] không sử dụng X Windows
[-đi | -nogo]
có khởi động hệ thống không
[-ws wsname]
sử dụng không gian làm việc được đặt tên
[-danh sách]
chỉ liệt kê không gian làm việc
[-NS] hiển thị sử dụng
Theo mặc định, lệnh định lý sẽ bắt đầu quá trình
sman -ws / usr / lib / axiom / axiom-20140801 / mnt / linux / bin / AXIOMsys
MÔ TẢ
định lý là một chương trình đại số máy tính tương tác mã nguồn mở mới, độc quyền.
Tiên đề Opensource hiện đã hỗ trợ cả đồ họa và hệ thống trợ giúp hyperdoc. Vui lòng
tham khảo các phương tiện này để được hướng dẫn sử dụng chi tiết. Trang hướng dẫn này đã được viết
cho bản phân phối Debian vì chương trình gốc không có trang hướng dẫn sử dụng.
Có thể tìm thấy một nguồn tài liệu hay nhưng hơi lỗi thời trong cuốn sách Tiên đề:
Khoa học Tính toán WELFARE, của Richard D. Jenks và Robert S. Sutor có sẵn
thông qua amazon.com. Phiên bản pdf của cuốn sách này hiện được bao gồm trong gói tài liệu tiên đề.
Sử dụng tiên đề trực tuyến bằng các dịch vụ onworks.net