ACM Communications in Computer Algebra, Volume 42

Volume 42, Numbers 1-2, March / June 2008

• 
  Michael P. Barnett:
  Reasoning in symbolic computation. 1-17

AMS special session on applications of computer algebra in enumerative and algebraic combinatorics

• 
  George E. Andrews, Peter Paule:
  Further developments in MacMahon's partition analysis (abstract only). 18
• 
  Lara Pudwell:
  How to cleverly count pattern-avoiding words (abstract only). 18
• 
  Marko Petkovsek:
  Solving multivariate linear recurrences in wedges (abstract only). 18-19
• 
  Carsten Schneider:
  Multi-summation in difference fields (abstract only). 19
• 
  William Y. C. Chen, Ernest X. W. Xia:
  The q-WZ method for infinite sums (abstract only). 19
• 
  Sara C. Billey, Stephen A. Mitchell:
  Affine colored partitions (abstract only). 19
• 
  Doron Zeilberger, Thotsaporn "Aek" Thanatipanonda:
  Computer-generated conjectures(!) and proofs(!!) in combinatorial game theory (abstract only). 19-20
• 
  Thotsaporn "Aek" Thanatipanonda:
  Computer-generated conjectures(!) and proofs(!!) in combinatorial game theory (II) (abstract only). 20
• 
  Mikael Vejdemo-Johansson:
  Enumerating the Saneblidze-Umble diagonal in Haskell (abstract only). 20
• 
  Nicolas M. Thiéry:
  Implementing Algebraic Combinatorics Some feedback from the development of MuPAD-Combinat (abstract only). 20

Abstracts of recent doctoral dissertations in computer algebra

• 
  Ana Romero Ibáñez Ibáñez:
  Homologa efectiva y sucesiones espectrales (abstract only). 21
• 
  Silvana Ilie:
  Computational complexity of numerical solutions of initial value problems for differential algebraic equations (abstract only). 21-22
• 
  Elias P. Tsigaridas:
  Algebraic computations and applications to geometry (abstract only). 22
• 
  In Memoriam Eugeny Pankratiev: Faculty of Mechanics and Mathematics, Moscow State University, Moscow, Russia. 23-26
• 
  Mark Giesbrecht:
  ACM 2007 Kanellakis Award Honours Bruno Buchberger Innovator of Automated Tools for Mathematics. 37-38
• 
  David Joyner:
  Open source computer algebra systems: Axiom. 39-47

Poster abstracts from the eighth algorithmic number theory symposium, ANTS-8

• 
  Andrew Arnold, Michael B. Monagan:
  Calculating really big cyclotomic polynomials (abstract only). 48-49
• 
  Kevin Doerksen:
  Genus 2 curves with split Jacobians (abstract only). 49-50
• 
  Andrej Dujella:
  A variant of Wiener's attack on RSA with small secret exponent. 50-51
• 
  Frédéric A. B. Edoukou:
  Computing the 2-distribution of points on Hermitian surfaces (abstract only). 52-53
• 
  Noam D. Elkies:
  Curves of genus 2 with many rational points via K3 surfaces (abstract only). 53-55
• 
  Felix Fontein:
  Abstract Infrastructures of Unit Rank Two (abstract only). 55-56
• 
  Steven D. Galbraith, Raminder S. Ruprai:
  Computing L-polynomials of non-hyperelliptic genus 4 and 5 curves (abstract only). 56-57
• 
  Joshua Holden, Nathan Lindle:
  A statistical look at maps of the discrete logarithm (abstract only). 57-59
• 
  Sonal Jain:
  Minimal heights and regulators for elliptic surfaces (abstract only). 59-61
• 
  Ahmad Lavasani, Reza Mohammadi:
  Implementing a feasible attack against ECC2K-130 certicom challenge (abstract only). 61-62
• 
  Sidi Mohamed Sedjelmaci:
  A straight line program computing the integer greatest common divisor (abstract only). 62-64
• 
  Masaya Yasuda:
  The discrete logarithm problem on elliptic curves defined over Q (abstract only). 64-66

ECCAD 2008 poster abstracts

• 
  Saleh Alshomrani, Paul Wang:
  DMAS: a web-based distributed mathematics assessment system (abstract only). 67-68
• 
  Amine Benkiran:
  Brouwer's fixed point theorem (abstract only). 68-69
• 
  Brandon Burkhart:
  Models of population dynamics (abstract only). 69
• 
  Elena S. Dimitrova, Brandilyn Stigler, Abdul Salam Jarrah, Reinhard C. Laubenbacher:
  Applications of the gröbner fan to gene network reconstruction (abstract only). 69
• 
  Caroline Ebersole:
  The population biology of infectious diseases (abstract only). 70
• 
  Shuhong Gao, Mingfu Zhu:
  An incremental algorithm for irreducible decompositions of monomial ideals (abstract only). 70
• 
  Osman Guzide, Kenneth May, James Getz, Adam Edgeson:
  New algebraic design for better P2P Features (abstract only). 70-71
• 
  Maki Iwami:
  An attack on improved algebraic surface public-key cryptosystem (abstract only). 71-74
• 
  Josh Jones:
  The RSA algorithm (abstract only). 74
• 
  David Joyner, Robert Miller:
  SAGE and coding theory (abstract only). 74-78
• 
  Michael A. Kelsey:
  Dethroning Fibonacci Sequence (abstract only). 78
• 
  Xun Lai, Paul S. Wang:
  GeometryEditor: a web-based interactive geometry manipulative authoring system (abstract only). 78-79
• 
  Robert H. Lewis:
  Comparing acceleration techniques for the dixon and macaulay resultants (abstract only). 79-81
• 
  Dongmei Li, Jinwang Liu, Shuhong Gao:
  The w-gröbner bases and monomial ideal under polynomial composition (abstract only). 81-82
• 
  John P. May, Mark Giesbrecht, Daniel S. Roche, Marc Moreno Maza, Yuzhen Xie:
  Automatic variable order selection for polynomial system solving (abstract only). 83
• 
  Robert W. McGrail, Mary Sharac:
  Tricoloring as a corrective measure (abstract only). 83-85
• 
  Andrew Novocin:
  Factoring univariate polynomials over the rationals (abstract only). 85
• 
  Matthew Prince:
  The concept of derivatives using abstract algebra (abstract only). 85-86
• 
  Robert Quinn, Hoon Hong:
  Connectivity in semialgebraic sets (abstract only). 86
• 
  Sean Riley:
  Origami and mathematics (abstract only). 86
• 
  Daniel S. Roche, Mark Giesbrecht:
  Detecting polynomial perfect powers (abstract only). 87
• 
  Wei Su, Chuan Cai, Paul S. Wang, Lian Li:
  A solution for online entering and editing mathematical formulas (abstract only). 87-88
• 
  Mingsheng Wang, Jinwang Liu:
  Factorization problems on n-D polynomial matrices (abstract only). 88-89
• 
  Stephen M. Watt:
  On the functional decomposition of multivariate laurent polynomials (abstract only). 89-90
• 
  Randall Wolfe:
  Divisibility tests (abstract only). 90
• 
  George Yuhasz, Erich L. Kaltofen:
  Computing minimal generators of integer matrix sequences (abstract only). 91
• 
  Dean Zeller:
  An introduction to programming curriculum including elements of mathematics, art, and creative writing (abstract only). 91
• 
  Wei Zhou:
  Efficient order basis computation (abstract only). 91

The MICA 2008 conference, preface and abstracts

• 
  (abstract only). 92-102

Volume 42, Number 3, September 2008

Formally reviewed articles

• 
  Benno Fuchssteiner:
  Modified gauss algorithm for matrices with symbolic entries. 108-121

Abstracts from the poster session - ISSAC

• 
  Kosaku Nagasaka:
  Approximate polynomial GCD over integers. 124-126
• 
  Tateaki Sasaki, Daiju Inaba:
  Convergence domain of series expansions of multivariate algebraic functions. 127-128
• 
  Howard Cheng, George Labahn, Wei Zhou:
  Computing polynomial LCM and GCD in lagrange basis. 129-130
• 
  Thomas Wolf:
  On solving large systems of polynomial equations appearing In discrete differential geometry. 131-134
• 
  Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec:
  General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. 135-137
• 
  Massimo Caboara, Fabrizio Caruso:
  Group actions on gröbner bases of saturated zero-dimensional binomial ideals. 138-139
• 
  Shutaro Inoue, Kohei Mukaida, Akira Suzuki, Yosuke Sato:
  Computation of inverses in residue class rings with parameters. 140-141
• 
  Ivan Morel, Damien Stehlé, Gilles Villard:
  From an LLL-reduced basis to another. 142-143
• 
  Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai:
  Solution of the algebraic riccati equation using the sum of roots. 144-145
• 
  Lim Yohanes Stefanus:
  De Boor-Fix dual functionals for transformation from polynomial basis to convolution basis. 146-148
• 
  Xiao-Shan Gao, Zhenyu Huang:
  A characteristic set method for equation solving over finite fields. 149-150
• 
  Guillaume Chèze, Mohamed Elkadi, André Galligo, Martin Weimann:
  Absolute factoring of bidegree bivariate polynomials. 151-153
• 
  Annie A. M. Cuyt, Wen-shin Lee:
  Sparse multivariate polynomial interpolation via the quotient-difference algorithm. 154-155
• 
  Mhenni M. Benghorbal:
  Unified formulas for arbitrary order symbolic derivatives and anti-derivatives of the power-inverse hyperbolic class 1. 156
• 
  Andy Novocin, Mark van Hoeij:
  Factoring univariate polynomials over the rationals. 157
• 
  Shuichi Moritsugu, Chisato Arai:
  Geometry theorem proving by Gröbner bases: using ideal decompositions. 158-159
• 
  Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsigaridas:
  Computing a rational in between. 160-161
• 
  Changbo Chen, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
  On the representation of constructible sets. 162-163
• 
  Ziming Li, Martin Ondera, Huaifu Wang:
  Simplifying skew fractions modulo differential and difference relations. 164-165
• 
  Andrey V. Banshchikov:
  Analysis of dynamics of large-dimensional mechanical systems by the tools of computer algebra. 166
• 
  Kelly Roach:
  Solving integrals with the quantum computer algebra system. 167-168
• 
  Alberto Arri:
  The F5 criterion revised. 169-170

Abstracts of the software exhibitions session - ISSAC

• 
  Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost:
  The modpn library: bringing fast polynomial arithmetic into MAPLE. 172-174
• 
  Tatsuyoshi Hamada, et al.:
  KNOPPIX/Math: a live system for enjoying mathematics with computer. 175-176
• 
  Zhonggang Zeng:
  ApaTools: a software toolbox for approximate polynomial algebra. 177-179
• 
  Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann:
  SINGULAR: a computer algebra system for polynomial computations. 180-181
• 
  Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan, Liyun Li, Yuzhen Xie:
  The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple. 182-184
• 
  Fritz Schwarz:
  ALLTYPES in the web. 185-187

Volume 42, Number 4, December 2008

A translation of a work by Emmanuel Sperner

• 
  Emanuel Sperner:
  On a combinatorial theorem of Macaulay and its applications to the theory of polynomial ideals. 192-201

Formally reviewed articles

• 
  Giuliano Casale:
  An application of exact linear algebra to capacity planning models. 202-205
• 
  David R. Stoutemyer:
  Multivariate partial fraction expansion. 206-210