Michael Kohlhase

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

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

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

Experiences from Exporting Major Proof Assistant Libraries.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

Erratum zu: Editorial.

[BibT_eX]

[DOI]

Datenbank-Spektrum, 2021

Dynamic User Interfaces via Incremental Knowledge Management.

[BibT_eX]

[DOI]

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

A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking.

[BibT_eX]

[DOI]

OpenMath Preface.

[BibT_eX]

[DOI]

James H. Davenport

MioGatto: A Math Identifier-oriented Grounding Annotation Tool.

[BibT_eX]

[DOI]

System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper).

[BibT_eX]

[DOI]

2020

(Deep) FAIR mathematics.

[BibT_eX]

[DOI]

Katja Bercic

it Inf. Technol., 2020

Editorial.

[BibT_eX]

[DOI]

Datenbank-Spektrum, 2020

The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems.

[BibT_eX]

[DOI]

CoRR, 2020

TGView3D: A System for 3-Dimensional Visualization of Theory Graphs.

[BibT_eX]

[DOI]

Richard Marcus

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

FrameIT: Detangling Knowledge Management from Game Design in Serious Games.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Towards a Heterogeneous Query Language for Mathematical Knowledge.

[BibT_eX]

[DOI]

Katja Bercic

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Representing Structural Language Features in Formal Meta-languages.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

GLIF: A Declarative Framework for Symbolic Natural Language Understanding.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

Deep FAIR - Knowledge Representation for Research Data about Complex Objects.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

Prototyping Controlled Mathematical Languages in Jupyter Notebooks.

[BibT_eX]

[DOI]

Kai Amann

Proceedings of the Mathematical Software - ICMS 2020, 2020

Context Graphs for Legal Reasoning and Argumentation.

[BibT_eX]

[DOI]

Max Rapp

Axel Adrian

Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020

Logic-Independent Proof Search in Logical Frameworks - (Short Paper).

[BibT_eX]

[DOI]

Claudio Sacerdoti Coen

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

GF + MMT = GLF - From Language to Semantics through LF.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2019

TGView3D System Description: 3-Dimensional Visualization of Theory Graphs.

[BibT_eX]

[DOI]

Richard Marcus

CoRR, 2019

The Theorem Prover Museum - Conserving the System Heritage of Automated Reasoning.

[BibT_eX]

[DOI]

CoRR, 2019

Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal.

[BibT_eX]

[DOI]

CoRR, 2019

Making Isabelle Content Accessible in Knowledge Representation Formats.

[BibT_eX]

[DOI]

Makarius Wenzel

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

Relational Data Across Mathematical Libraries.

[BibT_eX]

[DOI]

Claudio Sacerdoti Coen

Makarius Wenzel

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation.

[BibT_eX]

[DOI]

Katja Bercic

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

Integrating Semantic Mathematical Documents and Dynamic Notebooks.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

Context Graphs for Argumentation Logics.

[BibT_eX]

[DOI]

Max Rapp

Proceedings of the Conference on "Lernen, Wissen, Daten, Analysen", Berlin, Germany, September 30, 2019

2018

A Proposal for an OpenMath JSON Encoding.

[BibT_eX]

[DOI]

Tom Wiesing

Proceedings of the Joint Proceedings of the CME-EI, 2018

Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the CME-EI, 2018

Knowledge Amalgamation for Computational Science and Engineering.

[BibT_eX]

[DOI]

Theresa Pollinger

Harald Köstler

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Automatically Finding Theory Morphisms for Knowledge Management.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Discourse Phenomena in Mathematical Documents.

[BibT_eX]

[DOI]

Taweechai Ouypornkochagorn

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Translating the IMPS Theory Library to MMT/OMDoc.

[BibT_eX]

[DOI]

Jonas Betzendahl

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Towards Context Graphs for Argumentation Logics.

[BibT_eX]

[DOI]

Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", 2018

Theories as Types.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Classification of Alignments Between Concepts of Formal Mathematical Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Software Citations, Information Systems, and Beyond.

[BibT_eX]

[DOI]

Wolfram Sperber

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Mathematical Models as Research Data via Flexiformal Theory Graphs.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Visual Structure in Mathematical Expressions.

[BibT_eX]

[DOI]

Michael Fürsich

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases.

[BibT_eX]

[DOI]

Tom Wiesing

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

Knowledge-Based Interoperability for Mathematical Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

Math Object Identifiers - Towards Research Data in Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Lernen, 2017

Making PVS Accessible to Generic Services by Interpretation in a Universal Format.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge.

[BibT_eX]

[DOI]

J. Formaliz. Reason., 2016

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

[BibT_eX]

[DOI]

CoRR, 2016

NTCIR-12 MathIR Task Overview.

[BibT_eX]

[DOI]

Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies, 2016

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences.

[BibT_eX]

[DOI]

Enxhell Luzhnica

Proceedings of the Mathematical Software - ICMS 2016, 2016

The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2016, 2016

Notation-based Semantification.

[BibT_eX]

[DOI]

Ion Toloaca

Proceedings of the Joint Proceedings of the FM4M, 2016

FrameIT Reloaded: Serious Math Games from Modular Math Ontologies.

[BibT_eX]

[DOI]

Denis Rochau

Proceedings of the Joint Proceedings of the FM4M, 2016

A Standard for Aligning Mathematical Concepts.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the FM4M, 2016

2015

Math Literate Knowledge Management via Induced Material.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

The SMGloM Project and System.

[BibT_eX]

[DOI]

Proceedings of the CICM 2015, 2015

Faceted Search for Mathematics.

[BibT_eX]

[DOI]

Radu Hambasan

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Importing the OEIS Library Into OMDoc.

[BibT_eX]

[DOI]

Enxhell Luzhnica

Proceedings of the LWA 2015 Workshops: KDML, 2015

Assessment for Spreadsheets.

[BibT_eX]

[DOI]

Alexandru Toader

Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015

Context in Spreadsheet Comprehension.

[BibT_eX]

[DOI]

Ana Guseva

Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015

2014

XLSearch: A Search Engine for Spreadsheets.

[BibT_eX]

[DOI]

Christian Liguda

CoRR, 2014

MathWebSearch at NTCIR-11.

[BibT_eX]

[DOI]

Radu Hambasan

Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, 2014

NTCIR-11 Math-2 Task Overview.

[BibT_eX]

[DOI]

Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, 2014

System Description: A Semantics-Aware LaTeX-to-Office Converter.

[BibT_eX]

[DOI]

Lukas Kohlhase

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

OpenMath Language Extensions.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the MathUI, 2014

Extension Proposal: Records in Pragmatic OpenMath.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the MathUI, 2014

A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

System Description: MathHub.info.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Flexary Operators for Formalized Mathematics.

[BibT_eX]

[DOI]

Feryal Fulya Horozal

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Realms: A Structure for Consolidating Knowledge about Mathematical Theories.

[BibT_eX]

[DOI]

Jacques Carette

William M. Farmer

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

OpenMathMap: Interaction.

[BibT_eX]

[DOI]

Carmela Acevedo

Proceedings of the Joint Proceedings of the MathUI, 2014

Mathematical Knowledge Management and Information Retrieval: Transcending the One-Brain-Barrier.

[BibT_eX]

[DOI]

Proceedings of the 16th LWA Workshops: KDML, 2014

Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2014, 2014

Representing, Archiving, and Searching the Space of Mathematical Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2014, 2014

Towards Ontological Support for Principle Solutions in Mechanical Engineering.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

2013

The Mizar Mathematical Library in OMDoc: Translation and Applications.

[BibT_eX]

[DOI]

J. Autom. Reason., 2013

A scalable module system.

[BibT_eX]

[DOI]

Inf. Comput., 2013

Spreadsheets with a Semantic Layer.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

MathWebSearch at NTCIR-10.

[BibT_eX]

[DOI]

Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies, 2013

NTCIR-10 Math Pilot Task Overview.

[BibT_eX]

[DOI]

Akiko Aizawa

Iadh Ounis

Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies, 2013

A Universal Machine for Biform Theory Graphs.

[BibT_eX]

[DOI]

Felix Mance

Proceedings of the Intelligent Computer Mathematics, 2013

OpenMathMap: Accessing Math via Interactive Maps.

[BibT_eX]

Jan Wilken Dörrie

Proceedings of the LWA 2013. Lernen, 2013

Full Semantic Transparency: Overcoming Boundaries of Applications.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013

2012

Semantics of OpenMath and MathML3.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2012

Reasoning without believing: on the mechanisation of presuppositions and partiality.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2012

Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset

[BibT_eX]

[DOI]

CoRR, 2012

The Flexiformalist Manifesto.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2012

MathWebSearch 0.5: Scaling an Open Formula Search Engine.

[BibT_eX]

[DOI]

Bogdan Matican

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

The Planetary Project: Towards eMath3.0.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Extending MKM Formats at the Statement Level.

[BibT_eX]

[DOI]

Feryal Fulya Horozal

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Semantic Alliance: A Framework for Semantic Allies.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

The Planetary System: Web 3.0 & Active Documents for STEM.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2011

Towards a flexible notion of document context.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM international conference on Design of communication, 2011

Maintaining islands of consistency via versioned links.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM international conference on Design of communication, 2011

A Foundational View on Integration Problems.

[BibT_eX]

[DOI]

Claudio Sacerdoti Coen

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Combining Source, Content, Presentation, Narration, and Relational Representation.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

The LaTeXML Daemon: Editable Math on the Collaborative Web.

[BibT_eX]

[DOI]

Deyan Ginev

Bruce R. Miller

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Project Abstract: Logic Atlas and Integrator (LATIN).

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Licensing the Mizar Mathematical Library.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

MathWebSearch 0.5 An Open Formula Search Engine.

[BibT_eX]

Proceedings of the Report of the symposium "Lernen, 2011

The LaTeXML Daemon: Editable Math on the Collaborative Web.

[BibT_eX]

Deyan Ginev

Proceedings of the Report of the symposium "Lernen, 2011

A Framework for Semantic Publishing of Modular Content Objects.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Semantic Publishing 2011, 2011

The Planetary System: Executable Science, Technology, Engineering and Math Papers.

[BibT_eX]

[DOI]

Proceedings of the Semanic Web: Research and Applications, 2011

2010

Transforming Large Collections of Scientific Publications to XML.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2010

What we understand is what we get: Assessment in Spreadsheets

[BibT_eX]

[DOI]

CoRR, 2010

sTeX+ - a System for Flexible Formalization of Linked Data

[BibT_eX]

[DOI]

CoRR, 2010

sTeXIDE: An Integrated Development Environment for sTeX Collections

[BibT_eX]

[DOI]

Constantin Jucovschi

CoRR, 2010

Towards Logical Frameworks in the Heterogeneous Tool Set Hets.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A Proof Theoretic Interpretation of Model Theoretic Hiding.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Prototyping a Browser for a Listed Buildings Database with Semantic MediaWiki.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Semantic Wikis, 2010

STEX+: a system for flexible formalization of linked data.

[BibT_eX]

[DOI]

Proceedings of the Proceedings the 6th International Conference on Semantic Systems, 2010

Publishing Math Lecture Notes as Linked Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2010

Towards MKM in the Large: Modular Representation and Scalable Software Architecture.

[BibT_eX]

[DOI]

Vyacheslav Zholudev

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

Dimensions of Formality: A Case Study for MKM in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

sTeXIIS: An Integrated Development Environment for sTeX Collections.

[BibT_eX]

[DOI]

Constantin Jucovschi

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Applying Semantic Techniques to Search and Analyze Bug Tracking Data.

[BibT_eX]

[DOI]

J. Netw. Syst. Manag., 2009

Context-Aware Adaptation: A Case Study On Mathematical Notations.

[BibT_eX]

[DOI]

Inf. Syst. Manag., 2009

Cut-Simulation and Impredicativity

[BibT_eX]

[DOI]

Chad E. Brown

Log. Methods Comput. Sci., 2009

Modeling task experience in user assistance systems.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual International Conference on Design of Communication, 2009

Semantic transparency in user assistance systems.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual International Conference on Design of Communication, 2009

Compensating the Computational Bias of Spreadsheets with MKM Techniques.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

Spreadsheet Interaction with Frames: Exploring a Mathematical Practice.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

Unifying Math Ontologies: A Tale of Two Standards.

[BibT_eX]

[DOI]

James H. Davenport

Proceedings of the Intelligent Computer Mathematics, 2009

What you understand is what you get: Assessment in Spreadsheets.

[BibT_eX]

Proceedings of the LWA 2009: Workshop-Woche: Lernen, 2009

A Mathematical Approach to Ontology Authoring and Documentation.

[BibT_eX]

Proceedings of the LWA 2009: Workshop-Woche: Lernen, 2009

An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus.

[BibT_eX]

[DOI]

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Formal Management of CAD/CAM Processes.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

2008

Semantic Knowledge Management for Education.

[BibT_eX]

[DOI]

Proc. IEEE, 2008

Using as a Semantic Markup Format.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2008

Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts.

[BibT_eX]

[DOI]

Proceedings of the Emerging Technologies and Information Systems for the Knowledge Society, 2008

Fine-Granular Version Control & Redundancy Resolution.

[BibT_eX]

Normen Müller

Proceedings of the LWA 2008, 2008

Compensating the Semantic Bias of Spreadsheets.

[BibT_eX]

Proceedings of the LWA 2008, 2008

An Exchange Format for Modular Knowledge.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2008 Workshops, 2008

Transforming the arXiv to XML.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

Notations for Living Mathematical Documents.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge.

[BibT_eX]

[DOI]

Immanuel Normann

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search.

[BibT_eX]

[DOI]

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

panta rhei.

[BibT_eX]

Proceedings of the LWA 2007: Lernen - Wissen, 2007

Managing Variants in Document Content and Narrative Structures.

[BibT_eX]

Achim Mahnke

Proceedings of the LWA 2007: Lernen - Wissen, 2007

2006

A Semantic Wiki for Mathematical Knowledge Management.

[BibT_eX]

[DOI]

Proceedings of the SemWiki2006, First Workshop on Semantic Wikis, 2006

Communities of Practice in MKM: An Extensional Model.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Capturing the Content of Physics: Systems, Observables, and Experiments.

[BibT_eX]

[DOI]

Eberhard R. Hilf

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Cut-Simulation in Impredicative Logics.

[BibT_eX]

[DOI]

Chad E. Brown

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

A Search Engine for Mathematical Formulae.

[BibT_eX]

[DOI]

Ioan Sucan

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

OMDoc - An Open Markup Format for Mathematical Documents [version 1.2].

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 4180, Springer, ISBN: 3-540-37897-9, 2006

2005

An Exploration in the Space of Mathematical Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004

Higher-order semantics and extensionality.

[BibT_eX]

[DOI]

Chad E. Brown

J. Symb. Log., 2004

Inference and Computational Semantics.

[BibT_eX]

[DOI]

Patrick Blackburn

J. Log. Lang. Inf., 2004

CPoint: Dissolving the Author's Dilemma.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

2003

Resource-Adaptive Model Generation as a Performance Model.

[BibT_eX]

[DOI]

Alexander Koller

Log. J. IGPL, 2003

Editorial.

[BibT_eX]

[DOI]

Johan Bos

Log. J. IGPL, 2003

Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.

[BibT_eX]

[DOI]

Romeo Anghelache

Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

2002

System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning.

[BibT_eX]

[DOI]

Jürgen Zimmer

Proceedings of the Automated Deduction, 2002

Proof Development with OMEGA.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2002

2001

MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 2001

2000

Managing Structural Information by Higher-Order Colored Unification.

[BibT_eX]

[DOI]

Dieter Hutter

J. Autom. Reason., 2000

OMDoc: an infrastructure for OpenMath content dictionary information.

[BibT_eX]

[DOI]

SIGSAM Bull., 2000

System Description: MBASE, an Open Mathematical Knowledge Base.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2000

Using Deduction Techniques for Natural Language Understanding.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

Feature Logic for Dotted Types: A Formalism for Complex Word Meanings.

[BibT_eX]

[DOI]

Manfred Pinkal

Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics, 2000

1999

Agent-Oriented Integration of Distributed Mathematical Services.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1999

Higher Order Multi-Valued Resolution.

[BibT_eX]

[DOI]

Ortwin Scheja

J. Appl. Non Class. Logics, 1999

L<Omega>UI: Lovely <Omega>MEGA User Interface.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1999

MBase: Representing mathematical knowledge in a relational data base.

[BibT_eX]

[DOI]

Proceedings of the Systems for Integrated Computation and Deduction, 1999

System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1999

1998

<Omega>MEGA: Ein mathematisches Assistenzsystem.

[BibT_eX]

[DOI]

Jörg H. Siekmann

Erica Melis

Kognitionswissenschaft, 1998

Steuerung der Inferenz in der Diskursverarbeitung.

[BibT_eX]

[DOI]

Markus Egg

Kognitionswissenschaft, 1998

Integrating Computer Algebra into Proof Planning.

[BibT_eX]

[DOI]

Volker Sorge

J. Autom. Reason., 1998

System Description: LEO - A Higher-Order Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1998

Extensional Higher-Order Resolution.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1998

1997

Mechanising Partiality With Re-implementation.

[BibT_eX]

[DOI]

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Computing Parallelism in Discourse.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

A Colored Version of the Lambda-Calculus.

[BibT_eX]

[DOI]

Dieter Hutter

Proceedings of the Automated Deduction, 1997

Omega: Towards a Mathematical Assistant.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1997

1996

Sorten für das automatische Beweisen höherer Stufe.

[BibT_eX]

Künstliche Intell., 1996

Die Beweisentwicklungsumgebung Omega-MKRP.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 1996

Corrections and Higher-Order Unification.

[BibT_eX]

Noor van Leusen

Proceedings of the Natural Language Processing and Speech Technology, 1996

A Resolution Calculus for Presuppositions.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Integrating Computer Algebra with Proof Planning.

[BibT_eX]

[DOI]

Volker Sorge

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

Focus and Higher-Order Unification.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Computational Linguistics, 1996

Higher-Order Coloured Unification and Natural Language Semantics.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual Meeting of the Association for Computational Linguistics, 1996

1995

Higher-Order Tableaux.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994

A mechanization of sorted higher-order logic based on the resolution principle.

[BibT_eX]

[DOI]

PhD thesis, 1994

Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts.

[BibT_eX]

[DOI]

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Adapting Methods to Novel Tasks in Proof Planning.

[BibT_eX]

[DOI]

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

A Mechanization of Strong Kleene Logic for Partial Functions.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.

[BibT_eX]

[DOI]

Patricia Johann

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

KEIM: A Toolkit for Automated Deduction.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Omega-MKRP: A Proof Development Environment.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Unification in a Lambda-Calculus with Intersection Types.

[BibT_eX]

Frank Pfenning

Proceedings of the Logic Programming, 1993

1992

Unification in Order-Sorted Type Theory.

[BibT_eX]

[DOI]