|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Cezary Kaliszyk, Josef Urban |
Automated Reasoning Service for HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 120-135, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Patrick D. F. Ion |
Mathematics and the World Wide Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 230-245, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jónathan Heras, Ekaterina Komendantskaya |
ML4PG in Computer Algebra Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 354-358, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthew England 0001, Russell J. Bradford, James H. Davenport, David J. Wilson |
Understanding Branch Cuts of Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 136-151, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jónathan Heras, Gadea Mata, Ana Romero 0001, Julio Rubio 0001, Rubén Sáenz |
Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 66-81, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rein Prank |
Software for Evaluating Relevance of Steps in Algebraic Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 374-378, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner |
Certification of Bounds of Non-linear Functions: The Templates Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 51-65, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | William M. Farmer |
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 35-50, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Deyan Ginev, Bruce R. Miller |
2012 - A Year of. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 335-338, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lange 0002, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger |
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 200-215, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff |
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 359-363, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chau Do, Eric J. Pauwels |
Using MathML to Represent Units of Measurement for Improved Ontology Alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 310-325, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michal Ruzicka, Petr Sojka, Vlastimil Krejcír |
Towards Machine-Actionable Modules of a Digital Mathematics Library - The Example of DML-CZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 263-277, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ursula Martin, Alison Pease |
Mathematical Practice, Crowdsourcing, and Social Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 98-119, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Schöneberg, Wolfram Sperber |
The DeLiVerMATH Project - Text Analysis in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 379-382, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa |
A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 278-287, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry E. Chebukov, Alexander D. Izaak, Olga G. Misyurina, Yuri A. Pupyrev, Alexey B. Zhizhchenko |
Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 344-348, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber |
swMATH - A New Information Service for Mathematical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 369-373, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eno Tõnisson |
Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 216-229, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue |
The Web Geometry Laboratory Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 364-368, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Carette, David Aspinall 0001, Christoph Lange 0002, Petr Sojka, Wolfgang Windsteiger (eds.) |
Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![Springer, 978-3-642-39319-8 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lange 0002, Colin Rowat, Manfred Kerber |
The ForMaRE Project - Formal Mathematical Reasoning in Economics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 330-334, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kohlhase, Felix Mance, Florian Rabe 0001 |
A Universal Machine for Biform Theory Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 82-97, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Assia Mahboubi |
The Rooster and the Butterflies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 1-18, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bruce R. Miller |
Three Years of DLMF: Web, Math and Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 288-295, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Russell J. Bradford, James H. Davenport, Matthew England 0001, David J. Wilson |
Optimising Problem Formulation for Cylindrical Algebraic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 19-34, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paul Libbrecht |
Escaping the Trap of Too Precise Topic Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 296-309, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shahab Kamali, Frank Wm. Tompa |
Structural Similarity Search for Mathematics Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 246-262, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers |
Formal Mathematics on Display: A Wiki for Flyspeck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 152-167, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lüth, Martin Ring |
A Web Interface for Isabelle: The Next Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 326-329, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Steven Obua, Mark Adams, David Aspinall 0001 |
Capturing Hiproofs in HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 184-199, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Miguel A. Abánades, Francisco Botana |
A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 349-353, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rui Hu, Stephen M. Watt |
Determining Points on Handwritten Mathematical Symbols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 168-183, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Florian Rabe 0001 |
The MMT API: A Generic MKM System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 339-343, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|