This is the research seminar of the Instiute of Algebra, where we discuss ongoing research activities of ourselves and visitors. Students considering to do a bachelor's or master's or phd thesis at the institute are welcome to participate in the seminar in order to get a flavor of what we are doing. As a JKU student, you can get credits for attending the seminar if you give a talk. If you want to do this, please contact Manuel Kauers in order to discuss possible topics. Even if you don't want to give a talk but only listen to what we are doing, please register for the seminar in KUSSS. (No negative credits will be issued for people dropping out during the semester, or for attendees who don't want to contribute a talk.)
Unless otherwise stated, the seminar takes place on Thursdays, 13.4515.15 in S2 219.
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,
Signaturebased 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 qWeyl 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 integrodifferentialtimedelay 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 Dfinite 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 CFinite 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 