@article{Bayer-Stillman/92,
AUTHOR = {Bayer, Dave and Stillman, Mike},
TITLE = {Computation of Hilbert functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {1},
PAGES = {31-50},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Adi-Kirchner/92,
AUTHOR = {Adi, Mohamed and Kirchner, Claude},
TITLE = {AC-unification race: The system solving approach, implementation and benchmarks},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {1},
PAGES = {51-70},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Harper/92,
AUTHOR = {Harper, Robert},
TITLE = {Constructing type systems over an operational semantics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {1},
PAGES = {71-84},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Dietrich/92,
AUTHOR = {Dietrich, Volker},
TITLE = {ELISE, an algorithm to compute asymptotic representations for solutions of linear differential equations, realized with the computer algebra system MAPLE},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {1},
PAGES = {85-92},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Richardson/92,
AUTHOR = {Richardson, Jim},
TITLE = {The Blockhandler and the Bitfield package},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {1},
PAGES = {93-101},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Carminati-Devitt-Fee/92,
AUTHOR = {Carminati, John and Devitt, John S. and Fee, Greg J.},
TITLE = {Isogroups of differential equations using algebraic computing},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {1},
PAGES = {103-120},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bergeron-Bergeron/92,
AUTHOR = {Bergeron, Fran{\c{c}}ois and Bergeron, Nantel},
TITLE = {Symbolic manipulation for the study of the descent algebra of finite Coxeter groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {2-3},
PAGES = {127-139},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Garvan-Gonnet/92,
AUTHOR = {Garvan, Frank G. and Gonnet, Gaston H.},
TITLE = {A proof of the two parameter $q$-cases of the Macdonald-Morris constant term root system conjecture for $S(F_4)$ and $S(F_4)^\vee$ via Zeilberger's method},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {2-3},
PAGES = {141-177},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gessel/92,
AUTHOR = {Gessel, Ira M.},
TITLE = {Super ballot numbers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {2-3},
PAGES = {179-194},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kerber-Kohnert-Lascoux/92,
AUTHOR = {Kerber, Adalbert and Kohnert, Axel and Lascoux, Alain},
TITLE = {SYMMETRICA, an object oriented computer-algebra system for the symmetric group},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {2-3},
PAGES = {195-203},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kohnert/92,
AUTHOR = {Kohnert, Axel},
TITLE = {Schubert polynomials and skew Schur functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {2-3},
PAGES = {205-210},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Labelle/92,
AUTHOR = {Labelle, Gilbert},
TITLE = {Counting asymmetric enriched trees},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {2-3},
PAGES = {211-242},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Petkovsek/92,
AUTHOR = {Petkov{\v{s}}ek, Marko},
TITLE = {Hypergeometric solutions of linear recurrences with polynomial coefficients},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {2-3},
PAGES = {243-264},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Takayama/92,
AUTHOR = {Takayama, Nobuki},
TITLE = {An approach to the zero recognition problem by Buchberger algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {2-3},
PAGES = {265-282},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Boy_de_la_Tour/92,
AUTHOR = {Boy de la Tour, Thierry},
TITLE = {An optimality result for clause form translation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {4},
PAGES = {283-301},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Dougherty-Johann/92,
AUTHOR = {Dougherty, Daniel J. and Johann, Patricia},
TITLE = {An improved general $E$-unification method},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {4},
PAGES = {303-320},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Miller/92,
AUTHOR = {Miller, Dale},
TITLE = {Unification under a mixed prefix},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {4},
PAGES = {321-358},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zhang/92c,
AUTHOR = {Zhang, Louxin},
TITLE = {Some properties of finite special string-rewriting systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {4},
PAGES = {359-369},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{McNulty/92,
AUTHOR = {McNulty, George F.},
TITLE = {A field guide to equational logic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {4},
PAGES = {371-397},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Yokohama-Noro-Takeshima/92,
AUTHOR = {Yokohama, Kazuhiro and Noro, Masayuki and Takeshima, Taku},
TITLE = {Solutions of systems of algebraic equations and linear maps on residue class rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {4},
PAGES = {399-417},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lescanne/92,
AUTHOR = {Lescanne, Pierre},
TITLE = {Well rewrite orderings and well quasi-orderings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {5},
PAGES = {419-435},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Treinen/92,
AUTHOR = {Treinen, Ralf},
TITLE = {A new method for undecidability proofs of first order theories},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {5},
PAGES = {437-457},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gao-Chou/92,
AUTHOR = {Gao, Xiao-Shan and Chou, Shang-Ching},
TITLE = {Implicitization of rational parametric equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {5},
PAGES = {459-470},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Pauer/92,
AUTHOR = {Pauer, Franz},
TITLE = {On lucky ideals for Gr{\"o}bner basis computations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {5},
PAGES = {471-482},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Rutman/92,
AUTHOR = {Rutman, Elizabeth W.},
TITLE = {Gr{\"o}bner bases and primary decomposition of modules},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {5},
PAGES = {483-503},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Shen/92,
AUTHOR = {Shen, Ba-Zhong},
TITLE = {Solving a congruence on a graded algebra by a subresultant sequence and its application},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {5},
PAGES = {505-522},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Barbier-Bettess-Bettess/92,
AUTHOR = {Barbier, Christine and Bettess, Peter and Bettess, Jacqueline A.},
TITLE = {Automatic generation of mapping functions for infinite elements using REDUCE},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {5},
PAGES = {523-534},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Domenjoud/92,
AUTHOR = {Domenjoud, Eric},
TITLE = {AC unification through order-sorted AC1 unification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {6},
PAGES = {537-556},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Schicho/92,
AUTHOR = {Schicho, Josef},
TITLE = {On the choice of pencils in the parametrization of curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {6},
PAGES = {557-576},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Paul/92,
AUTHOR = {Paul, Etienne},
TITLE = {A general refutational completeness result for an inference procedure based on associative-commutative unification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {6},
PAGES = {577-618},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Richardson/92a,
AUTHOR = {Richardson, Daniel},
TITLE = {Computing the topology of a bounded non algebraic curve in the plane},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {6},
PAGES = {619-643},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Berque-Cecchini-Goldberg-Rivenburgh/92,
AUTHOR = {Berque, David and Cecchini, Ronald and Goldberg, Mark and Rivenburgh, Reid},
TITLE = {The SetPlayer system for symbolic computation on power sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {14},
NUMBER = {6},
PAGES = {645-662},
YEAR = {1992},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}