News
New features, examples, documents and papers are announced here.
Structure Computer is now public. It answers structural questions about discrete dynamical systems, with certificates that an independent checker verifies.
New features, examples, documents and papers are announced here.
Structure Computer is now public. It answers structural questions about discrete dynamical systems, with certificates that an independent checker verifies.