| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | William Naylor, Julian A. Padget |
From Untyped to Polymorphically Typed Objects in Mathematical Web Services.  |
MKM  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kohlhase (eds.) |
Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Aberdein |
Managing Informal Mathematical Knowledge: Techniques from Informal Logic. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Makarius Wenzel |
Structured Induction Proofs in Isabelle/Isar. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns |
Capturing the Content of Physics: Systems, Observables, and Experiments. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Bancerek |
Information Retrieval and Rendering with. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Kohlhase, Michael Kohlhase |
Communities of Practice in MKM: An Extensional Model. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Chaitin |
The Omega Number: Irreducible Complexity in Pure Math. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Libbrecht, Christian Gross 0004 |
Authoring LeActiveMath Calculus Content. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chad E. Brown |
Verifying and Invalidating Textbook Proofs Using Scunak. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdou Youssef |
Roles of Math Search in Mathematics. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Autexier, Claudio Sacerdoti Coen |
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki |
Capturing Abstract Matrices from Paper. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber |
A Dynamic Poincaré Principle. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Aboul-Hosn |
A Proof-Theoretic Approach to Tactics. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge |
Towards a Parser for Mathematical Formula Recognition. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Autexier, Dominik Dietrich |
Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Quaresma, Predrag Janicic |
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr |
Proof Transformation by CERES. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani, Stefano Zacchiroli |
From Notation to Semantics: There and Back Again. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan M. Borwein, William M. Farmer (eds.) |
Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Colton, Pedro Torres 0001, Paul A. Cairns, Volker Sorge |
Managing Automatically Formed Mathematical Theories. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rimantas Rudzkis, Vaidas Balys, Michiel Hazewinkel |
Stochastic Modelling of Scientific Terms Distribution in Publications. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Ballarin |
Interpretation of Locales in Isabelle: Theories and Proof Contexts. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Aboul-Hosn, Terese Andersen |
A Proof-Theoretic Approach to Hierarchical Math Library Organization. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Cairns, Jeremy Gow |
Literate Proving: Presenting and Documenting Formal Proofs. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier 0002, Claus-Peter Wirth |
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Milewski |
Transformations of MML Database's Elements. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Koji Nakagawa, Masakazu Suzuki |
Mathematical Knowledge Browser with Automatic Hyperlink Detection. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Autexier, Armin Fiedler |
Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare M. So, Stephen M. Watt |
Determining Empirical Characteristics of Mathematical Expression Use. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek |
Interactive Learning and Mathematical Calculus. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Grabowski, Christoph Schwarzweller |
Translating Mathematical Vernacular into Knowledge Repositories. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zenon Kulpa |
Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Study. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Urban |
XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | William Naylor, Julian A. Padget |
Semantic Matching for Mathematical Services. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim Mahnke, Jan Scheffczyk |
Engineering Mathematical Knowledge. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Kohlhase, Michael Kohlhase |
An Exploration in the Space of Mathematical Knowledge. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gueorgui I. Jojgov |
Translating a Fragment of Weak Type Theory into Type Theory with Open Terms. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall 0001, Christoph Lüth, Burkhart Wolff |
Assisted Proof Document Authoring. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis |
Authoring Presentation for OpenMath. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
Toward an Object-Oriented Structure for Mathematical Text. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
Explanation in Natural Language of lamda-µµ-Terms. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge |
Processing Textbook-Style Matrices. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuo Ida, Hidekazu Takahashi, Mircea Marin |
Computational Origami of a Morley's Triangle. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge |
A Database of Glyphs for OCR of Mathematical Documents. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Meier 0002, Erica Melis |
Impasse-Driven Reasoning in Proof Planning. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen |
An Interactive Algebra Course with Formalised Proofs and Definitions. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Schwarzweller |
Gröbner Bases - Theory Refinement in the Mizar System. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Martin Pollet |
A Tough Nut for Mathematical Knowledge Management. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.) |
Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Grabowski, Markus Moschner |
Managing Heterogeneous Theories within a Mathematical Knowledge Repository. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnon Avron |
Formalizing Set Theory as it Is Actually Used. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Naumowicz, Czeslaw Bylinski |
Improving Mizar Texts with Properties and Requirements. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Temur Kutsia, Bruno Buchberger |
Predicate Logic with Sequence Variables and Sequence Function Symbols. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani, Riccardo Solmi |
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zenon Kulpa |
On Diagrammatic Representation of Mathematical Knowledge. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
Flexible Encoding of Mathematics on the Computer. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Caprotti, Mike Dewar, Daniele Turi |
Mathematical Service Matching Using Description Logic and OWL. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lori Lorigo, Jon M. Kleinberg, Richard Eaton, Robert L. Constable |
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Strotmann |
The Categorial Type of OpenMath Objects. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Koji Nakagawa, Akihiro Nomura 0001, Masakazu Suzuki |
Extraction of Logical Structure from Articles in Mathematics. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Cairns |
Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Bancerek, Josef Urban |
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Pollet, Volker Sorge, Manfred Kerber |
Intuitive and Formal Representations: The Case of Matrices. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
Mathematical Libraries as Proof Assistant Environments. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Stefano Zacchiroli |
Efficient Ambiguous Parsing of Mathematical Formulae. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Matteo Selmi |
Efficient Retrieval of Mathematical Statements. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena S. Smirnova, Clare M. So, Stephen M. Watt |
An Architecture for Distributed Mathematical Web Services. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Angel Mora, Roberto Moriyón, Francisco Saiz |
Modeling Interactivity for Mathematics Learning by Demonstration. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Kohlhase, Michael Kohlhase |
CPoint: Dissolving the Author's Dilemma. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine |
Theorem Proving and Proof Verification in the System SAD. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Erica Melis, Andreas Meier 0002, Martin Pollet |
Adaptive Access to a Proof Planner. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Grabowski, Christoph Schwarzweller |
Rough Concept Analysis - Theory Development in the Mizar System. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Draheim, Winfried Neun, Dima Suliman |
Classifying Differential Equations on the Web. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk |
C-CoRN, the Constructive Coq Repository at Nijmegen. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gueorgui I. Jojgov, Rob Nederpelt |
A Path to Faithful Formalizations of Mathematics. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew A. Adams, James H. Davenport |
Copyright Issues for MKM. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Cairns, Jeremy Gow |
A Theoretical Analysis of Hierarchical Proofs. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns |
Problems and Solutions for Markup for Mathematical Examples and Exercises. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
markup for mathematics documents, knowledge representation |
| 1 | Yusuke Baba, Masakazu Suzuki |
An Annotated Corpus and a Grammar Model of Theorem Description. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Carlisle, Mike Dewar |
NAG Library Documentation. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Davenport |
MKM from Book to Computer: A Case Study. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Wiedijk |
Comparing Mathematical Provers. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Bancerek, Piotr Rudnicki |
Information Retrieval in MML. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew A. Adams |
Digitisation, Representation, and Formalisation. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Marchiori |
The Mathematical Semantic Web. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.) |
Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd D. Heumesser, Dietmar Seipel, Ulrich Güntzer |
An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan M. Borwein, Terry Stanway |
Managing Digital Mathematical Discourse. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Urban |
Translating Mizar for First Order Theorem Provers. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Rudnicki, Andrzej Trybulec |
On the Integrity of a Repository of Formalized Mathematics. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferruccio Guidi, Irene Schena |
A Query Language for a Metadata Framework about Mathematical Resources. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kohlhase, Romeo Anghelache |
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license