@article{Flener-Lau-Bibel/00,
AUTHOR = {Flener, Pierre and Lau, Kung-Kiu and Bibel, Wolfgang},
TITLE = {Foreword to the special issue on schemas},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {1},
PAGES = {1-3},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Anderson-Basin/00,
AUTHOR = {Anderson, Penny and Basin, David},
TITLE = {Program development schemata as derived rules},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {1},
PAGES = {5-36},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Fuchs/00b,
AUTHOR = {Fuchs, Matthias},
TITLE = {Proofs as schemas and their heuristic use},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {1},
PAGES = {37-61},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Brien-Martin/00,
AUTHOR = {Brien, S.M. and Martin, A.P.},
TITLE = {A calculus for schemas in $Z$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {1},
PAGES = {63-91},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Flener-Lau-Ornaghi-Richardson/00,
AUTHOR = {Flener, Pierre and Lau, Kung-Kiu and Ornaghi, Mario and Richardson, Julian},
TITLE = {An abstract formalization of correct schemas for program synthesis},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {1},
PAGES = {93-127},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Acciaro-Fieker/00,
AUTHOR = {Acciaro, Vincenzo and Fieker, Claus},
TITLE = {Finding normal integral bases of cyclic number fields of prime degree},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {2},
PAGES = {129-136},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Albano-Cioffi-Orecchia-Ramella/00,
AUTHOR = {Albano, G. and Cioffi, F. and Orecchia, F. and Ramella, I.},
TITLE = {Minimally generating ideals of rational parametric curves in polynomial time},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {2},
PAGES = {137-149},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Berrizbeitia-Berry/00,
AUTHOR = {Berrizbeitia, Pedro and Berry, T.G.},
TITLE = {Generalized strong pseudoprime tests and applications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {2},
PAGES = {151-160},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{El_Kahoui-Weber/00,
AUTHOR = {El Kahoui, M'hammed and Weber, Andreas},
TITLE = {Deciding Hopf bifurcations by quantifier elimination in a software-component architecture},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {2},
PAGES = {161-179},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Gaal/00,
AUTHOR = {Ga{\'{a}}l, Istv{\'{a}}n},
TITLE = {Solving index form equations in fields of degree 9 with cubic subfields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {2},
PAGES = {181-193},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Laubenbacher-Swanson/00,
AUTHOR = {Laubenbacher, Reinhard C. and Swanson, Irena},
TITLE = {Permanental ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {2},
PAGES = {195-205},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Sturm/00a,
AUTHOR = {Sturm, Thomas},
TITLE = {Linear problems in valued fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {2},
PAGES = {207-219},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Wang/00d,
AUTHOR = {Wang, Dongming},
TITLE = {Computing triangular systems and regular systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {2},
PAGES = {221-236},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Acciaro-Kluners/00,
AUTHOR = {Acciaro, Vincenzo and Kl{\"u}ners, J{\"u}rgen},
TITLE = {Computing local Artin maps, and solvability of norm equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {3},
PAGES = {239-252},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Greuel/00,
AUTHOR = {Greuel, Gert-Martin},
TITLE = {Computer algebra and algebraic: Geometry --- Achievements and perspectives},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {3},
PAGES = {253-289},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Giusti-Hagele-Lecerf-Marchand-Salvy/00,
AUTHOR = {Giusti, Marc and H{\"a}gele, Klemens and Lecerf, Gr{\'{e}}goire and Marchand, Jo{\"e}l and Salvy, Bruno},
TITLE = {The Projective Noether Maple Package: Computing the dimension of a projective variety},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {3},
PAGES = {291-307},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Matsumoto-Miura/00,
AUTHOR = {Matsumoto, Ryutaroh and Miura, Shinji},
TITLE = {Finding a basis of a linear system with pairwise distinct discrete valuations on an algebraic curve},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {3},
PAGES = {309-324},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Mignotte/00,
AUTHOR = {Mignotte, Maurice},
TITLE = {Bounds for the roots of lacunary polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {3},
PAGES = {325-327},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Van_Der_Kallen/00,
AUTHOR = {Van Der Kallen, Wilberd},
TITLE = {Complexity of the Havas, Majewski, Matthews LLL hermite normal form algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {3},
PAGES = {329-337},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Tran-Winkler/00,
AUTHOR = {Tran, Quoc-Nam and Winkler, Franz},
TITLE = {Special issue on applications of Gr{\"o}bner bases --- Foreword of the guest editors},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {4},
PAGES = {339-340},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Abbott-Bigatti-Kreuzer-Robbiano/00,
AUTHOR = {Abbott, J. and Bigatti, A. and Kreuzer, M. and Robbiano, L.},
TITLE = {Computing ideals of points},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {4},
PAGES = {341-356},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Levin/00,
AUTHOR = {Levin, Alexander},
TITLE = {Reduced Gr{\"o}bner bases, free difference-differential modules and difference-differential dimension polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {4},
PAGES = {357-382},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Martinez_de_Castilla-Sanchez/00,
AUTHOR = {Mart{\'{i}}nez de Castilla, Ignacio Ojeda and S{\'{a}}nchez, Ram{\'{o}}n Peidra},
TITLE = {Cellular binomial ideals --- Primary decomposition of binomial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {4},
PAGES = {383-400},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Bodnar-Schicho/00a,
AUTHOR = {Bodn{\'{a}}r, G{\'{a}}bor and Schicho, Josef},
TITLE = {Automated resolution of singularities for hypersurfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {4},
PAGES = {401-428},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Borges-Trenard-Borges-Quintana-Mora/00,
AUTHOR = {Borges-Trenard, M.A. and Borges-Quintana, M. and Mora, T.},
TITLE = {Computing Gr{\"o}bner bases by FGLM techniques in a non-commutative setting},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {4},
PAGES = {429-449},
YEAR = {2000},
KEYWORDS = {`},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Tran/00,
AUTHOR = {Tran, Quoc-Nam},
TITLE = {A fast algorithm for Gr{\"o}bner basis conversion and its applications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {4},
PAGES = {451-467},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Muller-Quade-Steinwandt/00,
AUTHOR = {M{\"u}ller-Quade, J{\"o}rn and Steinwandt, Rainer},
TITLE = {Gr{\"o}bner bases applied to finitely generated field extensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {4},
PAGES = {469-490},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Durand-Hoffmann/00,
AUTHOR = {Durand, Cassiano and Hoffmann, Christoph M.},
TITLE = {A systematic framework for solving geometric constraints analytically},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {5},
PAGES = {493-519},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Helminck/00,
AUTHOR = {Helminck, Aloysius G.},
TITLE = {Computing orbits of minimal parabolic $k$-subgroups acting on symmetric $k$-varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {5},
PAGES = {521-553},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Laubenbacher-Schlauch/00,
AUTHOR = {Laubenbacher, Reinhard and Schlauch, Karen},
TITLE = {An algorithm for the Quillen-Suslin theorem for quotients of polynomial rings by monomial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {5},
PAGES = {555-571},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Poulakis-Voskos/00,
AUTHOR = {Poulakis, Dimitrios and Voskos, Evaggelos},
TITLE = {On the practical solution of genus zero diophantine equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {5},
PAGES = {573-582},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Schicho/00a,
AUTHOR = {Schicho, Josef},
TITLE = {Proper parametrization of real tubular surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {5},
PAGES = {583-593},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Vasconcelos/00,
AUTHOR = {Vasconcelos, Wolmer V.},
TITLE = {Divisorial extensions and the computation of integral closures},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {5},
PAGES = {595-604},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Weilert/00,
AUTHOR = {Weilert, Andr{\'{e}}},
TITLE = {$(1+i)$-ary GCD computation in $Z[i]$ as an analogue to the binary GCD algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {5},
PAGES = {605-617},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Wolf/00,
AUTHOR = {Wolf, Thomas},
TITLE = {The symbolic integration of exact PDEs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {5},
PAGES = {619-629},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Matzat-McKay-Yokoyama/00,
AUTHOR = {Matzat, B.H. and McKay, J. and Yokoyama, K.},
TITLE = {Special issue on algorithmic methods in Galois theory --- Foreword of the guest editors},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {631-633},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Aubry-Valibouze/00,
AUTHOR = {Aubry, Philippe and Valibouze, Annick},
TITLE = {Using Galois ideals for computing relative resolvents},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {635-651},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Geissler-Kluners/00,
AUTHOR = {Geissler, Katharina and Kl{\"u}ners, J{\"u}rgen},
TITLE = {Galois group computation for rational polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {653-674},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Kluners-Malle/00,
AUTHOR = {Kl{\"u}ners, J{\"u}rgen and Malle, Gunter},
TITLE = {Explicit Galois realization of transitive groups of degree up to 15},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {675-716},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Malle/00,
AUTHOR = {Malle, Gunter},
TITLE = {Multi-parameter polynomials with given Galois group},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {717-731},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Kluners/00,
AUTHOR = {Kl{\"u}ners, J{\"u}rgen},
TITLE = {A polynomial with Galois group $SL_2(11)$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {733-737},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Couveignes/00,
AUTHOR = {Couveignes, Jean-Marc},
TITLE = {Boundary of Hurwitz spaces and explicit patching},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {739-759},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Dettweiler-Reiter/00,
AUTHOR = {Dettweiler, Michael and Reiter, Stefan},
TITLE = {An algorithm of Katz and its application to the inverse Galois problem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {761-798},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Dieulefait-Vila/00,
AUTHOR = {Dieulefait, Luis and Vila, N{\'{u}}ria},
TITLE = {Projective linear groups as Galois groups over $Q$ via modular representationss},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {799-810},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Vela/00,
AUTHOR = {Vela, Montserrat},
TITLE = {Explicit solutions of Galois embedding problems by means of generalized Clifford algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {811-842},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Kemper-Mattig/00,
AUTHOR = {Kemper, Gregor and Mattig, Elena},
TITLE = {Generic polynomials with few parameters},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {843-857},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Ledet/00,
AUTHOR = {Ledet, Arne},
TITLE = {Generic and explicit realization of small $p$-groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {859-865},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Ledet/00a,
AUTHOR = {Ledet, Arne},
TITLE = {Generic extensions and generic polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {30},
NUMBER = {6},
PAGES = {867-872},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Brown-Heyworth/00,
AUTHOR = {Brown, Ronald and Heyworth, Anne},
TITLE = {Using rewriting systems to compute left Kan extensions and induced actions of categories},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {1},
PAGES = {5-31},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Bratus-Pak/00,
AUTHOR = {Bratus, Sergey and Pak, Igor},
TITLE = {Fast constructive recognition of a black box group isomorphic to $S_n$ or $A_n$ using Goldbach's conjecture},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {1},
PAGES = {33-57},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Rees-Soicher/00,
AUTHOR = {Rees, Sarah and Soicher, Leonard H.},
TITLE = {An algorithmic approach to fundamental groups and covers of combinatorial cell complexes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {1},
PAGES = {59-77},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Wolfram/00,
AUTHOR = {Wolfram, D.A.},
TITLE = {A formula for the general solution of a constant-coefficient difference equation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {1},
PAGES = {79-82},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Prosper/00,
AUTHOR = {Prosper, Vincent},
TITLE = {SFA, a package on symmetric functions considered as operators over the ring of polynomials for the computer algebra system Maple},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {1},
PAGES = {83-94},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Carminati-Vu/00,
AUTHOR = {Carminati, John and Vu, Khai},
TITLE = {Symbolic computation and differential equations: Lie symmetries},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {1},
PAGES = {95-116},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Aravindan-Baumgartner/00,
AUTHOR = {Aravindan, Chandrabose and Baumgartner, Peter},
TITLE = {Theorem proving techniques for view deletion in databases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {2},
PAGES = {119-147},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Baaz-Leitsch/00,
AUTHOR = {Baaz, Matthias and Leitsch, Alexander},
TITLE = {Cut-elimination and redundancy-elimination by resolution},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {2},
PAGES = {149-176},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Caferra-Peltier/00,
AUTHOR = {Caferra, Ricardo and Peltier, Nicolas},
TITLE = {Combining enumeration and deductive techniques in order to increase the class of constructible infinite models},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {2},
PAGES = {177-211},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Pichler/00,
AUTHOR = {Pichler, Reinhard},
TITLE = {Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {2},
PAGES = {213-257},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Formisano-Omodeo-Temperini/00,
AUTHOR = {Formisano, Andrea and Omodeo, Eugenio G. and Temperini, Marco},
TITLE = {Goals and benchmarks for automated map reasoning},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {2},
PAGES = {259-297},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Fuchs/00a,
AUTHOR = {Fuchs, Marc},
TITLE = {Controlled use of clausal lemmas in connection tableau calculi},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {2},
PAGES = {299-341},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Martin-Gavilanes-Leach/00,
AUTHOR = {Martin, P.J. and Gavilanes, A. and Leach, J.},
TITLE = {Tableau methods for a logic with term declarations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {2},
PAGES = {343-372},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Petermann/00,
AUTHOR = {Petermann, Uwe},
TITLE = {Connection calculus theorem proving with multiple built-in theories},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {2},
PAGES = {373-392},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Chen-Della_Dora/00,
AUTHOR = {Chen, Guoting and Della Dora, Jean},
TITLE = {An algorithm for computing a new normal form for dynamical systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {3},
PAGES = {393-418},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Cox-Goldman-Zhang/00,
AUTHOR = {Cox, David and Goldman, Ronald and Zhang, Ming},
TITLE = {On the validity of implicitization by moving quadrics for rational surfaces with no base points},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {3},
PAGES = {419-440},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Eberly-Giesbrecht/00,
AUTHOR = {Eberly, W. and Giesbrecht, M.},
TITLE = {Efficient decomposition of associative algebras over finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {3},
PAGES = {441-458},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Gentili-OConnor/00,
AUTHOR = {Gentili, Graziano and O'Connor, Michael A.},
TITLE = {On rational geometry of conic sections},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {3},
PAGES = {459-470},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Strzebonski/00,
AUTHOR = {Strzebo{\'n}ski, A.},
TITLE = {Solving systems of strict polynomial inequalities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {3},
PAGES = {471-480},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Berchenko-Olver/00,
AUTHOR = {Berchenko, Irina and Olver, Peter J.},
TITLE = {Symmetries of polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {485-514},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Buse-Elkadi-Mourrain/00,
AUTHOR = {Bus{\'{e}}, Laurent and Elkadi, Mohamed and Mourrain, Bernard},
TITLE = {Generalized resultants over unirational algebraic varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {515-526},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Chardin/00,
AUTHOR = {Chardin, Marc},
TITLE = {Applications of some properties of the canonical module in computational projective algebraic geometry},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {527-544},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Decker-Schreyer/00,
AUTHOR = {Decker, Wolfram and Schreyer, Frank-Olaf},
TITLE = {Non-general type surfaces in $P^4$: Some remarks on bounds and constructions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {545-582},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Eisenbud-Mustata-Stillman/00,
AUTHOR = {Eisenbud, David and Musta{\c{t}}{\u{a}}, Mircea and Stillman, Mike},
TITLE = {Cohomology on toric varieties and local cohomology with monomial supports},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {583-600},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Green/00,
AUTHOR = {Green, Edward L.},
TITLE = {Multiplicative bases, Gr{\"o}bner bases, and right Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {601-623},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Hosten-Shapiro/00,
AUTHOR = {Ho{\c{s}}ten, Serkan and Shapiro, Jay},
TITLE = {Primary decomposition of lattice basis ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {625-639},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Hubert/00,
AUTHOR = {Hubert, Evelyne},
TITLE = {Factorization-free decomposition algorithms in differential algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {641-662},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Lombardi-Roy-El_Din/00,
AUTHOR = {Lombardi, Henri and Roy, Marie-Fran{\c{c}}oise and El Din, Mohab Safey},
TITLE = {New structure theorem for subresultants},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {663-690},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Miller-Sturmfels-Yanagawa/00,
AUTHOR = {Miller, Ezra and Sturmfels, Bernd and Yanagawa, Kohji},
TITLE = {Generic and cogeneric monomial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {691-708},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Mustata/00,
AUTHOR = {Musta{\c{t}}{\u{a}}, Mircea},
TITLE = {Local cohomology at monomial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {709-720},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Oaku-Takayama-Walther/00,
AUTHOR = {Oaku, Toshinori and Takayama, Nobuki and Walther, Uli},
TITLE = {A localization algorithm for $D$-modules},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {721-728},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Smith/00,
AUTHOR = {Smith, Gregory G.},
TITLE = {Computing global extension modules},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {729-746},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Tsai/00,
AUTHOR = {Tsai, Harrison},
TITLE = {Weyl closure of a linear differential operator},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {747-775},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Verschelde/00,
AUTHOR = {Verschelde, Jan},
TITLE = {Toric Newton method for polynomial homotopies},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {777-793},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Walther/00,
AUTHOR = {Walther, Uli},
TITLE = {Algorithmic computation of de Rham cohomology of complements of complex affine varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {4-5},
PAGES = {795-839},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Bronstein/00,
AUTHOR = {Bronstein, Manuel},
TITLE = {On solutions of linear ordinary difference equations in their coefficient field},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {6},
PAGES = {841-877},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Gao-Gathen-Panario-Shoup/00,
AUTHOR = {Gao, Shuhong and Gathen, Joachim von zur and Panario, Daniel and Shoup, Victor},
TITLE = {Algorithms for exponentiation in finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {6},
PAGES = {879-889},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Kaltofen/00,
AUTHOR = {Kaltofen, Erich},
TITLE = {Challenges of symbolic computation: My favorite open problems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {6},
PAGES = {891-919},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Martin-Shand/00,
AUTHOR = {Martin, Ursula and Shand, Duncan},
TITLE = {Invariants, patterns and weights for ordering terms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {6},
PAGES = {921-957},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Maubach/00,
AUTHOR = {Maubach, Stefan},
TITLE = {An algorithm to compute the kernel of a derivation up to a certain degree},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {6},
PAGES = {959-970},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}
@article{Pau-Schicho/00,
AUTHOR = {Pau, Petru and Schicho, Josef},
TITLE = {Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition},
JOURNAL = {J. Symbolic Computation},
VOLUME = {29},
NUMBER = {6},
PAGES = {971-983},
YEAR = {2000},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Orlando},
}