|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jacques Carette, William M. Farmer (eds.) |
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005  |
Calculemus  |
2006 |
DBLP BibTeX RDF |
|
| 1 | David Delahaye, Micaela Mayero |
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System. |
Calculemus |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruth Hardy |
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems. |
Calculemus |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Mateja Jamnik, Martin Pollet |
On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. |
Calculemus |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, William M. Farmer |
Preface. |
Calculemus |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy L. McCasland, Alan Bundy, Patrick F. Smith |
Ascertaining Mathematical Theorems. |
Calculemus |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Pollet, Volker Sorge |
Connecting Logical Representations and Efficient Computations. |
Calculemus |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurélie Hurault, Marc Pantel |
Mathematical Service Trading Based on Equational Matching. |
Calculemus |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schmidt-Samoa |
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving. |
Calculemus |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörn Ossowski, Christel Baier |
Symbolic Reasoning with Weighted and Normalized Decision Diagrams. |
Calculemus |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Pierre Letouzey |
A Large-Scale Experiment in Executing Extracted Programs. |
Calculemus |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff W. Hamilton |
Poitín: Distilling Theorems From Conjectures. |
Calculemus |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander V. Lyaletski, Marina Morokovets |
On linguistic aspects of integration of computer mathematical knowledge. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo |
On the way to certify Computer Algebra Systems. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Franke 0001, Michael Kohlhase |
MBase: Representing mathematical knowledge in a relational data base. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Caprotti, Arjeh M. Cohen |
Integrating computational and deduction systems using OpenMath. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia |
The OMRS project: State of the art. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert |
The development of interactive algorithms for the Mathematical Environment. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Beeson |
Automatic derivation of the irrationality of e. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger |
Theory exploration versus theorem proving. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Koji Nakagawa, Felix Kossak |
User--system interaction within Theorema. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Erica Melis, Volker Sorge |
Employing external reasoners in proof planning. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia |
The control component of open mechanized reasoning systems. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Windsteiger |
Building up hierarchical mathematical domains using functors in Theorema. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge |
Agent based mathematical reasoning. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Tudor Jebelean |
Preface. |
Calculemus |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Tudor Jebelean (eds.) |
Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999 |
Calculemus |
1999 |
DBLP BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license