Concepedia

Philipp Gerhardy

PG

8

Publications

326

Citations

8

H-Index

2005

Active since

Affiliations

Aarhus University(Current)

Technical University of Darmstadt

University of Oslo

Philipp Gerhardy is an author at Aarhus University specializing in automated reasoning, engineering, and functional analysis.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFunctional AnalysisSyntaxLanguageSemanticsLinguisticsFormal Semantics

Publications per year

2005–2009

8

Publications

8

Local stability of ergodic averages

Jeremy Avigad, Philipp Gerhardy, Henry Towsner · Transactions of the American Mathematical Society · 2009 · 93 citations · Full text

General logical metatheorems for functional analysis

Philipp Gerhardy, Ulrich Kohlenbach · Transactions of the American Mathematical Society · 2007 · 86 citations · Full text

Computational Logic, Metatheory, Engineering +9

Extracting Herbrand disjunctions by functional interpretation

Philipp Gerhardy, Ulrich Kohlenbach · Archive for Mathematical Logic · 2005 · 33 citations

Formal Semantics, Syntax, Automated Reasoning +6

A quantitative version of Kirk's fixed point theorem for asymptotic contractions

Philipp Gerhardy · Journal of Mathematical Analysis and Applications · 2005 · 33 citations

Engineering, Fixed Point Theorem, Asymptotic Contractions +4

Strongly uniform bounds from semi-constructive proofs

Philipp Gerhardy, Ulrich Kohlenbach · Annals of Pure and Applied Logic · 2005 · 30 citations

Engineering, Automated Reasoning, Proof Complexity +3

Rows per page

1–5 of 8