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