External Links

    Journal: Journal of Symbolic Computation

    Volume 47, Issue 9

    1009 -- 1010Nicolas Peltier, Viorica Sofronie-Stokkermans. First-order theorem proving: Foreword
    1011 -- 1045Peter Baumgartner, Björn Pelzer, Cesare Tinelli. Model Evolution with equality - Revised and implemented
    1046 -- 1065Christian Mahesh Hansen, Roger Antonsen, Martin Giese, Arild Waaler. Incremental variable splitting
    1066 -- 1088Silvio Ranise. On the verification of security-aware E-services
    1089 -- 1108Christoph Wernhard. Projection and scope-determined circumscription
    1109 -- 1135Claus-Peter Wirth. +, and Non-Permutability of β-Steps

    Volume 47, Issue 8

    903 -- 925Daouda Niang Diatta, Bernard Mourrain, Olivier Ruatta. On the isotopic meshing of an algebraic implicit surface
    926 -- 941Martin R. Albrecht, Carlos Cid, Jean-Charles Faugère, Ludovic Perret. On the relation between the MXL family of algorithms and Gröbner basis algorithms
    942 -- 953Teresa Krick, Ágnes Szántó. Sylvester's double sums: An inductive proof of the general case
    954 -- 967David Harvey. The Karatsuba integer middle product
    968 -- 995Shaoshi Chen, Manuel Kauers. Trading order for degree in creative telescoping
    996 -- 1008Mordechai Katzman, Karl Schwede. An algorithm for computing compatibly Frobenius split subvarieties

    Volume 47, Issue 7

    751 -- 0Jeremy R. Johnson, Erich Kaltofen, Hyungju Park. Special Issue on Symbolic and Algebraic Computation Foundations, Algorithmics and Applications: ISSAC 2009
    752 -- 770Ana Romero, Julio Rubio. Computing the homology of groups: The geometric way
    771 -- 792Luca De Feo, Éric Schost. Fast arithmetics in Artin-Schreier towers over finite fields
    793 -- 819Wei Zhou, George Labahn. Efficient algorithms for order basis computation
    820 -- 842Ioannis Z. Emiris, Angelos Mantzaflaris. Multihomogeneous resultant formulae for systems with scaled support
    843 -- 858Jin-San Cheng, Xiao-Shan Gao, Leilei Guo. Root isolation of zero-dimensional polynomial systems with linear univariate representation
    859 -- 882Christopher W. Brown. Fast simplifications for Tarski formulas based on monomial inequalities
    883 -- 901Hoon Hong, Mohab Safey El Din. Variant quantifier elimination

    Volume 47, Issue 6

    583 -- 585Xiao-Shan Gao, Deepak Kapur. Preface
    586 -- 588Xiao-Shan Gao, Deepak Kapur. A brief introduction to Wen-Tsun Wu's academic career
    589 -- 609Bruno Buchberger, Markus Rosenkranz. Transforming problems from analysis to algebra: A case study in linear boundary problems
    610 -- 642Changbo Chen, Marc Moreno Maza. Algorithms for computing triangular decomposition of polynomial systems
    643 -- 654William Y. C. Chen, Qing-Hu Hou, Yan-Ping Mu. The extended Zeilberger algorithm with parameters
    655 -- 679Xiao-Shan Gao, Zhenyu Huang. Characteristic set algorithms for equation solving in finite fields
    680 -- 699Evelyne Hubert, Marie-Paule Cani. Convolution surfaces based on polygonal curve skeletons
    700 -- 710Nan Li, Lihong Zhi. Computing the multiplicity structure of an isolated singular solution: Case of breadth one
    711 -- 732Ziming Li, Min Wu 0003. Transforming linear functional systems into fully integrable systems
    733 -- 750Xuhui Wang, Falai Chen. Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces

    Volume 47, Issue 5

    503 -- 518Aurélien Greuet, Feng Guo, Mohab Safey El Din, Lihong Zhi. Global optimization of polynomials restricted to a smooth variety using sums of squares
    519 -- 535Torsten Sprenger, Wolfram Koepf. Algorithmic determination of q-power series for q-holonomic functions
    536 -- 551John Abbott. Twin-float arithmetic
    552 -- 567Nicole Sutherland. Efficient computation of maximal orders in radical (including Kummer) extensions
    568 -- 581Jeaman Ahn, Sijong Kwak, Yeongseok Song. The degree complexity of smooth surfaces of codimension 2

    Volume 47, Issue 4

    355 -- 357Mark Giesbrecht, Daniel Panario. In honour of the research and influence of Joachim von zur Gathen at 60
    358 -- 367San Ling, Igor Shparlinski, Ron Steinfeld, Huaxiong Wang. On the modular inversion hidden number problem
    368 -- 400Pierrick Gaudry, Éric Schost. Genus 2 point counting over prime fields
    401 -- 409Thomas Prest, Paul Zimmermann. Non-linear polynomial selection for the number field sieve
    410 -- 421Mohamed Elkadi, André Galligo, Thang Luu Ba. Approximate GCD of several univariate polynomials with small degree perturbations
    422 -- 453Somit Gupta, Soumojit Sarkar, Arne Storjohann, Johnny Valeriote. Triangular x-basis decompositions and derandomization of linear algebra algorithms over K[x]
    454 -- 479Martin Avendano, Ashraf Ibrahim, J. Maurice Rojas, Korben Rusek. Faster p-adic feasibility for certain multivariate sparse polynomials
    480 -- 491Matthew T. Comer, Erich Kaltofen. On the Berlekamp/Massey algorithm and counting singular Hankel matrices over a finite field
    492 -- 502Luis H. Gallardo, Olivier Rahavandrainy. 2 with at most four distinct irreducible factors

    Volume 47, Issue 3

    227 -- 238Xiaoli Wu, Lihong Zhi. Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms
    239 -- 258Michael Kerber, Michael Sagraloff. A worst-case bound for topology computation of algebraic curves
    259 -- 265Vincent Vatter. Finding regular insertion encodings for permutation classes
    266 -- 281Jean Marc Couveignes, Jean-Gabriel Kammerer. The geometry of flex tangents to a cubic curve and its parameterizations
    282 -- 314Adam W. Strzebonski. Real root isolation for exp-log-arctan functions
    315 -- 326Andreas-Stephan Elsenhans. Invariants for the computation of intransitive and transitive Galois groups
    327 -- 341Juan Gerardo Alcázar. Local shape of generalized offsets to algebraic curves
    342 -- 353Jon González-Sánchez, Michael Harrison, Irene Polo-Blanco, Josef Schicho. Algorithms for Del Pezzo surfaces of degree 5 (construction, parametrization)

    Volume 47, Issue 2

    123 -- 130Joel Moses. Macsyma: A personal history
    131 -- 152Michael Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap. Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves
    153 -- 166Michael Burr, Felix Krahmer. SqFreeEVAL: An (almost) optimal real-root isolation algorithm
    167 -- 191Jiawang Nie. Discriminants and nonnegative polynomials
    192 -- 213Ainhoa Aparicio-Monforte, Jacques-Arthur Weil. A reduced form for linear differential systems and its application to integrability of Hamiltonian systems
    214 -- 226Rida T. Farouki, Takis Sakkalis. A complete classification of quintic space curves with rational rotation-minimizing frames

    Volume 47, Issue 12

    1413 -- 1415Nikolaj Bjørner, Laura Kovács. Foreword
    1416 -- 1446Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault. Abstract interpretation meets convex optimization
    1447 -- 1478Stéphane Gaubert, Ricardo Katz, Sergei Sergeev. Tropical linear-fractional programming and parametric mean payoff games
    1479 -- 1511Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot. Acceleration of the abstract fixpoint computation in numerical program analysis
    1512 -- 1532Peter Schrammel, Bertrand Jeannet. Applying abstract acceleration to (co-)reachability analysis of reactive programs
    1533 -- 1560Gianluca Amato, Maurizio Parton, Francesca Scozzari. Discovering invariants via simple component analysis

    Volume 47, Issue 11

    1309 -- 1317Graham Ellis, Le Van Luyen. Computational homology of n-types
    1318 -- 1346Jordi Guàrdia, Enric Nart, Sebastian Pauli. Single-factor lifting and factorization of polynomials over local fields
    1347 -- 1371Mama Foupouagnigni, Wolfram Koepf, D. D. Tcheutia, P. Njionou Sadjang. Representations of q-orthogonal polynomials
    1372 -- 1412George E. Collins, Werner Krandick. On the computing time of the continued fractions method

    Volume 47, Issue 10

    1137 -- 1139Viktor Levandovskyy, Dusan Pagon, Marko Petkovsek, Valery G. Romanovski. Foreword from the Editors
    1140 -- 1153Douglas S. Shafer. Symbolic computation and the cyclicity problem for singularities
    1154 -- 1162Zhiheng Yu, Lu Yang, Weinian Zhang. Discussion on polynomials having polynomial iterative roots
    1163 -- 1174Maoan Han, Valery G. Romanovski. Isochronicity and normal forms of polynomial systems of ODEs
    1175 -- 1191Mikhail H. Klin, Josef Lauri, Matan Ziv-Av. Links between two semisymmetric graphs on 112 vertices via association schemes
    1192 -- 1213Thomas Cluzeau, Alban Quadrat. Serre's reduction of linear partial differential systems with holonomic adjoints
    1214 -- 1232Viktor Levandovskyy, Kristina Schindelar. Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases
    1233 -- 1266Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz. Algorithmic Thomas decomposition of algebraic and differential systems
    1267 -- 1289Johannes Blümlein, Sebastian Klein, Carsten Schneider, Flavia Stan. A symbolic summation approach to Feynman integral calculus
    1290 -- 1296Clemens G. Raab. Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions
    1297 -- 1308Giandomenico Boffi, Alessandro Logar. n

    Volume 47, Issue 1

    1 -- 15Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi. Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
    16 -- 31Scott McCallum, Volker Weispfenning. Deciding polynomial-transcendental problems
    32 -- 63Adrien Poteaux, Marc Rybowicz. Good reduction of Puiseux series and applications
    64 -- 75Henrik Bäärnhielm, Charles R. Leedham-Green. The Product Replacement Prospector
    76 -- 88George Bluman, Raouf Dridi. New solutions for ordinary differential equations
    89 -- 101Michael C. Harrison. An extension of Kedlaya's algorithm for hyperelliptic curves
    102 -- 122Itnuit Janovitz-Freireich, Bernard Mourrain, Lajos Rónyai, Ágnes Szántó. On the computation of matrices of traces and radicals of ideals
    runs on