Projects per year
Organisation profile
Fields of science
- 101013 Mathematical logic
- 101001 Algebra
- 101 Mathematics
- 102031 Theoretical computer science
- 101005 Computer algebra
JKU Focus areas
- Digital Transformation
-
Constructive Decomposition of Matrix Multiplication Tensors
Kauers, M. (PI)
01.09.2024 → 31.08.2028
Project: Funded research › FWF - Austrian Science Fund
-
Algorithms for D-Algebraic Functions
Kauers, M. (PI)
01.05.2024 → 30.04.2028
Project: Funded research › FWF - Austrian Science Fund
-
The Elekes-Szabo Problem
Roche-Newton, O. (PI)
15.04.2024 → 14.11.2027
Project: Funded research › FWF - Austrian Science Fund
Research output
-
Advanced Reasoning Techniques for Quantified Boolean Formulas
Plank, A., Sept 2025, 118 p.Research output: Thesis › Doctoral thesis
-
A lower bound for the number of pinned angles determined by a Cartesian product set
Roche-Newton, O., Apr 2025, In: Combinatorica. 45, 2, 12 p., 13.Research output: Contribution to journal › Article › peer-review
Open Access -
A shape lemma for ideals of differential operators
Kauers, M., Koutschan, C. & Verron, T., Sept 2025, In: Journal of Algebra. 677, p. 448-459 12 p.Research output: Contribution to journal › Article › peer-review
Open Access
Activities
-
Flip Graphs for Matrix Multiplication Methods
Kauers, M. (Speaker)
Oct 2025Activity: Talk or presentation › Invited talk › science-to-science
-
Punctured and Structured Nullstellensätze
Aichinger, E. (Speaker)
04 Sept 2025Activity: Talk or presentation › Contributed talk › science-to-science
-
On the number of dot products in the plane
Kokkinos, M. (Speaker)
03 Sept 2025Activity: Talk or presentation › Invited talk › science-to-science