From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “linear real arithmetic” 18

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

A novel adaption of the Simplex algorithm for linear real arithmetic
2020 RWTH Publications (RWTH Aachen) article Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach

1

citations
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

Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka

5

citations
A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic
2024 Lecture notes in computer science conference-paper Computer Science Polynomial and algebraic computation Open access

Valentin Promies, Erika Ábrahám

3

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

Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer

34

citations
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

0

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

Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer

0

citations
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Julia Walczak, Nils Lommen, T. G. Noll

0

citations
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Julia Walczak, Nils Lommen, Thomas Noll

0

citations
A fourth-order exponential time differencing scheme with real and distinct poles rational approximation for solving non-linear reaction-diffusion systems
2026 Journal of Computational and Applied Mathematics article Mathematics Numerical methods for differential equations Open access

W.K. Attipoe, Andreas Kleefeld, Emmanuel Owusu Asante-Asamani

1

citations
Satisfiability Modulo Exponential Integer Arithmetic
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

4

citations
More is Less: Adding Polynomials for Faster Explanations in NLSAT
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Valentin Promies, Jasper Nalbach, Erika Ábrahám

0

citations
FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
2025 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Kobialka

1

citations
New Opportunities for the Formal Proof of Computational Real Geometry?
2020 arXiv (Cornell University) preprint Computer Science Polynomial and algebraic computation Open access

James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks

6

citations
Simulating the Cortical Microcircuit Significantly Faster Than Real Time on the IBM INC-3000 Neural Supercomputer
2022 Frontiers in Neuroscience article Engineering Advanced Memory and Neural Computing Open access

Arne Heittmann, Georgia Psychou, Guido Trensch, Charles E. Cox, W. W. Wilcke, Markus Diesmann, +1 more

19

citations
Secure numerical simulations using fully homomorphic encryption
2025 Computer Physics Communications article Computer Science Cryptography and Data Security Open access

Arseniy Kholod, Yuriy Polyakov, Michael Schlottke‐Lakemper

7

citations
Levelwise construction of a single cylindrical algebraic cell
2023 Journal of Symbolic Computation article Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

10

citations
Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
2026 Mathematics in Computer Science article Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach, Gereon Kremer

1

citations
Levelwise construction of a single cylindrical algebraic cell
2022 RWTH Publications (RWTH Aachen) article Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

0

citations

18 results