@article{Romero-Rubio/12,
AUTHOR = {Romero, Ana and Rubio, Julio},
TITLE = {Computing the homology of groups: The geometric way},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {7},
PAGES = {752-770},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {group homology, algebraic topology, effective homology, common lisp},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001994},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Priestley-Ward/94,
AUTHOR = {Priestley, H.A. and Ward, M.P.},
TITLE = {A multipurpose backtracking algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {1},
PAGES = {1-40},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Miglioli-Moscato-Ornaghi/94,
AUTHOR = {Miglioli, Pierangelo and Moscato, Ugo and Ornaghi, Mario},
TITLE = {Abstract parametric classes and abstract data types defined by classical and constructive logical methods},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {1},
PAGES = {41-81},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Duntsch/94,
AUTHOR = {D{\"u}ntsch, Ivo},
TITLE = {A microcomputer based system for small relation algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {1},
PAGES = {83-86},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Orr-Zeilberger/94,
AUTHOR = {Orr, Craig R. and Zeilberger, Doron},
TITLE = {A computer algebra approach to the discrete Dirichlet problem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {1},
PAGES = {87-90},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Cremanns-Otto/94a,
AUTHOR = {Cremanns, Robert and Otto, Friedrich},
TITLE = {Finite derivation type implies the homological finiteness condition $FP_3$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {2},
PAGES = {91-112},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kirchner-Ringeissen/94,
AUTHOR = {Kirchner, H{\'{e}}l{\`{e}}ne and Ringeissen, Christophe},
TITLE = {Combining symbolic constraint solvers on algebraic domains},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {2},
PAGES = {113-155},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Yamasaki-Iida/94,
AUTHOR = {Yamasaki, Susumu and Iida, Kentaro},
TITLE = {Transformation of logic programs to FP programs based on dataflows},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {2},
PAGES = {157-182},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Pan/94,
AUTHOR = {Pan, Victor Y.},
TITLE = {Simple multivariate polynomial multiplication},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {3},
PAGES = {183-186},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wang/94b,
AUTHOR = {Wang, Xiangdong},
TITLE = {The Hecke operators on $S_k(\Gamma_1(N))$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {3},
PAGES = {187-198},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Meer/94,
AUTHOR = {Meer, Klaus},
TITLE = {Real number computations: On the use of information},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {3},
PAGES = {199-206},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sawada-Terasaki-Aiba/94,
AUTHOR = {Sawada, Hiroyuki and Terasaki, Satoshi and Aiba, Akira},
TITLE = {Parallel computation of Gr{\"o}bner bases on distributed memory machines},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {3},
PAGES = {207-222},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Oaku-Shimoyama/94,
AUTHOR = {Oaku, Toshinori and Shimoyama, Takeshi},
TITLE = {A Gr{\"o}bner basis method for modules over rings of differential operators},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {3},
PAGES = {223-248},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wang/94c,
AUTHOR = {Wang, Dongming},
TITLE = {Differentiation and integration of indefinite summations with respect to indexed variables --- Some rules and applications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {3},
PAGES = {249-263},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sofroniou/94,
AUTHOR = {Sofroniou, M.},
TITLE = {Symbolic derivation of Runge-Kutta methods},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {3},
PAGES = {265-296},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lugiez-Moysset/94,
AUTHOR = {Lugiez, D. and Moysset, J.L.},
TITLE = {Tree automata help one to solve equational formulae in AC-theories},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {4},
PAGES = {297-318},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Durand/94,
AUTHOR = {Durand, Ir{\`{e}}ne},
TITLE = {Bounded, strongly sequential and forward-branching term rewriting systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {4},
PAGES = {319-352},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{van_Hoeij/94a,
AUTHOR = {van Hoeij, Mark},
TITLE = {An algorithm for computing an integral basis in an algebraic function field},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {4},
PAGES = {353-363},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kalkbrener/94,
AUTHOR = {Kalkbrener, Michael},
TITLE = {Prime decompositions of radicals in polynomial rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {4},
PAGES = {365-372},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hreinsdottir/94,
AUTHOR = {Hreinsd{\'{o}}ttir, Freyja},
TITLE = {A case where choosing a product order makes the calculations of a Groebner Basis much faster},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {4},
PAGES = {373-378},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Mignotte-Glesser/94a,
AUTHOR = {Mignotte, Maurice and Glesser, Philippe},
TITLE = {Landau's inequality via Hadamard's},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {4},
PAGES = {379-383},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ulmer/94,
AUTHOR = {Ulmer, Felix},
TITLE = {Irreducible linear differential equations of prime order},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {4},
PAGES = {385-401},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Yamamoto/94,
AUTHOR = {Yamamoto, Osami},
TITLE = {On some bounds for zeros of norm-bounded polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {5},
PAGES = {403-427},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Duval/94,
AUTHOR = {Duval, Dominique},
TITLE = {Algebraic numbers: An example of dynamic evaluation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {5},
PAGES = {429-445},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Assi/94,
AUTHOR = {Assi, Abdallah},
TITLE = {On flatness of generic projections},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {5},
PAGES = {447-462},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Weiermann/94,
AUTHOR = {Weiermann, Andreas},
TITLE = {Complexity bounds for some finite forms of Kruskal's theorem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {5},
PAGES = {463-488},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Apt-Boas-Welling/94,
AUTHOR = {Apt, Krzysztof R. and Boas, Peter van Emde and Welling, Angelo},
TITLE = {The STO-problem is $NP$-hard},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {5},
PAGES = {489-495},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Barkee-Can-Ecks-Moriarty-Ree/94,
AUTHOR = {Barkee, Boo and Can, Deh Cac and Ecks, Julia and Moriarty, Theo and Ree, R.F.},
TITLE = {Why you cannot even hope to use Gr{\"o}bner bases in public key cryptography: An open letter to a scientist who failed and a challenge to those who have not yet failed},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {6},
PAGES = {497-501},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ma/94,
AUTHOR = {Ma, Yonghao},
TITLE = {On the minors defined by a generic matrix},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {6},
PAGES = {503-518},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Huang-Ierardi/94,
AUTHOR = {Huang, Ming-Deh and Ierardi, Doug},
TITLE = {Efficient algorithms for the Riemann-Roch problem and for addition in the Jacobian of a curve},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {6},
PAGES = {519-539},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Niemeyer/94,
AUTHOR = {Niemeyer, Alice C.},
TITLE = {A finite soluble quotient algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {6},
PAGES = {541-561},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Pedersen-Yoder/94,
AUTHOR = {Pedersen, John and Yoder, Margaret},
TITLE = {Term rewriting for the conjugacy problem and the braid groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {6},
PAGES = {563-572},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gemignani/94,
AUTHOR = {Gemignani, Luca},
TITLE = {Solving Hankel systems over the integers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {6},
PAGES = {573-584},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bach/94,
AUTHOR = {Bach, Eric},
TITLE = {Tensor products and computability},
JOURNAL = {J. Symbolic Computation},
VOLUME = {18},
NUMBER = {6},
PAGES = {585-593},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Middeldorp/94,
AUTHOR = {Middeldorp, Aart},
TITLE = {Completeness of combinations of conditional constructor systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {1},
PAGES = {3-21},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zantema/94,
AUTHOR = {Zantema, H.},
TITLE = {Termination of term rewriting: Interpretation and type elimination},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {1},
PAGES = {23-50},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wirth-Gramlich/94,
AUTHOR = {Wirth, Claus-Peter and Gramlich, Bernhard},
TITLE = {A constructor-based approach to positive/negative-conditional equational specifications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {1},
PAGES = {51-90},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hofbauer-Huber/94,
AUTHOR = {Hofbauer, Dieter and Huber, Maria},
TITLE = {Linearizing term rewriting systems using test sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {1},
PAGES = {91-129},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{OBrien/94,
AUTHOR = {O'Brien, E.A.},
TITLE = {Isomorphism testing for $p$-groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {2},
PAGES = {133-147},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Froberg-Hollman/94,
AUTHOR = {Fr{\"o}berg, Ralf and Hollman, Joachim},
TITLE = {Hilbert series for ideals generated by generic forms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {2},
PAGES = {149-157},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Brown-Tonks/94,
AUTHOR = {Brown, Ronald and Tonks, Andrew},
TITLE = {Calculations with simplicial and cubical groups in AXIOM},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {2},
PAGES = {159-179},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kean-Tsiknis/94,
AUTHOR = {Kean, Alex and Tsiknis, George},
TITLE = {A corrigendum for the optimized-IPIA},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {2},
PAGES = {181-187},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zhang/94a,
AUTHOR = {Zhang, Hantao},
TITLE = {A new method for the Boolean ring based theorem proving},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {2},
PAGES = {189-211},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Eiter/94,
AUTHOR = {Eiter, Thomas},
TITLE = {Exact transversal hypergraphs and application to Boolean $\mu$-functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {3},
PAGES = {215-225},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Salvy/94,
AUTHOR = {Salvy, Bruno},
TITLE = {Fast computation of some asymptotic functional inverses},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {3},
PAGES = {227-236},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Davis/94,
AUTHOR = {Davis, Richard A.},
TITLE = {Idempotent computation over finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {3},
PAGES = {237-258},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Dehon/94,
AUTHOR = {Dehon, Michel},
TITLE = {Classifying geometries with Cayley},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {3},
PAGES = {259-276},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Mignotte-Glesser/94,
AUTHOR = {Mignotte, Maurice and Glesser, Philippe},
TITLE = {On the smallest divisor of a polynomial},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {3},
PAGES = {277-282},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gusynin-Kornyak/94,
AUTHOR = {Gusynin, V.P. and Kornyak, V.V.},
TITLE = {Symbolic computation of DeWitt-Seeley-Gilkey coefficients on curved manifolds},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {3},
PAGES = {283-294},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Nievergelt/94,
AUTHOR = {Nievergelt, Jurg},
TITLE = {Complexity, algorithms, programs, systems: The shifting focus},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {4},
PAGES = {297-310},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Schorn/94,
AUTHOR = {Schorn, Peter},
TITLE = {Evolution of a software system: Interaction, interfaces and applications in the XYZ GeoBench},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {4},
PAGES = {311-320},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Weber-Knipping-Alt/94,
AUTHOR = {Weber, Gerald and Knipping, Lars and Alt, Helmut},
TITLE = {An application of point pattern matching in astronautics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {4},
PAGES = {321-340},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Raymond-Wood/94,
AUTHOR = {Raymond, Darrell and Wood, Derick},
TITLE = {Grail: A C++ library for automata and expressions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {4},
PAGES = {341-350},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Welzl-Wolfers/94,
AUTHOR = {Welzl, Emo and Wolfers, Barbara},
TITLE = {Surface reconstruction between simple polygons via angle criteria},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {4},
PAGES = {351-369},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Shoup/94,
AUTHOR = {Shoup, Victor},
TITLE = {Fast construction of irreducible polynomials over finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {5},
PAGES = {371-391},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Larsen-Schwartzbach/94,
AUTHOR = {Larsen, Kim S. and Schwartzbach, Michael I.},
TITLE = {Injectivity of composite functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {5},
PAGES = {393-408},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lucchini-Menegazzo/94,
AUTHOR = {Lucchini, Andrea and Menegazzo, Federico},
TITLE = {Computing a set of generators of minimal cardinality in a solvable group},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {5},
PAGES = {409-420},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Backofen/94,
AUTHOR = {Backofen, Rolf},
TITLE = {Regular path expressions in feature logic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {5},
PAGES = {421-455},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hebert/94,
AUTHOR = {Hebert, D.J.},
TITLE = {Symbolic local refinement of tetrahedral grids},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {5},
PAGES = {457-472},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Shallit-Sorenson/94,
AUTHOR = {Shallit, Jeffrey and Sorenson, Jonathan},
TITLE = {Analysis of a left-shift binary GCD algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {6},
PAGES = {473-486},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Worfolk/94,
AUTHOR = {Worfolk, Patrick A.},
TITLE = {Zeros of equivariant vector fields: Algorithms for an invariant approach},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {6},
PAGES = {487-511},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Cooperman-Finkelstein/94,
AUTHOR = {Cooperman, Gene and Finkelstein, Larry},
TITLE = {A random base change algorithm for permutation groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {6},
PAGES = {513-528},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lux-Muller-Ringe/94,
AUTHOR = {Lux, Klaus and M{\"u}ller, J{\"u}rgen and Ringe, Michael},
TITLE = {Peakword condensation and submodule lattices: An application of the Meat-Axe},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {6},
PAGES = {529-544},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Yokoyama-Noro-Takeshima/94,
AUTHOR = {Yokoyama, Kazuhiro and Noro, Masayuki and Takeshima, Taku},
TITLE = {Multi-modular approach to polynomial-time factorization of bivariate integral polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {17},
NUMBER = {6},
PAGES = {545-563},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}