|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 248 publication records. Showing 248 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe 0001, Volker Sorge (eds.) |
Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings  |
CICM  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone |
TIP: Tons of Inductive Problems. |
CICM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Waqar Ahmad, Osman Hasan |
Towards Formal Fault Tree Analysis Using Theorem Proving. |
CICM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Moore |
Semantic Enrichment of Mathematics via 'tooltips'. |
CICM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar |
Formalizing Physics: Automation, Presentation and Foundation Issues. |
CICM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease |
Automating Change of Representation for Proofs in Discrete Mathematics. |
CICM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Wisniewski, Alexander Steen, Christoph Benzmüller |
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. |
CICM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall 0001 |
Type Inference for ZFH. |
CICM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Umair Siddique, Osman Hasan, Sofiène Tahar |
Towards the Formalization of Fractional Calculus in Higher-Order Logic. |
CICM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Deyan Ginev, Joseph Corneli |
NNexus Reloaded. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Cerna |
A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Zongyan Huang, Matthew England 0001, 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. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Van de Sompel, Martin Klein 0001, Harihar Shankar |
Towards Robust Hyperlinks for Web-Based Scholarly Communication. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Carvalho e Silva |
What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Qun Zhang, Abdou Youssef |
An Approach to Math-Similarity Search. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulf Schöneberg, Wolfram Sperber |
POS Tagging and Its Applications for Mathematics - Text Analysis in Mathematics. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibault Gauthier, Cezary Kaliszyk |
Matching Concepts across HOL Libraries. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Naumowicz |
SAT-Enhanced Mizar Proof Checking. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams |
Digital Repository of Mathematical Formulae. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Schubotz, Gabriel Wicke |
Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew England 0001, 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. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar |
Formalization of Complex Vectors in Higher-Order Logic. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco B. Caminati, Manfred Kerber, Christoph Lange 0002, Colin Rowat |
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Moore |
PDF/A-3u as an Archival Format for Accessible Mathematics. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantin Jucovschi |
Towards an Interaction-based Integration of MKM Services into End-User Applications. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen |
Hipster: Integrating Theory Exploration in a Proof Assistant. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Josef Urban, Jirí Vyskocil, Herman Geuvers |
Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Feryal Fulya Horozal, Florian Rabe 0001, Michael Kohlhase |
Flexary Operators for Formalized Mathematics. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic |
A Vernacular for Coherent Logic. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Fish, Alexei Lisitsa 0001 |
Detecting Unknots via Equational Reasoning, I: Exploration. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kohlhase |
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gransden, Neil Walkinshaw, Rajeev Raman |
Mining State-Based Models from Proof Corpora. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa |
Which One Is Better: Presentation-Based or Content-Based Math Search? |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing |
System Description: MathHub.info. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban (eds.) |
Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Haralambous, Pedro Quaresma |
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Hupel |
Interactive Simplifier Tracing and Debugging in Isabelle. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Deyan Ginev, Bruce R. Miller, Silviu Oprea |
E-books and Graphics with. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi |
Towards the Formal Reliability Analysis of Oil and Gas Pipelines. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Líska, Petr Sojka, Michal Ruzicka |
Math Indexer and Searcher Web Interface - Towards Fulfillment of Mathematicians' Information Needs. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric W. Weisstein |
Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram|Alpha. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, William M. Farmer, Michael Kohlhase |
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Florian Rabe 0001 |
Towards Knowledge Management for HOL Light. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Wegner, Sigram Schindler |
A Mathematical Structure for Modeling Inventions. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Kohlhase, Michael Kohlhase |
System Description: A Semantics-Aware LaTeX-to-Office Converter. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Kohlhase |
Search Interfaces for Mathematicians. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Umair Siddique, Sofiène Tahar |
A Framework for Formal Reasoning about Geometrical Optics. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Karol Pak |
Automated Improving of Proof Legibility in the Mizar System. |
CICM |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #248 of 248 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license