ERC Starting Grant · 2019
Advanced Reasoning in Arithmetic Theories
Arithmetic theories are logical theories for reasoning about number systems, such as the integers and reals. Such theories find a plethora of applications across computer science, including in algorithmic verification, artificial intelligence, and compiler optimisation. The appeal of arithmetic theories is their generality: once a problem has been formalised in a decidable such theory, a dedicated solver can in principle be used in a push-button fashion to obtain a solution. Arithmetic theories are also of great importance for showing decidability and complexity results in a variety of domains. Decision procedures for quantifier-free and linear fragments of arithmetic theories have been…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.