Complexity and Real Computation Laboratory

These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it.

2024-09-25 seminars – [iRRAM for Knots] Martin Ziegler +3 B (current)
2024-09-25 seminars – [Implementation of the Burau spectral test] Martin Ziegler +319 B
2024-05-29 seminars – [Implementation of the Burau spectral test] Martin Ziegler +27 B
2024-05-28 seminars – [Implementation of the Burau spectral test] Martin Ziegler +66 B
2024-05-27 seminars – Martin Ziegler +8 B
2024-05-27 seminars – Martin Ziegler +12 B
2024-05-27 seminars – 2024 June: Stoimenov Martin Ziegler +604 B
2023-06-28 seminars – 2023 Martin Ziegler +214 B
2022-06-02 seminars – [Computing with Infinite Objects via Coinductive Definitions] Martin Ziegler -1 B
2022-06-02 seminars – [Seminar on Theoretical Computer Science, Logic, and Real Computation] Martin Ziegler +22 B
2022-06-02 seminars – [Computing with Infinite Objects via Coinductive Definitions] Martin Ziegler +82 B
2022-05-29 seminars – [2022] New Martin Ziegler +681 B
2021-07-08 seminars – [Book Review "Coverning the Commons" by Elinor Ostrom] Martin Ziegler ±0 B
2021-07-04 seminars – Governing the Commons Martin Ziegler +1.1 KB
2021-05-04 seminars – [Introduction to Riemannian Geometry, Part IV] Svetlana Selivanova +6 B
2021-05-04 seminars – [Lazy types in iRRAM and computability of Mandelbrot set] Svetlana Selivanova +1 B
2021-05-04 seminars – [Lazy types in iRRAM and computability of Mandelbrot set] Svetlana Selivanova +1 B
2021-05-04 seminars – [Lazy types in iRRAM and computability of Mandelbrot set] Svetlana Selivanova -1 B
2021-05-04 seminars – [Lazy types in iRRAM and computability of Mandelbrot set] Svetlana Selivanova -6 B
2021-05-03 seminars – Svetlana Selivanova +1 KB

Old Revisions