Journal: Journal of Symbolic Computation

Volume 36, Issue 6

825 -- 834Manfred Minimair. Dense resultant of composed polynomials: Mixed-mixed case
835 -- 843Joost Berson, Arno van den Essen. An algorithm to find a coordinate's mate
845 -- 853Jesús Gago-Vargas. Bases for projective modules in An(k)
855 -- 889Felix Ulmer. Liouvillian solutions of third order differential equations
891 -- 924Viorica Sofronie-Stokkermans. Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
925 -- 964Sonia Pérez-Díaz, J. Rafael Sendra. Computing all parametric solutions for blending parametric surfaces

Volume 36, Issue 5

685 -- 698Jan Draisma. Constructing Lie algebras of first order differential operators
699 -- 716Falai Chen, Wenping Wang. Revisiting the [mu]-basis of a rational ruled surface
717 -- 762Hongbo Li, Yihong Wu. Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry
763 -- 809Hongbo Li, Yihong Wu. Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry
811 -- 824Xiao-Shan Gao. Implicitization of differential rational parametric equations

Volume 36, Issue 3-4

287 -- 0Marc Giusti, Luis Miguel Pardo. Preface
289 -- 315Arthur D. Chtcherba, Deepak Kapur. Exact resultants for corner-cut unmixed multivariate polynomial systems using the Dixon formulation
317 -- 342Alicia Dickenstein, Ioannis Z. Emiris. Multihomogeneous resultant formulae by means of complexes
343 -- 364Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso. Algorithms to compute the topology of orientable real algebraic surfaces
365 -- 400Erich Kaltofen, Wen-shin Lee. Early termination in sparse interpolation algorithms
401 -- 424Mark Giesbrecht, Erich Kaltofen, Wen-shin Lee. Algorithms for computing sparsest shifts of polynomials in power, Chebyshev, and Pochhammer bases
425 -- 442Amit Khetan. The resultant of an unmixed bivariate system
443 -- 471Ziming Li, Fritz Schwarz, Serguei P. Tsarev. Factoring systems of linear PDEs with finite-dimensional solution spaces
473 -- 499Guillermo Matera, Alexandre Sedoglavic. Fast computation of discrete invariants associated to a differential rational mapping
501 -- 512Peter J. Olver. Moving frames
513 -- 533Renaud Rioboo. Towards faster real algebraic numbers
535 -- 554Josef Schicho. Simplification of surface parametrizations - a lattice polygon approach
555 -- 594Éric Schost. Complexity results for triangular sets
595 -- 611Michael Stillman. Computing in algebraic geometry and commutative algebra using Macaulay 2
613 -- 648Arne Storjohann. High-order lifting and integrality certification
649 -- 667Akira Suzuki, Yosuke Sato. An alternative approach to comprehensive Gröbner bases
669 -- 683Volker Weispfenning. Canonical comprehensive Gröbner bases

Volume 36, Issue 1-2

1 -- 3Peter Baumgartner, Hantao Zhang. Preface to First order theorem proving
5 -- 48Nicolas Peltier. Model building with ordered resolution: extracting models from saturated clause sets
49 -- 77Nicolas Peltier. A calculus combining resolution and enumeration for building finite models
79 -- 99Anatoli Degtyarev, Robert Nieuwenhuis, Andrei Voronkov. Stratified resolution
101 -- 115Alexandre Riazanov, Andrei Voronkov. Limited resource strategy in resolution theorem proving
117 -- 138Bernhard Beckert. Depth-first proof search without backtracking for free-variable clausal tableaux
139 -- 161Jens Otten, Wolfgang Bibel. leanCoP: lean connection-based theorem proving
163 -- 192Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt. Hyperresolution for guarded formulae
193 -- 216Alessandro Armando, Silvio Ranise. Constraint contextual rewriting
217 -- 233Jürgen Avenhaus, Thomas Hillenbrand, Bernd Löchner. On using ground joinable equations in equational theorem proving
235 -- 269Reinhard Pichler. On the complexity of equational problems in CNF
271 -- 285Johan G. F. Belinfante. Computer proofs about finite and regular sets: the unifying concept of subvariance