Tim Lichtnau

According to our database¹, Tim Lichtnau authored at least 1 paper in 2021.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

Natural Typesetting of Naproche Formalizations in LaTeX (short paper).

[BibT_eX]

[DOI]

Peter Koepke

Tim Lichtnau

Jonas Lippert

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

Tim Lichtnau

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...