- About this document
- Getting started
- Package files in the Doc/ (lib/) directory

- Data types

- Gröbner basis and Syzygy computation in kan/sm1
- Computing Gröbner or standard basis in the ring of the polynomials
- Computing Gröbner basis in the ring of differential operators
- Computing Gröbner basis in
- Computing syzygies

- Control Structures and programming

- Dictionaries and contexts
- Using sm1 to teach computer science for students in mathematics
- Recursive call and the stack
- Implementing a Java-like language
- Interactive distributed computing
- More exercises

- Bibliography

Nobuki Takayama 2020-11-24