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 “formal proof” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

New Opportunities for the Formal Proof of Computational Real Geometry?
2020 arXiv (Cornell University) preprint Engineering Advanced Numerical Analysis Techniques Open access

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

6

citations
Formalized Transfer of Functional Architectures from Model-Based Systems Engineering to Generative Engineering
2025 IEEE International Symposium on Systems Engineering conference-paper Engineering Systems Engineering Methodologies and Applications

Bastian Menninger, Gregor Höpfner, Joerg Berroth, Georg Jacobs

0

citations
Error analysis of higher order Trace Finite Element Methods for the surface Stokes equation
2020 Journal of Numerical Mathematics article Engineering Advanced Numerical Methods in Computational Mathematics

Thomas Jankuhn, Maxim A. Olshanskii, Arnold Reusken, Alexander Zhiliakov

23

citations
Error analysis of higher order trace finite element methods for the surface Stokes equations
2020 arXiv (Cornell University) preprint Engineering Advanced Numerical Methods in Computational Mathematics Open access

Thomas Jankuhn, Maxim A. Olshanskii, Arnold Reusken, Alexander Zhiliakov

2

citations

4 results