External Links

    Journal: Journal of Symbolic Computation

    Volume 18, Issue 6

    497 -- 501Boo Barkee, Deh Cac Can, Julia Ecks, Theo Moriarty, R. F. Ree. Why You Cannot Even Hope to use Gröbner Bases in Public Key Cryptography: An Open Letter to a Scientist Who Failed and a Challenge to Those Who Have Not Yet Failed
    503 -- 518Yonhao Ma. On The Minors Defined By A Generic Matrix
    519 -- 539Ming-Deh A. Huang, Doug Ierardi. Efficient Algorithms for the Riemann-Roch Problem and for Addition in the Jacobian of a Curve
    541 -- 561Alice C. Niemeyer. A Finite Soluble Quotient Algorithm
    563 -- 572John Pedersen, Margaret Yoder. Term Rewriting for the Conjugacy Problem and the Braid Groups
    573 -- 584Luca Gemignani. Solving Hankel Systems over the Integers
    585 -- 593Eric Bach. Tensor Products and Computability

    Volume 18, Issue 5

    403 -- 427Osami Yamamoto. On Some Bounds for Zeros of Norm-Bounded Polynomials
    429 -- 445Dominique Duval. Algebraic Numbers: An Example of Dynamic Evaluation
    447 -- 462Abdallah Assi. On Flatness of Generic Projections
    463 -- 488Andreas Weiermann. Complexity Bounds for Some Finite Forms of Kruskal s Theorem
    489 -- 495Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling. The STO-Problem is NP-Hard

    Volume 18, Issue 4

    297 -- 318Denis Lugiez, J. L. Moysset. Tree Automata Help One To Solve Equational Formulae In AC-Theories
    319 -- 352Irène Durand. Bounded, Strongly Sequential and Forward-Branching Term Rewriting Systems
    353 -- 363Mark van Hoeij. An Algorithm for Computing an Integral Basis in an Algebraic Function Field
    365 -- 372Michael Kalkbrener. Prime Decompositions of Radicals in Polynomial Rings
    373 -- 378Freyja Hreinsdóttir. A Case Where Choosing a Product Order Makes the Calculations of a Groebner Basis Much Faster
    379 -- 383Maurice Mignotte, Philippe H. Glesser. Landau s Inequality via Hadamard s
    385 -- 401Felix Ulmer. Irreducible Linear Differential Equations of Prime Order

    Volume 18, Issue 3

    183 -- 186Victor Y. Pan. Simple Multivariate Polynomial Multiplication
    187 -- 198Xiangdong Wang. The Hecke Operators on S_k(Gamma_1 (N))
    199 -- 206Klaus Meer. Real Number Computations: On the Use of Information
    207 -- 222Hiroyuki Sawada, Satoshi Terasaki, Akira Aiba. Parallel Computation of Gröbner Bases on Distributed Memory Machines
    223 -- 248Toshinori Oaku, Takeshi Shimoyama. A Gröbner Basis Method for Modules over Rings of Differential Operators
    249 -- 263Dongming Wang. Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications
    265 -- 296Mark Sofroniou. Symbolic Derivation of Runge-Kutta Methods

    Volume 18, Issue 2

    91 -- 112Robert Cremanns, Friedrich Otto. Finite Derivation Type Implies the Homological Finiteness Condition FP_3
    113 -- 155Hélène Kirchner, Christophe Ringeissen. Combining Symbolic Constraint Solvers on Algebraic Domains
    157 -- 182Susumu Yamasaki, Kentaro Iida. Transformation of Logic Programs to FP Programs Based on Dataflows

    Volume 18, Issue 1

    1 -- 40Hilary A. Priestley, Martin P. Ward. A Multipurpose Backtracking Algorithm
    41 -- 81Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi. Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods
    83 -- 86Ivo Düntsch. A Microcomputer Based System for Small Relation Algebras
    87 -- 90Craig R. Orr, Doron Zeilberger. A Computer Algebra Approach to the Discrete Dirichlet Problem
    runs on