Efficient Algorithms for Guessing, Inequalities, and Summation

Project: Funded research › FWF - Austrian Science Fund

Project Details

StatusActive
Effective start/end date01.03.2023 → 29.02.2028

Collaborative partners

  • Johannes Kepler University Linz (lead)
  • INRIA Institut National De Recherche en Informatique et en Automatique (Project partner)
  • Sorbonne Université (Project partner)
  • RICAM, Johann Radon Institute for Computational and Applied Mathematics, ÖAW Austrian Academy of Science (Project partner)

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101 Mathematics
  • 102031 Theoretical computer science
  • 101005 Computer algebra

JKU Focus areas

  • Digital Transformation
  • 1 Conference proceedings