External Links

    Journal: Journal of Symbolic Computation

    Volume 46, Issue 9

    977 -- 996Sonia L. Rueda. A perturbed differential resultant based implicitization algorithm for linear DPPEs
    997 -- 1016Mahjoub Langar, Mohamed Mejri, Kamel Adi. Formal enforcement of security policies on concurrent systems
    1017 -- 1029Alberto Arri, John Perry. The F5 criterion revised
    1030 -- 1038J. Rafael Sendra, David Sevilla. Radical parametrizations of algebraic curves by adjoint curves
    1039 -- 1048Mari Castle, Victoria Powers, Bruce Reznick. Pólya s Theorem with zeros
    1049 -- 1069J. F. Pommaret. Macaulay inverse systems revisited
    1070 -- 1084Francesca Cioffi, Margherita Roggero. Flat families by strongly stable ideals and a generalization of Gröbner bases
    1085 -- 1086Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée. Obituary. Philippe Flajolet

    Volume 46, Issue 8

    889 -- 903Waldemar Hebisch, Martin Rubey. Extended rate, more GFUN
    904 -- 918Ting Zhao, Dongming Wang, Hoon Hong. Solution formulas for cubic equations without or with constraints
    919 -- 942Ioannis Z. Emiris, Christos Konaxis. Single-lifting Macaulay-type formulae of generalized unmixed sparse resultants
    943 -- 966Wouter Castryck, Frederik Vercauteren. Toric forms of elliptic curves and their arithmetic
    967 -- 976Luis Felipe Tabera. Optimal affine reparametrization of rational curves

    Volume 46, Issue 7

    735 -- 740Mark Giesbrecht, Stephen M. Watt. In honour of Keith Geddes on his 60th birthday
    741 -- 754David H. Bailey, Jonathan M. Borwein. High-precision numerical integration: Progress and challenges
    755 -- 772Danko Adrovic, Jan Verschelde. Tropical algebraic geometry in Maple: A preprocessing algorithm for finding common factors for multivariate polynomials with approximate coefficients
    773 -- 790Gilles Villard. Kaltofen s division-free determinant algorithm differentiated for matrix adjoint computation
    791 -- 806Daniel S. Roche. Chunky and equal-spaced polynomial multiplication
    807 -- 822Michael B. Monagan, Roman Pearce. Sparse polynomial division using a heap
    841 -- 858Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost. The modpn library: Bringing fast polynomial arithmetic into Maple
    859 -- 887David R. Stoutemyer. Ten commandments for good default expression simplification

    Volume 46, Issue 6

    633 -- 658Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha. Simple forms of higher-order linear differential systems and their applications in computing regular solutions
    659 -- 671Nicoleta Bila. On a new method for finding generalized equivalence transformations for differential equations involving arbitrary functions
    672 -- 684Nazeran Idrees, Gerhard Pfister, Stefan Steidel. Parallelization of Modular Algorithms
    685 -- 698Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert. fKenzo: A user interface for computations in Algebraic Topology
    699 -- 711Khodabakhsh Hessami Pilehrood, Tatiana Hessami Pilehrood. A q-analogue of the Bailey-Borwein-Bradley identity
    712 -- 733Daniel Plaumann, Bernd Sturmfels, Cynthia Vinzant. Quartic curves and their bitangents

    Volume 46, Issue 5

    495 -- 497Elizabeth Arnold, Ilias S. Kotsireas, Markus Rosenkranz. Bruno Buchberger and the world of Gröbner bases
    498 -- 510Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano. Computing inhomogeneous Gröbner bases
    511 -- 533Víctor Blanco, Justo Puerto. Some algebraic methods for solving multiobjective polynomial integer programs
    534 -- 549Massimo Caboara, Fabrizio Caruso, Carlo Traverso. Lattice Polly Cracker cryptosystems
    550 -- 560Anne Frühbis-Krüger. A modified coefficient ideal for use with the strict transform
    561 -- 570Gert-Martin Greuel, Frank Seelisch, Oliver Wienand. The Gröbner basis of the ideal of vanishing polynomials
    571 -- 583Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi. Morley s theorem revisited: Origami construction and automated proof
    584 -- 594K. Kalorkoti. Model checking in the modal μ-calculus and generic solutions
    595 -- 608Viktor Levandovskyy, Kristina Schindelar. Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases
    609 -- 621Agustin Marcelo, Peter Schenzel. Non-Cohen-Macaulay unique factorization domains in small dimensions
    622 -- 632Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima, Kô Sakai. Boolean Gröbner bases

    Volume 46, Issue 4

    339 -- 359Joris van der Hoeven. Meta-expansion of transseries
    360 -- 370Graham Ellis, Paul Smith. Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence
    371 -- 384Scott H. Murray, Colva M. Roney-Dougal. Constructive homomorphisms for classical groups
    385 -- 395Marie-Françoise Roy, Aviva Szpirglas. Sylvester double sums and subresultants
    396 -- 405Annick Valibouze. Gröbner basis of the alternating galoisian ideal
    406 -- 437Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer. Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1, 1): Algorithms and complexity
    438 -- 458Willem A. de Graaf. Computing representatives of nilpotent orbits of θ-groups
    459 -- 466Jean-Charles Faugère, Ye Liang. Artificial discontinuities of single-parametric Gröbner bases
    467 -- 494Michael Hemmer, Laurent Dupont, Sylvain Petitjean, Elmar Schömer. A complete, exact and efficient implementation for computing the edge-adjacency graph of an arrangement of quadrics

    Volume 46, Issue 3

    219 -- 221Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll. Foreword
    222 -- 245Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König. A lattice-theoretical perspective on adhesive categories
    246 -- 271Benjamin Braatz, Ulrike Golas, Thomas Soboll. How to delete categorically - Two pushout complement constructions
    272 -- 293Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Cartesian effect categories are Freyd-categories
    294 -- 315Fernando Orejas. Symbolic graphs for attributed graph constraints
    316 -- 337Christoph Schulz, Michael Löwe, Harald König. A categorical framework for the transformation of object-oriented systems: Models and data

    Volume 46, Issue 2

    0 -- 0Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. Static Consistency Checking of Web Applications with WebDSL
    93 -- 94Demis Ballis, Temur Kutsia. Foreword
    95 -- 118Gregory Malecha, Greg Morrisett, Ryan Wisnesky. Trace-based verification of imperative programs with I/O
    119 -- 149Federico Banti, Rosario Pugliese, Francesco Tiezzi. An accessible verification environment for UML models of services
    150 -- 182Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. Static consistency checking of web applications with WebDSL
    183 -- 206Christian Schönberg, Franz Weitl, Burkhard Freitag. Verifying the consistency of web-based technical documentations
    207 -- 217Marino Linaje Trigueros, Adolfo Lozano Tello, Miguel Ángel Perez Toledano, Juan Carlos Preciado, Roberto Rodríguez-Echeverría, Fernando Sánchez-Figueroa. Providing RIA user interfaces with accessibility properties

    Volume 46, Issue 12

    1291 -- 1305François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie. When does <T> equal sat(T)?
    1306 -- 1317Kosaku Nagasaka. Approximate polynomial GCD over integers
    1318 -- 1335Hiroshi Sekigawa. Computing the nearest polynomial with a zero in a given domain by using piecewise rational functions
    1336 -- 1354Martin Raum. How to implement a modular form
    1355 -- 1377Douglas Poole, Willy Hereman. Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions
    1378 -- 1402Alin Bostan, Muhammad F. I. Chowdhury, Joris van der Hoeven, Éric Schost. Homotopy techniques for multiplication modulo triangular sets
    1403 -- 1412Alain Bretto, Alain Faisant. Cayley graphs and G-graphs: Some applications

    Volume 46, Issue 11

    1189 -- 1204Viktor Levandovskyy, Eva Zerz, Kristina Schindelar. Exact linear modeling using Ore algebras
    1205 -- 1228Sergei A. Abramov, Moulay A. Barkatou, Mark van Hoeij, Marko Petkovsek. Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences
    1229 -- 1241Rocío Blanco, Santiago Encinas. Embedded desingularization of toric varieties
    1242 -- 1259Mark Giesbrecht, Daniel S. Roche. Detecting lacunary perfect powers and computing their roots
    1260 -- 1283Jesús A. De Loera, Jon Lee, Peter N. Malkin, Susan Margulies. Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz
    1284 -- 1290Adam W. Strzebonski. Cylindrical decomposition for systems transcendental in the first variable

    Volume 46, Issue 10

    1087 -- 1097Stefano Maggiolo, Nicola Pagani. Generating stable modular graphs
    1105 -- 1113Jesse Beder, Jason McCullough, Luis Núñez-Betancourt, Alexandra Seceleanu, Bart Snapp, Branden Stone. Ideals with larger projective dimension and regularity
    1114 -- 1138Lisi D Alfonso, Gabriela Jeronimo, François Ollivier, Alexandre Sedoglavic, Pablo Solernó. A geometric index reduction method for implicit systems of differential algebraic equations
    1158 -- 1172Taro Kawazoe, Masayuki Noro. Algorithms for computing a primary ideal decomposition without producing intermediate redundant components
    1173 -- 1186L. X. Chåu Ngô, Franz Winkler. Rational general solutions of planar rational systems of autonomous ODEs
    1187 -- 1188Mahdi Dehghani Darmian, Amir Hashemi, Antonio Montes. Erratum to A new algorithm for discussing Gröbner bases with parameters [J. Symbolic Comput. 33(1-2) (2002) 183-208]

    Volume 46, Issue 1

    1 -- 22Jon Wilkening, Jia Yu. A local construction of the Smith normal form of a matrix polynomial
    23 -- 33Sandra Di Rocco, David Eklund, Chris Peterson, Andrew J. Sommese. Chern numbers of smooth varieties via homotopy continuation and intersection theory
    34 -- 53Alessandra Bernardi, Alessandro Gimigliano, Monica Idà. Computing symmetric rank for symmetric tensors
    45 -- 0Sonia L. Rueda, J. Rafael Sendra. Corrigendum to Linear complete differential resultants and the implicitization of linear DPPEs [J. Symbolic Comput
    54 -- 69Paraskevas Alvanos, Dimitrios Poulakis. Solving genus zero Diophantine equations over number fields
    70 -- 90Kurt Mehlhorn, Michael Sagraloff. A deterministic algorithm for isolating real roots of a real polynomial
    runs on