@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}, }