A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “arithmetic problem solving” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Cylindrical algebraic decomposition for nonlinear arithmetic problems
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Gereon Kremer

5

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
Impulsgebung im Mathematikunterricht : theoretische Fundierung, Konzeption und Erprobung eines Seminars für die Lehrkräftebildung
2025 RWTH Publications (RWTH Aachen) dissertation Social Sciences Mathematics Education and Teaching Techniques Open access

Melanie Ansteeg

0

citations
Low-rank tensor methods for high-dimensional parameter-dependent PDEs: eigenvalue estimation, approximate inverses, and multigrid methods
2026 RWTH Publications (RWTH Aachen) dissertation Mathematics Tensor decomposition and applications Open access

Tim A. Werthmann

0

citations

4 results