Skip to main content

4 Result(s)

within Chapter Remove this filter Michael Kohlhase Remove this filter Computer Appl. in Social and Behavioral Sciences Remove this filter Mathematical Logic and Formal Languages Remove this filter Programming Techniques Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Discourse Phenomena in Mathematical Documents

    Much of the wealth of industrialized societies is based on knowledge that is laid down and communicated in scientific/technical/engineering/mathematical documents: highly structured documents that contain diag...

    Andrea Kohlhase, Michael Kohlhase… in Intelligent Computer Mathematics (2018)

  2. No Access

    Chapter and Conference Paper

    Knowledge Amalgamation for Computational Science and Engineering

    This paper addresses a knowledge gap that is commonly encountered in computational science and engineering: To set up a simulation, we need to combine domain knowledge (usually in terms of physical principles), m...

    Theresa Pollinger, Michael Kohlhase, Harald Köstler in Intelligent Computer Mathematics (2018)

  3. No Access

    Chapter and Conference Paper

    Automatically Finding Theory Morphisms for Knowledge Management

    We present a method for finding morphisms between formal theories, both within as well as across libraries based on different logical foundations. As they induce new theorems in the target theory for any of th...

    Dennis Müller, Michael Kohlhase, Florian Rabe in Intelligent Computer Mathematics (2018)

  4. No Access

    Chapter and Conference Paper

    Translating the IMPS Theory Library to MMT/OMDoc

    The IMPS system by Farmer, Guttman and Thayer was an influential automated reasoning system, pioneering mechanisations of features like theory morphisms, partial functions with subsorts, and the little theories a...

    Jonas Betzendahl, Michael Kohlhase in Intelligent Computer Mathematics (2018)