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 “mathematical proof” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Mathematical Models in Pure and Applied Mathematics
2020 Advanced structured materials book-chapter Computer Science Advanced Mathematical Modeling in Engineering

Igor V. Andrianov

3

citations
Introduction
2021 Graduate texts in mathematics book-chapter Mathematics History and Theory of Mathematics

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

3

citations
A Sequent Calculus
2021 Graduate texts in mathematics book-chapter Computer Science Logic, programming, and type systems

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

0

citations
The Scope of First-Order Logic
2021 Graduate texts in mathematics book-chapter Psychology Philosophy and Theoretical Science

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

0

citations
Prerequisites from Matrix Analysis
2020 Springer eBooks book-chapter Computer Science Matrix Theory and Algorithms

Rudolf Mathar, Gholamreza Alirezaei, Emilio Rafael Balda, Arash Behboodi

1

citations

5 results