|
|
|
|
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.  |
MKM/Calculemus/DML  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick D. F. Ion |
Mathematics and the World Wide Web. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jónathan Heras, Ekaterina Komendantskaya |
ML4PG in Computer Algebra Verification. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew England 0001, Russell J. Bradford, James H. Davenport, David J. Wilson |
Understanding Branch Cuts of Expressions. |
MKM/Calculemus/DML |
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. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rein Prank |
Software for Evaluating Relevance of Steps in Algebraic Transformations. |
MKM/Calculemus/DML |
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. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | William M. Farmer |
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Deyan Ginev, Bruce R. Miller |
2012 - A Year of. |
MKM/Calculemus/DML |
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. |
MKM/Calculemus/DML |
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. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chau Do, Eric J. Pauwels |
Using MathML to Represent Units of Measurement for Improved Ontology Alignment. |
MKM/Calculemus/DML |
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. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Martin, Alison Pease |
Mathematical Practice, Crowdsourcing, and Social Machines. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulf Schöneberg, Wolfram Sperber |
The DeLiVerMATH Project - Text Analysis in Mathematics. |
MKM/Calculemus/DML |
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. |
MKM/Calculemus/DML |
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. |
MKM/Calculemus/DML |
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. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eno Tõnisson |
Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue |
The Web Geometry Laboratory Project. |
MKM/Calculemus/DML |
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 |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Lange 0002, Colin Rowat, Manfred Kerber |
The ForMaRE Project - Formal Mathematical Reasoning in Economics. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kohlhase, Felix Mance, Florian Rabe 0001 |
A Universal Machine for Biform Theory Graphs. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Assia Mahboubi |
The Rooster and the Butterflies. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce R. Miller |
Three Years of DLMF: Web, Math and Search. |
MKM/Calculemus/DML |
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. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Libbrecht |
Escaping the Trap of Too Precise Topic Queries. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahab Kamali, Frank Wm. Tompa |
Structural Similarity Search for Mathematics Retrieval. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers |
Formal Mathematics on Display: A Wiki for Flyspeck. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Lüth, Martin Ring |
A Web Interface for Isabelle: The Next Generation. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Obua, Mark Adams, David Aspinall 0001 |
Capturing Hiproofs in HOL Light. |
MKM/Calculemus/DML |
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. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Hu, Stephen M. Watt |
Determining Points on Handwritten Mathematical Symbols. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Rabe 0001 |
The MMT API: A Generic MKM System. |
MKM/Calculemus/DML |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license