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 “first-order methods” 2

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Introductory models
2024 Graduate studies in mathematics book-chapter Mathematics Mathematical and Computational Methods

0

citations
Quantifier Elimination and Craig Interpolation: The Quantitative Way
2025 RWTH Publications (RWTH Aachen) book-chapter Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations

2 results