Old Revisions

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.

  • 2025-03-19 seminars – [Accelerating Operator Calculus] Martin Ziegler -320 B (current)
  • 2025-03-18 Show differences to current revisions seminars – [From iRRAM to pyRRAM: Some thoughts on implementing real number arithmetic] Martin Ziegler +321 B
  • 2025-03-18 Show differences to current revisions seminars – Martin Ziegler +63 B
  • 2025-03-18 Show differences to current revisions seminars – [From iRRAM to pyRRAM: Some thoughts on implementing real number arithmetic] Martin Ziegler -48 B
  • 2025-03-18 Show differences to current revisions seminars – [Automated Reasoning with Continuous Data] Martin Ziegler +485 B
  • 2025-03-18 Show differences to current revisions seminars – [2025] Martin Ziegler +1.9 KB
  • 2025-03-18 Show differences to current revisions seminars – [2025] Martin Ziegler +19 B
  • 2024-09-25 Show differences to current revisions seminars – [iRRAM for Knots] Martin Ziegler +3 B
  • 2024-09-25 Show differences to current revisions seminars – [Implementation of the Burau spectral test] Martin Ziegler +319 B
  • 2024-05-29 Show differences to current revisions seminars – [Implementation of the Burau spectral test] Martin Ziegler +27 B
  • 2024-05-28 Show differences to current revisions seminars – [Implementation of the Burau spectral test] Martin Ziegler +66 B
  • 2024-05-27 Show differences to current revisions seminars – Martin Ziegler +8 B
  • 2024-05-27 Show differences to current revisions seminars – Martin Ziegler +12 B
  • 2024-05-27 Show differences to current revisions seminars – 2024 June: Stoimenov Martin Ziegler +604 B
  • 2023-06-28 Show differences to current revisions seminars – 2023 Martin Ziegler +214 B
  • 2022-06-02 Show differences to current revisions seminars – [Computing with Infinite Objects via Coinductive Definitions] Martin Ziegler -1 B
  • 2022-06-02 Show differences to current revisions seminars – [Seminar on Theoretical Computer Science, Logic, and Real Computation] Martin Ziegler +22 B
  • 2022-06-02 Show differences to current revisions seminars – [Computing with Infinite Objects via Coinductive Definitions] Martin Ziegler +82 B
  • 2022-05-29 Show differences to current revisions seminars – [2022] New Martin Ziegler +681 B
  • 2021-07-08 Show differences to current revisions seminars – [Book Review "Coverning the Commons" by Elinor Ostrom] Martin Ziegler ±0 B