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 21 matches
- 2021
- Mohamed Abdelghany, Sofiène Tahar:
Formalization of RBD-Based Cause Consequence Analysis in HOL. CICM 2021: 47-64 - Susanne Arndt, Patrick Ion, Mila Runnwerth, Moritz Schubotz, Olaf Teschke:
10 Years Later: The Mathematics Subject Classification and Linked Open Data. CICM 2021: 153-158 - Ciarán Dunne, J. B. Wells, Fairouz Kamareddine:
Generating Custom Set Theories with Non-set Structured Objects. CICM 2021: 228-244 - Chelsea Edmonds, Lawrence C. Paulson:
A Modular First Formalisation of Combinatorial Design Theory. CICM 2021: 3-18 - Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen:
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. CICM 2021: 32-46 - Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov:
Inductive Benchmarks for Automated Reasoning. CICM 2021: 124-129 - Edvard K. Holden, Konstantin Korovin:
Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving. CICM 2021: 107-123 - Petra Hozzová, Laura Kovács, Jakob Rath:
Automated Generation of Exam Sheets for Automated Deduction. CICM 2021: 185-196 - Tudor Jebelean:
A Heuristic Prover for Elementary Analysis in Theorema. CICM 2021: 130-134 - Abdullah Khan, Alexei Lisitsa, Alexei Vernitski:
Gauss-Lintel, an Algorithm Suite for Exploring Chord Diagrams. CICM 2021: 197-202 - Martin Líska, Dávid Lupták, Vít Novotný, Michal Ruzicka, Boris Shminke, Petr Sojka, Michal Stefánik, Makarius Wenzel:
CICM'21 Systems Entries. CICM 2021: 245-248 - Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker:
Beautiful Formalizations in Isabelle/Naproche. CICM 2021: 19-31 - Dávid Lupták, Vít Novotný, Michal Stefánik, Petr Sojka:
WebMIaS on Docker - Deploying Math-Aware Search in a Single Line of Code. CICM 2021: 159-164 - Jaroslav Macke, Jirí Sedlár, Miroslav Olsák, Josef Urban, Josef Sivic:
Learning to Solve Geometric Construction Problems from Images. CICM 2021: 167-184 - Krsto Prorokovic, Michael Wand, Jürgen Schmidhuber:
Improving Stateful Premise Selection with Transformers. CICM 2021: 84-89 - Florian Rabe:
A Language with Type-Dependent Equality. CICM 2021: 211-227 - Colin Rothgang, Artur Kornilowicz, Florian Rabe:
A New Export of the Mizar Mathematical Library. CICM 2021: 205-210 - Ruocheng Shan, Abdou Youssef:
Towards Math Terms Disambiguation Using Machine Learning. CICM 2021: 90-106 - Yujin Song, Xiaoyu Chen:
Searching for Mathematical Formulas Based on Graph Representation Learning. CICM 2021: 137-152 - Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban:
Online Machine Learning Techniques for Coq: A Comparison. CICM 2021: 67-83 - Fairouz Kamareddine, Claudio Sacerdoti Coen:
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings. Lecture Notes in Computer Science 12833, Springer 2021, ISBN 978-3-030-81096-2 [contents]
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-10-01 21:56 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