Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| seminars [2025-03-18] – [From iRRAM to pyRRAM: Some thoughts on implementing real number arithmetic] 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 ====== | ====== Seminar on Theoretical Computer Science, Logic, and Real Computation ====== | ||
| + | * [[Seminars# | ||
| * [[Seminars# | * [[Seminars# | ||
| * [[Seminars# | * [[Seminars# | ||
| Line 15: | Line 16: | ||
| ====Integer factorization of matrices and 4-dimensional genera of knots==== | ====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) | * Alexander Stoimenov (Dongguk U) | ||
| Line 29: | Line 31: | ||
| ====Automated Reasoning with Continuous Data==== | ====Automated Reasoning with Continuous Data==== | ||
| - | * March 19, 9:45am KST | + | * March 19, 10:00am KST |
| + | * N1 #601 | ||
| * Margarita Korovina (IIS SB RAS) | * Margarita Korovina (IIS SB RAS) | ||
| Line 50: | Line 53: | ||
| ====From iRRAM to pyRRAM: Some thoughts on implementing real number arithmetic==== | ====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) | * Norbert Müller (Uni Trier) | ||
| Line 61: | Line 65: | ||
| 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 ===== | ===== 2024 ===== | ||