Skip to main content

2 Result(s)

within Michael Kohlhase Remove this filter Engineering Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    System Description STEX3 – A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents

    We report on – a complete redesign and reimplementation (using ...

    Michael Kohlhase, Dennis Müller in Intelligent Computer Mathematics (2022)

  2. No Access

    Chapter and Conference Paper

    Injecting Formal Mathematics Into LaTeX

    The paper presents the format for representing informal mathematics. acts as a surface language for two systems: the (presentation-ori...

    Dennis Müller, Michael Kohlhase in Intelligent Computer Mathematics (2022)