Volume 36,
Numbers 1-2,
July-August 2003
First Order Theorem Proving
- Peter Baumgartner, Hantao Zhang:
Preface to First order theorem proving.
1-3
Electronic Edition (link) BibTeX
- Nicolas Peltier:
Model building with ordered resolution: extracting models from saturated clause sets.
5-48
Electronic Edition (link) BibTeX
- Nicolas Peltier:
A calculus combining resolution and enumeration for building finite models.
49-77
Electronic Edition (link) BibTeX
- Anatoli Degtyarev, Robert Nieuwenhuis, Andrei Voronkov:
Stratified resolution.
79-99
Electronic Edition (link) BibTeX
- Alexandre Riazanov, Andrei Voronkov:
Limited resource strategy in resolution theorem proving.
101-115
Electronic Edition (link) BibTeX
- Bernhard Beckert:
Depth-first proof search without backtracking for free-variable clausal tableaux.
117-138
Electronic Edition (link) BibTeX
- Jens Otten, Wolfgang Bibel:
leanCoP: lean connection-based theorem proving.
139-161
Electronic Edition (link) BibTeX
- Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt:
Hyperresolution for guarded formulae.
163-192
Electronic Edition (link) BibTeX
- Alessandro Armando, Silvio Ranise:
Constraint contextual rewriting.
193-216
Electronic Edition (link) BibTeX
- Jürgen Avenhaus, Thomas Hillenbrand, Bernd Löchner:
On using ground joinable equations in equational theorem proving.
217-233
Electronic Edition (link) BibTeX
- Reinhard Pichler:
On the complexity of equational problems in CNF.
235-269
Electronic Edition (link) BibTeX
- Johan G. F. Belinfante:
Computer proofs about finite and regular sets: the unifying concept of subvariance.
271-285
Electronic Edition (link) BibTeX
Volume 36,
Numbers 3-4,
September-October 2003
ISSAC 2002
- Marc Giusti, Luis Miguel Pardo:
Preface.
287
Electronic Edition (link) BibTeX
- Arthur D. Chtcherba, Deepak Kapur:
Exact resultants for corner-cut unmixed multivariate polynomial systems using the Dixon formulation.
289-315
Electronic Edition (link) BibTeX
- Alicia Dickenstein, Ioannis Z. Emiris:
Multihomogeneous resultant formulae by means of complexes.
317-342
Electronic Edition (link) BibTeX
- Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso:
Algorithms to compute the topology of orientable real algebraic surfaces.
343-364
Electronic Edition (link) BibTeX
- Erich Kaltofen, Wen-shin Lee:
Early termination in sparse interpolation algorithms.
365-400
Electronic Edition (link) BibTeX
- Mark Giesbrecht, Erich Kaltofen, Wen-shin Lee:
Algorithms for computing sparsest shifts of polynomials in power, Chebyshev, and Pochhammer bases.
401-424
Electronic Edition (link) BibTeX
- Amit Khetan:
The resultant of an unmixed bivariate system.
425-442
Electronic Edition (link) BibTeX
- Ziming Li, Fritz Schwarz, Serguei P. Tsarev:
Factoring systems of linear PDEs with finite-dimensional solution spaces.
443-471
Electronic Edition (link) BibTeX
- Guillermo Matera, Alexandre Sedoglavic:
Fast computation of discrete invariants associated to a differential rational mapping.
473-499
Electronic Edition (link) BibTeX
- Peter J. Olver:
Moving frames.
501-512
Electronic Edition (link) BibTeX
- Renaud Rioboo:
Towards faster real algebraic numbers.
513-533
Electronic Edition (link) BibTeX
- Josef Schicho:
Simplification of surface parametrizations - a lattice polygon approach.
535-554
Electronic Edition (link) BibTeX
- Éric Schost:
Complexity results for triangular sets.
555-594
Electronic Edition (link) BibTeX
- Michael Stillman:
Computing in algebraic geometry and commutative algebra using Macaulay 2.
595-611
Electronic Edition (link) BibTeX
- Arne Storjohann:
High-order lifting and integrality certification.
613-648
Electronic Edition (link) BibTeX
- Akira Suzuki, Yosuke Sato:
An alternative approach to comprehensive Gröbner bases.
649-667
Electronic Edition (link) BibTeX
- Volker Weispfenning:
Canonical comprehensive Gröbner bases.
669-683
Electronic Edition (link) BibTeX
Volume 36,
Number 5,
November 2003
Volume 36,
Number 6,
December 2003
Copyright © Sun May 17 00:11:26 2009
by Michael Ley (ley@uni-trier.de)
