External Links

    Journal: Journal of Symbolic Computation

    Volume 45, Issue 1

    1 -- 18Martin Peternell. Rational two-parameter families of spheres and rational offset surfaces
    19 -- 37Claudia Fassino. Almost vanishing polynomials for sets of limited precision points
    38 -- 45Alberto Damiano, Graziano Gentili, Daniele C. Struppa. Computations in the ring of quaternionic polynomials
    46 -- 59Rouchdi Bahloul, Toshinori Oaku. Local Bernstein-Sato ideals: Algorithm and examples
    60 -- 73Bahman Engheta. A bound on the projective dimension of three cubics
    74 -- 95Temur Kutsia, Jordi Levy, Mateu Villaret. On the relation between Context and Sequence Unification
    96 -- 123Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José-Luis Ruiz-Reina. A verified Common Lisp implementation of Buchberger s algorithm in ACL2
    124 -- 149François Boulier, François Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering
    runs on