Journal of Logical and Algebraic Methods in Programming Sign in to save
Aachen papers per year
20
22
Papers 5
-
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Polynomial and algebraic computation Open access
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
34citations
5 results
Most active Aachen authors
-
Farhad Arbab 6,185 citations overall2 papers
-
Benjamin Lion 54 citations overall2 papers
-
Erika Ábrahám 3,470 citations overall1 paper
-
Marcello Bonsangue 2,522 citations overall1 paper
-
Hui Juan Feng 2,516 citations overall1 paper
-
Gereon Kremer 770 citations overall1 paper
-
Kasper Dokter 37 citations overall1 paper