|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | David Delahaye, Micaela Mayero |
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 57-73, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ruth Hardy |
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 111-125, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Louise A. Dennis, Mateja Jamnik, Martin Pollet |
On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 93-110, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Carette, William M. Farmer |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roy L. McCasland, Alan Bundy, Patrick F. Smith |
Ascertaining Mathematical Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 21-38, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin Pollet, Volker Sorge |
Connecting Logical Representations and Efficient Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 127-142, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Aurélie Hurault, Marc Pantel |
Mathematical Service Trading Based on Equational Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 161-177, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Schmidt-Samoa |
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 3-20, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jörn Ossowski, Christel Baier |
Symbolic Reasoning with Weighted and Normalized Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 39-56, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luís Cruz-Filipe, Pierre Letouzey |
A Large-Scale Experiment in Executing Extracted Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 75-91, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Geoff W. Hamilton |
Poitín: Distilling Theorems From Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 143-160, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexander V. Lyaletski, Marina Morokovets |
On linguistic aspects of integration of computer mathematical knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 481-498, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 370-385, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Franke 0001, Michael Kohlhase |
MBase: Representing mathematical knowledge in a relational data base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 451-468, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Olga Caprotti, Arjeh M. Cohen |
Integrating computational and deduction systems using OpenMath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 469-480, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Giunchiglia |
The OMRS project: State of the art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 321, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 352-369, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michael Beeson |
Automatic derivation of the irrationality of e. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 420-439, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger |
Theory exploration versus theorem proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 386, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Koji Nakagawa, Felix Kossak |
User--system interaction within Theorema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 387-400, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Erica Melis, Volker Sorge |
Employing external reasoners in proof planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 440-450, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia |
The control component of open mechanized reasoning systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 322-339, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Windsteiger |
Building up hierarchical mathematical domains using functors in Theorema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 401-419, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge |
Agent based mathematical reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 340-351, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Tudor Jebelean |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999, pp. 319-320, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![Elsevier The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|