Concepedia

Steffen Lempp

SL

33

Publications

889

Citations

19

H-Index

1987

Active since

Affiliations

University of Wisconsin–Madison(Current)

Victoria University of Wellington

University of Chicago

University of Connecticut

University of Wisconsin System

Steffen Lempp is an author at University of Wisconsin–Madison specializing in discrete mathematics, computer science, and computational complexity.

Top concepts

Discrete MathematicsEngineeringComputational ComplexityComputer ScienceAutomated ReasoningFormal MethodsProof ComplexityPhysicsLinguisticsGraph Theory

Publications per year

1987–2019

33

Publications

33

The d.r.e. degrees are not dense

S. Barry Cooper, Leo Harrington, A. H. Lachlan et al. · Annals of Pure and Applied Logic · 1991 · 75 citations

Integral Geometry, High-energy-density Matter, Physics

UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

Uri Andrews, Steffen Lempp, Joseph S. Miller et al. · Journal of Symbolic Logic · 2014 · 61 citations

Equivalence Relation, Engineering, Universal Ceers +10

The complexity of computable categoricity

Rodney G. Downey, Asher M. Kach, Steffen Lempp et al. · Advances in Mathematics · 2014 · 56 citations

Engineering, Abstract Complexity, Automated Reasoning +6

The computable dimension of ordered abelian groups

Steffen Lempp, Reed Solomon · Advances in Mathematics · 2003 · 55 citations

Representation Theory, Computable Dimension, Ordered Group +2

Weak density and cupping in the d-r.e. degrees

S. Barry Cooper, Steffen Lempp, P.S. Watson · Israel Journal of Mathematics · 1989 · 48 citations

Critical Phenomenon, Statistical Field Theory, Physics +1

Rows per page

1–5 of 33