Skip to main navigation Skip to search Skip to main content

Symbolic Constraints and Quantitative Extensions of Equality

Activity: Talk or presentation › Invited talk › science-to-science

Description

Invited colloquium talk at Seminar of Applied Mathematical Locig, Institute of Computer Science, Czech Academy of Sciences, Prague,
Period26 Feb 2025
Held atAcademy of Sciences of the Czech Republic Prague, Czech Republic

Fields of science

  • 101013 Mathematical logic
  • 101 Mathematics
  • 101012 Combinatorics
  • 101005 Computer algebra
  • 101009 Geometry
  • 101001 Algebra
  • 101020 Technical mathematics

JKU Focus areas

  • Digital Transformation