default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 36, 2003
Volume 36, Numbers 1-2, July-August 2003
- 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
- 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 L. Kaltofen, Wen-shin Lee:
Early termination in sparse interpolation algorithms. 365-400 - Mark Giesbrecht, Erich L. 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 Eugene 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
- Manfred Minimair:
Dense resultant of composed polynomials: Mixed-mixed case. 825-834 - Joost Berson, Arno van den Essen:
An algorithm to find a coordinate's mate. 835-843 - Jesús Gago-Vargas:
Bases for projective modules in An(k). 845-853 - Felix Ulmer:
Liouvillian solutions of third order differential equations. 855-889 - Viorica Sofronie-Stokkermans:
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators. 891-924 - Sonia Pérez-Díaz, J. Rafael Sendra:
Computing all parametric solutions for blending parametric surfaces. 925-964
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.
last updated on 2025-01-22 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
