default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCICM 2014: Coimbra, Portugal
- Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban:
Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. Lecture Notes in Computer Science 8543, Springer 2014, ISBN 978-3-319-08433-6
Invited Talks
- Jaime Carvalho e Silva:
What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools. 1-11 - Herbert Van de Sompel
, Martin Klein, Harihar Shankar:
Towards Robust Hyperlinks for Web-Based Scholarly Communication. 12-25 - Eric W. Weisstein:
Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram|Alpha. 26-29
Calculemus
- Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi:
Towards the Formal Reliability Analysis of Oil and Gas Pipelines. 30-44 - Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson:
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. 45-60 - David M. Cerna:
A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata. 61-75 - Andrew Fish, Alexei Lisitsa:
Detecting Unknots via Equational Reasoning, I: Exploration. 76-91 - Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge:
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. 92-107 - Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen:
Hipster: Integrating Theory Exploration in a Proof Assistant. 108-122 - Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar:
Formalization of Complex Vectors in Higher-Order Logic. 123-137 - Bernd Wegner, Sigram Schindler:
A Mathematical Structure for Modeling Inventions. 138-152
Digital Mathematics Library
- Andrea Kohlhase:
Search Interfaces for Mathematicians. 153-168 - Michael Kohlhase:
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics. 169-183 - Ross Moore:
PDF/A-3u as an Archival Format for Accessible Mathematics. 184-199 - Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa:
Which One Is Better: Presentation-Based or Content-Based Math Search? 200-212 - Ulf Schöneberg, Wolfram Sperber:
POS Tagging and Its Applications for Mathematics - Text Analysis in Mathematics. 213-223 - Moritz Schubotz, Gabriel Wicke:
Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia. 224-235
Mathematical Knowledge Management
- Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat:
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? 236-251 - Jacques Carette, William M. Farmer, Michael Kohlhase:
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. 252-266 - Thibault Gauthier, Cezary Kaliszyk:
Matching Concepts across HOL Libraries. 267-281 - Thomas Gransden, Neil Walkinshaw, Rajeev Raman:
Mining State-Based Models from Proof Corpora. 282-297 - Yannis Haralambous, Pedro Quaresma:
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. 298-311 - Feryal Fulya Horozal, Florian Rabe, Michael Kohlhase:
Flexary Operators for Formalized Mathematics. 312-327 - Lars Hupel:
Interactive Simplifier Tracing and Debugging in Isabelle. 328-343 - Constantin Jucovschi:
Towards an Interaction-based Integration of MKM Services into End-User Applications. 344-356 - Cezary Kaliszyk, Florian Rabe:
Towards Knowledge Management for HOL Light. 357-372 - Karol Pak:
Automated Improving of Proof Legibility in the Mizar System. 373-387 - Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic:
A Vernacular for Coherent Logic. 388-403 - Qun Zhang, Abdou Youssef:
An Approach to Math-Similarity Search. 404-418
Systems and Projects
- Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams:
Digital Repository of Mathematical Formulae. 419-422 - Deyan Ginev, Joseph Corneli:
NNexus Reloaded. 423-426 - Deyan Ginev, Bruce R. Miller, Silviu Oprea:
E-books and Graphics with. 427-430 - Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing:
System Description: MathHub.info. 431-434 - Cezary Kaliszyk, Josef Urban, Jirí Vyskocil, Herman Geuvers:
Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description. 435-439 - Lukas Kohlhase, Michael Kohlhase:
System Description: A Semantics-Aware LaTeX-to-Office Converter. 440-443 - Martin Líska, Petr Sojka, Michal Ruzicka:
Math Indexer and Searcher Web Interface - Towards Fulfillment of Mathematicians' Information Needs. 444-448 - Adam Naumowicz:
SAT-Enhanced Mizar Proof Checking. 449-452 - Umair Siddique, Sofiène Tahar:
A Framework for Formal Reasoning about Geometrical Optics. 453-456
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.
last updated on 2025-12-05 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
