@article{Takayama/91,
AUTHOR = {Takayama, Yukihide},
TITLE = {Extraction of redundancy-free programs from constructive natural deduction proofs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {1},
PAGES = {29-69},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lambe/91,
AUTHOR = {Lambe, Larry A.},
TITLE = {Resolutions via homological perturbation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {1},
PAGES = {71-87},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Garbey-Kaper-Leaf-Matkowsky/91,
AUTHOR = {Garbey, Marc and Kaper, Hans G. and Leaf, Gary K. and Matkowsky, Bernard J.},
TITLE = {Using MAPLE for the analysis of bifurcation phenomena in condensed-phase surface combustion},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {1},
PAGES = {89-113},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Oussous/91,
AUTHOR = {Oussous, Nour Eddine},
TITLE = {Macsyma computation of local minimal realization of dynamical systems of which generating power series are finite},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {1},
PAGES = {115-126},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Richardson/91,
AUTHOR = {Richardson, Daniel},
TITLE = {Wu's method and the Khovanskii finiteness theorem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {2},
PAGES = {127-141},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ten_Eikelder-Wilmont/91,
AUTHOR = {Ten Eikelder, H.M.M. and Wilmont, J.C.F.},
TITLE = {Normal forms for a class of formulas},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {2},
PAGES = {143-160},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Klop-Middeldorp/91,
AUTHOR = {Klop, Jan Willem and Middeldorp, Aart},
TITLE = {Sequentiality in orthogonal term rewriting systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {2},
PAGES = {161-195},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Champarnaud-Hansel/91,
AUTHOR = {Champarnaud, J.M. and Hansel, G.},
TITLE = {AUTOMATE, a computing package for automata and finite semigroups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {2},
PAGES = {197-220},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Pasini-Semeria-Zannoni/91,
AUTHOR = {Pasini, P. and Semeria, F. and Zannoni, C.},
TITLE = {Symbolic computation of orientational correlation function moments},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {2},
PAGES = {221-231},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wang/91,
AUTHOR = {Wang, Dongming},
TITLE = {Mechanical manipulation for a class of differential systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {2},
PAGES = {233-254},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Otto/91,
AUTHOR = {Otto, Friedrich},
TITLE = {When is an extension of a specification consistent? Decidable and undecidable cases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {3},
PAGES = {255-273},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Schend/91,
AUTHOR = {Schend, B.},
TITLE = {A methodology for detecting shared variable dependencies in logic programs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {3},
PAGES = {275-298},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Collins-Hong/91,
AUTHOR = {Collins, George E. and Hong, Hoon},
TITLE = {Partial cylindrical algebraic decomposition for quantifier elimination},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {3},
PAGES = {299-328},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bjorck-Froberg/91,
AUTHOR = {Bj{\"o}rck, G{\"o}ran and Fr{\"o}berg, Ralf},
TITLE = {A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic $n$-roots},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {3},
PAGES = {329-336},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Jacobsson-Lofwall/91,
AUTHOR = {Jacobsson, Carl and L{\"o}fwall, Clas},
TITLE = {Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {3},
PAGES = {337-371},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sailer-Morales-Luna/91,
AUTHOR = {Sailer, V. and Morales-Luna, G.},
TITLE = {On the polynomial representation of generalized Liouville operators},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {3},
PAGES = {373-379},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Roque-Dos_Santos/91,
AUTHOR = {Roque, Waldir L. and Dos Santos, Renato P.},
TITLE = {Computer algebra in spacetime embedding},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {3},
PAGES = {381-389},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Epstein-Holt-Rees/91,
AUTHOR = {Epstein, D.B.A. and Holt, D.F. and Rees, S.E.},
TITLE = {The use of Knuth-Bendix methods to solve the word problem in automatic groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {4-5},
PAGES = {397-414},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Linton/91,
AUTHOR = {Linton, Stephen A.},
TITLE = {Double coset enumeration},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {4-5},
PAGES = {415-426},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Linton/91a,
AUTHOR = {Linton, S.A.},
TITLE = {Constructing matrix representations of finitely presented groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {4-5},
PAGES = {427-438},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sims/91,
AUTHOR = {Sims, Charles C.},
TITLE = {The Knuth-Bendix procedure for strings as a substitute for coset enumeration},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {4-5},
PAGES = {439-442},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Butler-Cannon/91,
AUTHOR = {Butler, Gregory and Cannon, John},
TITLE = {Computing Sylow subgroups of permutation groups using homomorphic images of centralizers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {4-5},
PAGES = {443-457},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Cameron-Cannon/91,
AUTHOR = {Cameron, P.J. and Cannon, J.},
TITLE = {Fast recognition of doubly transitive groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {4-5},
PAGES = {459-474},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Cooperman-Finkelstein/91,
AUTHOR = {Cooperman, Gene and Finkelstein, Larry},
TITLE = {A strong generating test and short presentations for permutation groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {4-5},
PAGES = {475-497},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Holt/91,
AUTHOR = {Holt, D.F.},
TITLE = {The computation of normalizers in permutation groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {4-5},
PAGES = {499-516},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kantor/91,
AUTHOR = {Kantor, William M.},
TITLE = {Finding composition factors of permutation groups of degree $n\le10^6$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {4-5},
PAGES = {517-526},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Leedham-Green-Praeger-Soicher/91,
AUTHOR = {Leedham-Green, Charles R. and Praeger, Cheryl E. and Soicher, Leonard H.},
TITLE = {Computing with group homomorphisms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {4-5},
PAGES = {527-532},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Leon/91,
AUTHOR = {Leon, Jeffrey S.},
TITLE = {Permutation group algorithms based on partitions, I: Theory and algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {4-5},
PAGES = {533-583},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Herfort-Penz/91,
AUTHOR = {Herfort, W. and Penz, H.},
TITLE = {A new notion of reduction: Generating universal Gr{\"o}bner bases of ideals in $K[x,y]$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {6},
PAGES = {585-605},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sendra-Winkler/91,
AUTHOR = {Sendra, J. Rafael and Winkler, Franz},
TITLE = {Symbolic parametrization of curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {6},
PAGES = {607-631},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Nipkow/91,
AUTHOR = {Nipkow, Tobias},
TITLE = {Combining matching algorithms: The regular case},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {6},
PAGES = {633-653},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hartley-Tucker/91,
AUTHOR = {Hartley, David and Tucker, Robin W.},
TITLE = {A constructive implementation of the Cartan-K{\"a}hler theory of exterior differential systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {6},
PAGES = {655-667},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Yamartino-Pavelle/91,
AUTHOR = {Yamartino, Robert J. and Pavelle, Richard},
TITLE = {An application of computer algebra to a problem in stratified fluid flow},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {6},
PAGES = {669-672},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wolf-Krotzsch/91,
AUTHOR = {Wolf, Kurt Bernardo and Kr{\"o}tzsch, Guillermo},
TITLE = {Group-classified polynomials of phase space in higher-order aberration expansions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {6},
PAGES = {673-693},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Andersen-Geer/91,
AUTHOR = {Andersen, Carl M. and Geer, James F.},
TITLE = {Investigating a hybrid perturbation-Galerkin technique using computer algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {12},
NUMBER = {6},
PAGES = {695-714},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}