default search action

combined dblp search
author search
venue search
publication search

ask others

12th Calculemus 2005: Newcastle-upon-Tyne, UK

> Home > Conferences and Workshops > Calculemus

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/calculemus/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calculemus/2005
Jacques Carette, William M. Farmer:
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005. Electronic Notes in Theoretical Computer Science 151(1), Elsevier 2006
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CaretteF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CaretteF06
Jacques Carette, William M. Farmer:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Schmidt-Samoa06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Schmidt-Samoa06
Tobias Schmidt-Samoa:
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving. 3-20
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/McCaslandBS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/McCaslandBS06
Roy L. McCasland, Alan Bundy, Patrick F. Smith:
Ascertaining Mathematical Theorems. 21-38
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OssowskiB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OssowskiB06
Jörn Ossowski, Christel Baier:
Symbolic Reasoning with Weighted and Normalized Decision Diagrams. 39-56
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DelahayeM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DelahayeM06
David Delahaye, Micaela Mayero:
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System. 57-73
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Cruz-FilipeL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Cruz-FilipeL06
Luís Cruz-Filipe, Pierre Letouzey:
A Large-Scale Experiment in Executing Extracted Programs. 75-91
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DennisJP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DennisJP06
Louise A. Dennis, Mateja Jamnik, Martin Pollet:
On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. 93-110
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Hardy06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hardy06
Ruth Hardy:
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems. 111-125
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PolletS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PolletS06
Martin Pollet, Volker Sorge:
Connecting Logical Representations and Efficient Computations. 127-142
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Hamilton06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hamilton06
Geoff W. Hamilton:
Poitín: Distilling Theorems From Conjectures. 143-160
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HuraultP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HuraultP06
Aurélie Hurault, Marc Pantel:
Mathematical Service Trading Based on Equational Matching. 161-177

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.