International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Aachen papers per year
21
24
25
Papers 4
-
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving2021 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Formal Methods in Verification Open access
Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport
3citations -
On Projective Delineability2024 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Polynomial and algebraic computation Open access
Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, +2 more
0citations
4 results
Most active Aachen authors
-
Erika Ábrahám 3,470 citations overall3 papers
-
Jasper Nalbach 31 citations overall1 paper