Остановите войну!
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 32 matches
- 2007
- Miguel A. Abánades, Jesús Escribano, Francisco Botana:
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. Calculemus/MKM 2007: 131-145 - Mirian Andrés, Laureano Lambán, Julio Rubio:
Executing in Common Lisp, Proving in ACL2. Calculemus/MKM 2007: 1-12 - Andrea Asperti, Enrico Tassi:
Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case. Calculemus/MKM 2007: 146-160 - David Aspinall, Christoph Lüth, Daniel Winterstein:
A Framework for Interactive Proof. Calculemus/MKM 2007: 161-175 - Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner:
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. Calculemus/MKM 2007: 176-190 - Ewa Borak, Anna Zalewska:
Mizar Course in Logic and Set Theory. Calculemus/MKM 2007: 191-204 - Jacques Carette, William M. Farmer, Volker Sorge:
A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26 - Amine Chaieb, Makarius Wenzel:
Context Aware Calculation and Deduction. Calculemus/MKM 2007: 27-39 - Claudio Sacerdoti Coen, Stefano Zacchiroli:
Spurious Disambiguation Error Detection. Calculemus/MKM 2007: 381-392 - Simon Colton, Daniel Wagner:
Using Formal Concept Analysis in Mathematical Discovery. Calculemus/MKM 2007: 205-220 - Thierry Coquand, Arnaud Spiwack:
Towards Constructive Homological Algebra in Type Theory. Calculemus/MKM 2007: 40-54 - Pierre Corbineau, Cezary Kaliszyk:
Cooperative Repositories for Formal Proofs. Calculemus/MKM 2007: 221-234 - James H. Davenport:
What Might "Understand a Function" Mean? Calculemus/MKM 2007: 55-65 - William M. Farmer:
Biform Theories in Chiron. Calculemus/MKM 2007: 66-79 - Adam Grabowski, Christoph Schwarzweller:
Revisions as an Essential Tool to Maintain Mathematical Repositories. Calculemus/MKM 2007: 235-249 - Klaus Grue:
The Layers of Logiweb. Calculemus/MKM 2007: 250-264 - Feryal Fulya Horozal, Chad E. Brown:
Formal Representation of Mathematics in a Dependently Typed Set Theory. Calculemus/MKM 2007: 265-279 - Predrag Janicic, Alan Bundy:
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Calculemus/MKM 2007: 80-93 - Cezary Kaliszyk, Freek Wiedijk:
Certified Computer Algebra on Top of an Interactive Theorem Prover. Calculemus/MKM 2007: 94-105 - Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells:
Restoring Natural Language as a Computerised Mathematics Input Method. Calculemus/MKM 2007: 280-295 - Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells:
Narrative Structure of Mathematical Texts. Calculemus/MKM 2007: 296-312 - Elena Kartashova, Scott McCallum:
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators. Calculemus/MKM 2007: 106-115 - Andrea Kohlhase, Michael Kohlhase:
Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search. Calculemus/MKM 2007: 313-326 - Gilbert Lee, Piotr Rudnicki:
Alternative Aggregates in Mizar. Calculemus/MKM 2007: 327-341 - Songxin Liang, David J. Jeffrey:
Rule-Based Simplification in Vector-Product Spaces. Calculemus/MKM 2007: 116-127 - Robert Miner, Rajesh Munavalli:
An Approach to Mathematical Search Through Query Formulation and Data Normalization. Calculemus/MKM 2007: 342-355 - Peter Murray-Rust:
Mathematics and Scientific Markup. Calculemus/MKM 2007: 128-129 - Immanuel Normann, Michael Kohlhase:
Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge. Calculemus/MKM 2007: 356-370 - Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller:
Towards Mathematical Knowledge Management for Electrical Engineering. Calculemus/MKM 2007: 371-380 - Neil J. A. Sloane:
The On-Line Encyclopedia of Integer Sequences. Calculemus/MKM 2007: 130
skipping 2 more matches
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-06 09:26 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