Complexity and Real Computation Laboratory

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

--- seminars [2025-03-18] – [Automated Reasoning with Continuous Data] 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 50: / Line 53: @@
 ====From iRRAM to pyRRAM: Some thoughts on implementing real number arithmetic====
-  * March 19, 10:30am KST
+  * March 19, 10:45am KST
+  * N1 #601
   * Norbert Müller (Uni Trier)
 Due to their uncountability, real numbers have to be treated
-      completely
+completely
-      different compared to countable sets like the integer or even the
+different compared to countable sets like the integer or even the
-      rational
+rational
-      numbers. In the talk we present basic ideas for implementations in
+numbers. In the talk we present basic ideas for implementations in
-      an existing
+an existing
-      library written in C++ and in a derived current approach in
+library written in C++ and in a derived current approach in
-      Python.
+Python.
 ===== 2024 =====

Differences