Docs
An overview of Structure Computer and how to use it, written for a general audience. The mathematical details are in “Papers”.
- Overview
What it answers, how the answers are guaranteed, what it is for
- The questions (Id(s, t) and Q1–Q11)
What each question tells you, and what to enter on the Try page
- Reading the results, and a glossary
The kinds of result, the forms of the answers, the terms used
- Certificates and checking
Why answers carry them, what is in them, how to check them again
- Writing system files
How to write your own system to try
- Frequently asked questions
How it differs from numerical computation and computer algebra, what “no result” means, and more