Doctoral Program: Computational Mathematics

PhD Defence: Computer-Assisted Exploration of Gröbner Bases Theory in Theorema: DI Alexander Maletzky (Doctoral Program, Johannes Kepler University Linz), 14 September 2016, 1:00 p.m., S3 058
Located in Events
Proof theory of the lambda calculus: Prof. Masahiko Sato (Kyoto University, Japan), 17 October 2016, 1:30 p.m., RISC seminar room pond
Numerical discretisation of one-dimensional stochastic wave equations: Dr. David Cohen (Innsbruck University), 12 October 2016, 10:15 a.m., KHG II
Located in Events
Statistical model selection for neuronal responses to stimulus pairs in visual cortex: Prof. Susanne Ditlevsen (University of Copenhagen), 9 November 2016, 2:00 p.m., S3 048
Located in Events
Symmetric Tensor Decomposition: Dr. Elias Tsigaridas (Inria Paris-Rocquencourt, France), 7 December 2016, 10:15 a.m., S3 058
Located in Events
Modeling and simulation of phase-ﬁeld fracture: Prof. Thomas Wick (Université Paris-Saclay, France), 16 December 2016, 10:15 a.m., S2 054
Located in Events
PhD Defence: Complex Analysis Based Computer Algebra Algorithms for Proving Jacobi Theta Function Identities: Liangjie Ye (Doctoral Program, Johannes Kepler University Linz), 10 January 2017, 12:30 p.m., S2 416-2
Located in Events
PhD Defense: Computer Algebra with the Fifth Operation: Applications of Modular Functions to Partition Congruences: Nicolas Smoot (Doctoral Program, Johannes Kepler University Linz), December 10, 2020, 1:30 p.m., via Zoom
Located in Events
PhD Defense: A computable extension for holonomic functions: DD-finite functions: Antonio Jiménez Pastor (Doctoral Program, Johannes Kepler University Linz), December 9, 2020, 11:00 a.m., via Zoom
Located in Events
Talk announcement: Frédéric Chyzak: Generalized Hermite reduction, creative telescoping, and definite integration of D-finite functions
Located in Events

Next 10 items » 1 2 3 4 5 6 7 ... 16

Personal tools

Search results