![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 27 matches
- 2006
- Michael Kohlhase:
Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3863, Springer 2006, ISBN 3-540-31430-X [contents] - 2005
- Kamal Aboul-Hosn, Terese Andersen:
A Proof-Theoretic Approach to Hierarchical Math Library Organization. MKM 2005: 1-16 - Andrea Asperti
, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen
:
An Interactive Algebra Course with Formalised Proofs and Definitions. MKM 2005: 315-329 - David Aspinall, Christoph Lüth, Burkhart Wolff:
Assisted Proof Document Authoring. MKM 2005: 65-80 - Serge Autexier
, Christoph Benzmüller
, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth:
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM 2005: 126-142 - Serge Autexier
, Armin Fiedler:
Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. MKM 2005: 96-110 - Paul A. Cairns
, Jeremy Gow:
Literate Proving: Presenting and Documenting Formal Proofs. MKM 2005: 159-173 - Claudio Sacerdoti Coen
:
Explanation in Natural Language of lamda-µµ-Terms. MKM 2005: 234-249 - Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek:
Interactive Learning and Mathematical Calculus. MKM 2005: 330-345 - Adam Grabowski, Christoph Schwarzweller
:
Translating Mathematical Vernacular into Knowledge Repositories. MKM 2005: 49-64 - Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
:
Computational Origami of a Morley's Triangle. MKM 2005: 267-282 - Gueorgui I. Jojgov:
Translating a Fragment of Weak Type Theory into Type Theory with Open Terms. MKM 2005: 389-403 - Fairouz Kamareddine, Manuel Maarek, J. B. Wells:
Toward an Object-Oriented Structure for Mathematical Text. MKM 2005: 217-233 - Manfred Kerber, Martin Pollet:
A Tough Nut for Mathematical Knowledge Management. MKM 2005: 81-95 - Andrea Kohlhase, Michael Kohlhase:
An Exploration in the Space of Mathematical Knowledge. MKM 2005: 17-32 - Zenon Kulpa:
Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Study. MKM 2005: 283-298 - Achim Mahnke, Jan Scheffczyk:
Engineering Mathematical Knowledge. MKM 2005: 250-266 - Shahid Manzoor, Paul Libbrecht, Carsten Ullrich
, Erica Melis:
Authoring Presentation for OpenMath. MKM 2005: 33-48 - Andreas Meier, Erica Melis:
Impasse-Driven Reasoning in Proof Planning. MKM 2005: 143-158 - Robert Milewski
:
Transformations of MML Database's Elements. MKM 2005: 376-388 - Koji Nakagawa, Masakazu Suzuki:
Mathematical Knowledge Browser with Automatic Hyperlink Detection. MKM 2005: 190-202 - William Naylor, Julian A. Padget
:
Semantic Matching for Mathematical Services. MKM 2005: 174-189 - Christoph Schwarzweller
:
Gröbner Bases - Theory Refinement in the Mizar System. MKM 2005: 299-314 - Alan P. Sexton, Volker Sorge:
Processing Textbook-Style Matrices. MKM 2005: 111-125 - Alan P. Sexton, Volker Sorge:
A Database of Glyphs for OCR of Mathematical Documents. MKM 2005: 203-216 - Clare M. So, Stephen M. Watt:
Determining Empirical Characteristics of Mathematical Expression Use. MKM 2005: 361-375 - Josef Urban:
XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy. MKM 2005: 346-360
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-27 22:33 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint