Prof. Dr. Michael Kohlhase

Department of Informatics, Knowledge Representation/Processing (Computer Science)

Adjunct associate professor for Computer Science at Carnegie Mellon University

Friedrich-Alexander-Universität Erlangen-Nürnberg

  michael.kohlhase@fau.de
  See my profile at FAU
  Knowledge representation for STEM (Science, Technology, Engineering, Mathematics), Inference-based techniques for natural language processing, Computer-supported education and user assitance, Research data management, Mathematical knowledge, inference, computation, language, and examples as data
 
  FAU MoD Lecture: Prospects of formalized Mathematics (November 2, 2023)

 LinkedIn

Publications

2023

2022

2021

2020

2019

  • , , , :
    Integrating Semantic Mathematical Documents and Dynamic Notebooks
    12th International Conference on Intelligent Computer Mathematics, CICM 2019 (Prague, July 8, 2019 - July 12, 2019)
    In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    DOI: 10.1007/978-3-030-23250-4_19
  • , , :
    Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation
    12th International Conference on Intelligent Computer Mathematics, CICM 2019 (Prague, July 8, 2019 - July 12, 2019)
    In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    DOI: 10.1007/978-3-030-23250-4_3
  • , , , , , :
    Relational Data Across Mathematical Libraries
    12th International Conference on Intelligent Computer Mathematics, CICM 2019 (Prague, July 8, 2019 - July 12, 2019)
    In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    DOI: 10.1007/978-3-030-23250-4_5

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

  

You might like!

Our FAU MoD Community
About us
FAU MoD Lecture Series
Upcoming events

FAU MoD Lecture: Image Reconstruction – The Dialectic of Modelling and Learning

Date: Wed. March 20, 2024 Event: FAU MoD Lecture Organized by: FAU MoD, the FAU Research Center for Mathematics of ...

FAU MoD Lecture Series. Special November 2023

Date: Wed. November 22, 2023 Event: FAU MoD Lecture Series (Special double session. November 2023) Organized by: FAU MoD, the ...

FAU MoD Lecture: The role of Artificial Intelligence in the future of mathematics

Date: Thu. January 11, 2024 Event: FAU MoD Lecture Organized by: FAU MoD, the FAU Research Center for Mathematics of ...