About 1 results.

Ulrich Kohlenbach


Source: https://upload.wikimedia.org/wikipedia/commons/thumb/5/52/Ulrich_Kohlenbach.jpg/50px-Ulrich_Kohlenbach.jpg

Description. Lang: en

Ulrich Wilhelm Kohlenbach (born July 27, 1962 in Frankfurt am Main) is a German mathematician and professor of algebra and logic at the Technische Universität Darmstadt. His research interests lie in the field of proof mining.Kohlenbach was President of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences (DVMLG) from 2008 to 2012 and President of the Association for Symbolic Logic from 2016 to 2018.
Description provided by Wikipedia.

Google Suggest

Search predictions are possible search terms you can use that are related to the terms you’re typing and what other people are searching for.

Entity Index

This is the list of all entities in this result page. Click an entity to go directly to the entity box.

Wiki Authority Control

Authority control is a method of creating and maintaining index terms for bibliographical material in a library catalogue. The links produced by the authority control template on Wikipedia go to authority control data in worldwide library catalogues.

Google Knowledge Graph

Ulrich Kohlenbach

Ulrich Kohlenbach

German mathematician

  • Desc: Ulrich Wilhelm Kohlenbach is a German mathematician and professor of algebra and logic at the Technische Universität Darmstadt. His research interests lie in the field of proof mining.
  • Wiki: https://en.wikipedia.org/wiki/Ulrich_Kohlenbach
  • Type: Person, Thing
  • Result Score: 14.09
Try searching in other languages: en - it - fr - de - es - pt
Entities Finder | Cluster.army | Cluster.army | Keyword Tool | URLs Match | Cache index

This process used 24 ms for its computations It spent 4 ms in system calls .