Seminar Algebra and Discrete Mathematics

Schedule for ss2018

Return to main page

08.03.2018  13:45
Manuel Kauers,
Symmetry breaking in SAT and QBF
S2 219
15.03.2018  13:45
Thomas Sturm, CNRS, Inria, and the University of Lorraine, Nancy
Real Problems over the Reals From Complete Elimination Procedures to Subtropical Decisions
S2 219
22.03.2018  13:45
Erhard Aichinger,
Various meanings of "nilpotency": From groups to universal algebras
S2 219
22.03.2018  14:30
Christoph Koutschan, RICAM
Search for Wolstenholme Primes
S2 219
12.04.2018  13:45
Temur Kutsia,
Generalization algorithms and applications
S2 219
19.04.2018  13:45
Maria Francis,
Signature-based Gröbner basis algorithms for polynomial rings over rings
S2 219
26.04.2018  13:45
Fritz Kliemann,
Deciding Presburger arithmetic using finite automatons
S2 219
26.04.2018  14:30
Yi Zhang,
Desingularization in the q-Weyl algebra
S2 219
03.05.2018  13:45
Sebastian Moharitsch,
Best known Strassen applications for 3x3 and 5x5 matrix multiplication with a construction by tensors isotropies
S2 219
03.05.2018  14:30
Ingolf Neumüller,
A new explanation of Strassen's algorithm
S2 219
17.05.2018  14:30
Jamal Hossein Poor,
Symbolic computation for integro-differential-time-delay operators with matrix coefficients
S2 219
24.05.2018  13:45
Philipp Nuspl,
Solving Linear Recurrence Equations with Polynomial Coefficients
S2 219
24.05.2018  14:30
Nikolaus Felbermair,
(1 + i)-ary GCD Computation in Z[i] as an Analogue to the Binary GCD Algorithm
S2 219
07.06.2018  13:45
Clemens Hofstadler,
Implementation of D-finite sequences/functions in Sage
S2 219
07.06.2018  14:30
Sophie Hofmanninger,
Plane Partitions
S2 219
14.06.2018  13:45
Elisabeth Landl,
The Fuchs Relation
S2 219
14.06.2018  14:30
Maximilian Jaroschek,
Low Order Recombinations of C-Finite Sequences
S2 219
21.06.2018  13:45
Manfred Buchacher,
going together. lattice walks and the kernel method.
S2 219
21.06.2018  14:30
Tim Boykett,
Notes on the 'physics' of computation
S2 219
28.06.2018  13:45
Stefano Fioravanti,
Clones on Z_p x Z_q
S2 219
28.06.2018  14:30
Sebastian Kreinecker,
Closed function sets on groups of prime order
S2 219