Complexity and Real Computation Laboratory

This shows you the differences between two versions of the page.

--- seminars [2025-03-18] – [2025] Martin Ziegler
+++ seminars [2025-03-19] (current) – [Accelerating Operator Calculus] Martin Ziegler
@@ Line 1: / Line 1: @@
 ====== Seminar on Theoretical Computer Science, Logic, and Real Computation ======
+  * [[Seminars#2025]]
   * [[Seminars#2024]]
   * [[Seminars#2023]]
@@ Line 15: / Line 16: @@
 ====Integer factorization of matrices and 4-dimensional genera of knots====
-  * March 19, 9:05am KST
+  * March 19, 9:15am KST
+  * N1 #601
   * Alexander Stoimenov (Dongguk U)
@@ Line 29: / Line 31: @@
 ====Automated Reasoning with Continuous Data====
-  * March 19, 9:45am KST
+  * March 19, 10:00am KST
+  * N1 #601
   * Margarita Korovina (IIS SB RAS)
@@ Line 48: / Line 51: @@
 decision procedure for bounded problems. In this setting we discuss resent and
 future research work.
+====From iRRAM to pyRRAM: Some thoughts on implementing real number arithmetic====
+  * March 19, 10:45am KST
+  * N1 #601
+  * Norbert Müller (Uni Trier)
+Due to their uncountability, real numbers have to be treated
+completely
+different compared to countable sets like the integer or even the
+rational
+numbers. In the talk we present basic ideas for implementations in
+an existing
+library written in C++ and in a derived current approach in
+Python.
 ===== 2024 =====

Differences