External Links

    Journal: Journal of Symbolic Computation

    Volume 41, Issue 9

    943 -- 958Isaac A. García, Jaume Giné, Maite Grau. A necessary condition in the monodromy problem for analytic differential equations on the plane
    959 -- 963Joris van der Hoeven. Counterexamples to witness conjectures
    964 -- 979Annegret Weng. Computing generators of the tame kernel of a global function field
    980 -- 998Clemens Heuberger. All solutions to Thomas family of Thue equations over imaginary quadratic number fields
    999 -- 1003Freyja Hreinsdóttir. An improved term ordering for the ideal of commuting matrices
    1004 -- 1020Joris van der Hoeven, John Shackell. Complexity bounds for zero-test algorithms
    1021 -- 1038. Cylindrical Algebraic Decomposition using validated numerics
    1039 -- 1057Manuel Kauers. SumCracker: A package for manipulating symbolic sums and related objects

    Volume 41, Issue 8

    847 -- 862William R. Unger. Computing the character table of a finite group
    863 -- 886Guangxing Zeng. Determination of the tangents for a real plane algebraic curve
    905 -- 908Takashi Wada, Hidefumi Ohsugi. Gröbner bases of Hilbert ideals of alternating groups
    909 -- 942Jamil Baddoura. Integration in finite terms with elementary functions and dilogarithms

    Volume 41, Issue 7

    739 -- 762Ruyong Feng, Xiao-Shan Gao. A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs
    763 -- 789Domenico Cantone, Gianluca Cincotti, Giovanni Gallo. Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates
    790 -- 810Attila Bérczes, Attila Pethö, Volker Ziegler. Parameterized norm form equations with arithmetic progressions
    811 -- 817Richard Henderson, Todd Macedo, Sam Nelson. Symbolic computation with finite quandles
    818 -- 834A. D. Myasnikov, Robert M. Haralick. A hybrid search algorithm for the Whitehead Minimization problem
    835 -- 846Vesselin Drensky, Roberto La Scala. Gröbner bases of ideals invariant under endomorphisms

    Volume 41, Issue 6

    621 -- 632Zhendong Wan. An algorithm to solve integer linear systems exactly using numerical methods
    633 -- 662Martin Bendersky, Richard C. Churchill. Normal forms in a cyclically graded Lie algebra
    663 -- 681Bálint Felszeghy, Balázs Ráth, Lajos Rónyai. The lex game and some applications
    682 -- 696Guillaume Chèze, André Galligo. From an approximate to an exact absolute polynomial factorization
    697 -- 707Masaaki Kanno, Malcolm C. Smith. Validated numerical computation of the ::::L::Infinity::::::-norm for linear dynamical systems
    708 -- 737Bernhard Beckermann, George Labahn, Gilles Villard. Normal forms for general polynomial matrices

    Volume 41, Issue 5

    513 -- 543Bernhard Beckermann, Howard Cheng, George Labahn. Fraction-free row reduction of matrices of Ore polynomials
    544 -- 558Martin Bright. Brauer groups of diagonal quartic surfaces
    559 -- 572Vincent Vatter. Finitely labeled generating trees and restricted permutations
    573 -- 590Ronald Brown, Neil Ghani, Anne Heyworth, Christopher D. Wensley. String rewriting for double coset systems
    591 -- 602Manfred Minimair. Resultants of partially composed polynomials
    603 -- 618S. C. Coutinho, L. Menasché Schechter. Algebraic solutions of holomorphic foliations: An algorithmic approach
    619 -- 0Giuseppa Carrá Ferro. Erratum to Ideals, bifiltered modules and bivariate Hilbert polynomials [J. Symbolic Comput. 41(2006) 112-121]

    Volume 41, Issue 3-4

    255 -- 258Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler. Bruno Buchberger - A life devoted to symbolic computation
    259 -- 260Deepak Kapur. Preface on the contributed papers
    261 -- 284Werner Heiß, Ulrich Oberst, Franz Pauer. On inverse systems and squarefree decomposition of zero-dimensional polynomial ideals
    285 -- 296Volker Weispfenning. Comprehensive Gröbner bases and regular rings
    297 -- 316Lothar Gerritzen. Tree polynomials and non-associative Gröbner bases
    317 -- 335F. J. Castro-Jiménez, Jose Maria Ucha-Enríquez. Gröbner bases and logarithmic ::::D::::-modules
    336 -- 356Giandomenico Boffi, Fabio Rossi. Lexicographic Gröbner bases for transportation problems of format ::::r::::×3×3
    357 -- 371Leonid Bokut, Andrei Vesnin. Gröbner-Shirshov bases for some braid groups
    372 -- 380Thomas Beth, Jörn Müller-Quade, Rainer Steinwandt. Computing restrictions of ideals in finitely generated ::::k::::-algebras by means of Buchberger s algorithm
    381 -- 410Matthias Baaz, Alexander Leitsch. Towards a clausal analysis of cut-elimination
    411 -- 434Koji Nakagawa. Logicographic symbols
    435 -- 470Wolfgang Windsteiger. An automated prover for Zermelo-Fraenkel set theory in ::::Theorema::::
    471 -- 474Bruno Buchberger. Comments on the translation of my PhD thesis
    475 -- 511Bruno Buchberger. Bruno Buchberger s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal

    Volume 41, Issue 2

    123 -- 124Serkan Hosten, Christopher Meek. Preface
    125 -- 137Ingileif B. Hallgrímsdóttir, Bernd Sturmfels. Resultants in genetic linkage analysis
    138 -- 150Elizabeth S. Allman, John A. Rhodes. Phylogenetic invariants for stationary base composition
    151 -- 163Eric H. Kuo. Viterbi sequences and polytopes
    164 -- 172Fabio Rapallo. Markov bases and structural zeros
    173 -- 181Jesús A. De Loera, Shmuel Onn. Markov bases of three-way tables are arbitrarily complicated
    182 -- 195Persi Diaconis, Nicholas Eriksson. Markov bases for noncommutative Fourier analysis of ranked data
    196 -- 209Aleksandra B. Slavkovic, Seth Sullivant. The space of compatible full conditionals is a unimodular toric variety
    210 -- 221Giovanni Pistone, Henry P. Wynn. Cumulant varieties
    222 -- 233Nicholas Eriksson, Stephen E. Fienberg, Alessandro Rinaldo, Seth Sullivant. Polyhedral conditions for the nonexistence of the MLE for hierarchical log-linear models
    234 -- 244Max-Louis G. Buot, Donald St. P. Richards. Counting and locating the solutions of polynomial systems of maximum likelihood equations, I
    245 -- 254Mathias Drton. Computing all roots of the likelihood equations of seemingly unrelated regressions

    Volume 41, Issue 12

    1295 -- 1308William N. Traves. Differential operators on orbifolds
    1309 -- 1327Liqun Qi. Rank and eigenvalues of a supersymmetric tensor, the multivariate homogeneous polynomial and the algebraic hypersurface it defines
    1328 -- 1344Josep Àlvarez Montaner, Anton Leykin. Computing the support of local cohomology modules
    1345 -- 1359Andrea Previtali. Irreducible constituents of monomial representations
    1360 -- 1375Thorsten Theobald. On the frontiers of polynomial computations in tropical geometry

    Volume 41, Issue 11

    1155 -- 1156Andreas Dolzmann, Thomas Sturm. Editorial
    1157 -- 1173Christopher W. Brown, M hammed El Kahoui, Dominik Novotni, Andreas Weber 0004. Algorithmic methods for investigating equilibria in epidemic modeling
    1174 -- 1186Gema M. Diaz-Toca. Galois theory, splitting fields and computer algebra
    1187 -- 1205Mario Fioravanti, Laureano González-Vega, Ioana Necula. Computing the intersection of two ruled surfaces by using a new algebraic approach
    1206 -- 1221Armin Größlinger, Martin Griebl, Christian Lengauer. Quantifier elimination in automatic loop parallelization
    1222 -- 1244Jaime Gutierrez, David Sevilla. Computation of unirational fields
    1245 -- 1263Montserrat Manubens, Antonio Montes. Improving the DISPGB algorithm using the discriminant ideal
    1264 -- 1294Birgit Reinert. Gröbner bases in function rings - A guide for introducing reduction relations to algebraic structures

    Volume 41, Issue 10

    1059 -- 1079Ana Romero, Julio Rubio, Francis Sergeraert. Computing spectral sequences
    1080 -- 1090Arnold Schönhage. Polynomial root separation examples
    1091 -- 1104Oleg Golubitsky. Gröbner fan and universal characteristic sets of prime differential ideals
    1105 -- 1124Isabel Bermejo, Philippe Gimenez, Marcel Morales. Castelnuovo-Mumford regularity of projective monomial varieties of codimension two

    Volume 41, Issue 1

    1 -- 29Alin Bostan, Philippe Flajolet, Bruno Salvy, Éric Schost. Fast computation of special resultants
    30 -- 48Ibolya Szilágyi, Bert Jüttler, Josef Schicho. Local parametrization of cubic surfaces
    49 -- 66Werner Krandick, Kurt Mehlhorn. New bounds for the Descartes method
    67 -- 79G. Belitskii, Ruvim Lipyanski. The unification type of the Pythagorean equation in varieties of nilpotent rings
    80 -- 97John W. Jones, David P. Roberts. A database of local fields
    98 -- 111Micah J. Leamer. Gröbner finite path algebras
    112 -- 121Giuseppa Carrá Ferro. Ideals, bifiltered modules and bivariate Hilbert polynomials
    122 -- 0Min-Ho Ahn, Gwang-Il Kim. Retraction notice to Characterization of Pythagorean curves and Pythagoreanization using a rational transform
    runs on