Quantifier Elimination for Real Algebra -- the Quadratic Case and Beyond

• FMplex: A Novel Method for Solving Linear Real Arithmetic Problems

  2023 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

  5

  citations
• Subtropical Satisfiability for SMT Solving

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  1

  citations
• Experiments with Automated Reasoning in the Class

  2022 Lecture notes in computer science conference-paper Computer Science Teaching and Learning Programming Open access

  1

  citations
• Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic

  2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

  0

  citations
• Algorithmic Reduction of Biological Networks with Multiple Time Scales

  2021 Mathematics in Computer Science article Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis Open access

  9

  citations
• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings

  2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Polynomial and algebraic computation Open access

  34

  citations
• Efficiently and Effectively Recognizing Toricity of Steady State Varieties

  2020 Mathematics in Computer Science article Computer Science Polynomial and algebraic computation Open access

  10

  citations

7 results