Остановите войну!
for scientists:
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 31 matches
- 2011
- Christoph Lange:
Krextor - An Extensible Framework for Contributing Content Math to the Web of Data. Calculemus/MKM 2011: 304-306 - Jesse Alama:
mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library. Calculemus/MKM 2011: 276-277 - Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban:
Large Formal Wikis: Issues and Solutions. Calculemus/MKM 2011: 133-148 - Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban:
Licensing the Mizar Mathematical Library. Calculemus/MKM 2011: 149-163 - Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini:
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. Calculemus/MKM 2011: 278-280 - Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev:
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. Calculemus/MKM 2011: 164-179 - José Borbinha, Thierry Bouche, Aleksander Nowinski, Petr Sojka:
Project EuDML - A First Year Demonstration. Calculemus/MKM 2011: 281-284 - Francisco Botana:
A Symbolic Companion for Interactive Geometric Systems. Calculemus/MKM 2011: 285-286 - Jacques Carette, William M. Farmer, Russell O'Connor:
MathScheme: Project Description. Calculemus/MKM 2011: 287-288 - Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291 - Marcos Cramer, Peter Koepke, Bernhard Schröder:
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System. Calculemus/MKM 2011: 180-195 - Andreas Distler, Muhammad Shah, Volker Sorge:
Enumeration of AG-Groupoids. Calculemus/MKM 2011: 1-14 - Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, Michael Kohlhase:
The LaTeXML Daemon: Editable Math on the Collaborative Web. Calculemus/MKM 2011: 292-294 - Bastiaan Heeren, Johan Jeuring:
Interleaving Strategies. Calculemus/MKM 2011: 196-211 - Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau:
Incidence Simplicial Matrices Formalized in Coq/SSReflect. Calculemus/MKM 2011: 30-44 - Jónathan Heras, Vico Pascual, Julio Rubio:
A System for Computing and Reasoning in Algebraic Topology. Calculemus/MKM 2011: 295-297 - Feryal Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe:
Combining Source, Content, Presentation, Narration, and Relational Representation. Calculemus/MKM 2011: 212-227 - Cezary Kaliszyk, Tetsuo Ida:
Proof Assistant Decision Procedures for Formalizing Origami. Calculemus/MKM 2011: 45-57 - Manfred Kerber, Colin Rowat, Wolfgang Windsteiger:
Using Theorema in the Formalization of Theoretical Economics. Calculemus/MKM 2011: 58-73 - Vladimir Komendantsky, Alexander Konovalov, Steve Linton:
View of Computer Algebra Data from Coq. Calculemus/MKM 2011: 74-89 - Robbert Krebbers, Bas Spitters:
Computer Certified Efficient Exact Reals in Coq. Calculemus/MKM 2011: 90-106 - Robbert Krebbers, Freek Wiedijk:
A Formalization of the C99 Standard in HOL, Isabelle and Coq. Calculemus/MKM 2011: 301-303 - Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes:
Learning2Reason. Calculemus/MKM 2011: 298-300 - Jozef Misutka, Leo Galambos:
System Description: EgoMath2 As a Tool for Mathematical Searching on Wikipedia.org. Calculemus/MKM 2011: 307-309 - Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen:
A Foundational View on Integration Problems. Calculemus/MKM 2011: 107-122 - Gabriel Dos Reis, David C. J. Matthews, Yue Li:
Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework. Calculemus/MKM 2011: 15-29 - Petr Sojka, Martin Líska:
Indexing and Searching Mathematics in Digital Libraries - Architecture, Design and Scalability Issues. Calculemus/MKM 2011: 228-243 - Alexey Solovyev, Thomas C. Hales:
Efficient Formal Verification of Bounds of Linear Programs. Calculemus/MKM 2011: 123-132 - Makarius Wenzel:
Isabelle as Document-Oriented Proof Assistant. Calculemus/MKM 2011: 244-259 - Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov:
Towards Formal Proof Script Refactoring. Calculemus/MKM 2011: 260-275
skipping 1 more match
loading more results
failed to load more results, please try again later
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-05-11 11:36 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