Solving Symbolic Constraints

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

Period07 Oct 2025
Event title18th Conference on Intelligent Computer Mathematics, CICM 2025, and the 20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025
Event typeConference
LocationBrazilShow on map

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