ISSAC 2007:
Waterloo,
Ontario,
Canada
Dongming Wang (Ed.):
Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings.
ACM 2007, ISBN 978-1-59593-743-8 BibTeX
Contributed papers
- Moulay A. Barkatou, Eckhard Pflügel:
Computing super-irreducible forms of systems of linear differential equations via moser-reduction: a new approach.
1-8
Electronic Edition (ACM DL) BibTeX
- Dario Andrea Bini, Paola Boito:
Structured matrix-based methods for polynomial in-gcd: analysis and comparisons.
9-16
Electronic Edition (ACM DL) BibTeX
- Marco Bodrato, Alberto Zanoni:
Integer and polynomial multiplication: towards optimal toom-cook matrices.
17-24
Electronic Edition (ACM DL) BibTeX
- Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost:
Differential equations for algebraic functions.
25-32
Electronic Edition (ACM DL) BibTeX
- Alin Bostan, Claude-Pierre Jeannerod, Éric Schost:
Solving toeplitz- and vandermonde-like linear systems with large displacement rank.
33-40
Electronic Edition (ACM DL) BibTeX
- Murray R. Bremner, Michael J. Hancock, Yunfeng Piao:
Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: an application of computer algebra to nonassociative systems.
41-48
Electronic Edition (ACM DL) BibTeX
- Alain Bretto, Luc Gillibert:
G-graphs for the cage problem: a new upper bound.
49-53
Electronic Edition (ACM DL) BibTeX
- Christopher W. Brown, James H. Davenport:
The complexity of quantifier elimination and cylindrical algebraic decomposition.
54-60
Electronic Edition (ACM DL) BibTeX
- Peter Bürgisser, Peter Scheiblechner:
Differential forms in computational algebraic geometry.
61-68
Electronic Edition (ACM DL) BibTeX
- Laurent Busé, Marc Dohm:
Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies.
69-76
Electronic Edition (ACM DL) BibTeX
- Jacques Carette:
A canonical form for piecewise defined functions.
77-84
Electronic Edition (ACM DL) BibTeX
- Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Paul Zimmermann, Eugene V. Zima:
Time-and space-efficient evaluation of some hypergeometric constants.
85-91
Electronic Edition (ACM DL) BibTeX
- Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap:
Complete numerical isolation of real zeros in zero-dimensional triangular systems.
92-99
Electronic Edition (ACM DL) BibTeX
- Serena Cicalò, Willem A. de Graaf:
Non-associative gröbner bases, finitely-presented lie rings and the engel condition.
100-107
Electronic Edition (ACM DL) BibTeX
- Robert M. Corless, Dawit Assefa:
Jeffery-hamel flow with maple: : a case study of integration of elliptic functions in a cas.
108-115
Electronic Edition (ACM DL) BibTeX
- Robert M. Corless, Hui Ding, David J. Jeffrey:
The solution of s exp(s) = a is not always the lambert w function of a.
116-121
Electronic Edition (ACM DL) BibTeX
- Elena S. Dimitrova, Abdul Salam Jarrah, Reinhard C. Laubenbacher, Brandilyn Stigler:
A Gröbner fan method for biochemical network modeling.
122-126
Electronic Edition (ACM DL) BibTeX
- Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P. Tsigaridas:
On the complexity of real solving bivariate systems.
127-134
Electronic Edition (ACM DL) BibTeX
- Raouf Dridi, Michel Petitot:
Towards a new ode solver based on cartan's equivalence method.
135-142
Electronic Edition (ACM DL) BibTeX
- Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard:
Faster inversion and other black box matrix computations using efficient block projections.
143-150
Electronic Edition (ACM DL) BibTeX
- Arno Eigenwillig, Michael Kerber, Nicola Wolpert:
Fast and exact geometric analysis of real algebraic plane curves.
151-158
Electronic Edition (ACM DL) BibTeX
- Mohamed Elkadi, André Galligo:
Systems of three polynomials with two separated variables.
159-166
Electronic Edition (ACM DL) BibTeX
- Pierrick Gaudry, Alexander Kruppa, Paul Zimmermann:
A gmp-based implementation of schönhage-strassen's large integer multiplication algorithm.
167-174
Electronic Edition (ACM DL) BibTeX
- Luca Gemignani:
Structured matrix methods for polynomial root-finding.
175-180
Electronic Edition (ACM DL) BibTeX
- Timo Hanke:
The isomorphism problem for cyclic algebras and an application.
181-186
Electronic Edition (ACM DL) BibTeX
- Seyed Mohammad Mahdi Javadi, Michael B. Monagan:
A sparse modular GCD algorithm for polynomials over algebraic function fields.
187-194
Electronic Edition (ACM DL) BibTeX
- Jeremy Johnson, Xu Xu:
Generating symmetric DFTs and equivariant FFT algorithms.
195-202
Electronic Edition (ACM DL) BibTeX
- Erich Kaltofen, Zhengfeng Yang:
On exact and approximate interpolation of sparse rational functions.
203-210
Electronic Edition (ACM DL) BibTeX
- Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara:
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization.
211-218
Electronic Edition (ACM DL) BibTeX
- Manuel Kauers, Carsten Schneider:
Symbolic summation with radical expressions.
219-226
Electronic Edition (ACM DL) BibTeX
- Pramook Khungurn, Hiroshi Sekigawa, Kiyoshi Shirayanagi:
Minimum converging precision of the QR-factorization algorithm for real polynomial GCD.
227-234
Electronic Edition (ACM DL) BibTeX
- Daniel Kunkle, Gene Cooperman:
Twenty-six moves suffice for Rubik's cube.
235-242
Electronic Edition (ACM DL) BibTeX
- Yosuke Kurata, Masayuki Noro:
Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation.
243-250
Electronic Edition (ACM DL) BibTeX
- Alexander B. Levin:
Gröbner bases with respect to several term orderings and multivariate dimension polynomials.
251-260
Electronic Edition (ACM DL) BibTeX
- Hongbo Li:
A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization.
261-268
Electronic Edition (ACM DL) BibTeX
- Xin Li, Marc Moreno Maza, Éric Schost:
Fast arithmetic for triangular sets: from theory to practice.
269-276
Electronic Edition (ACM DL) BibTeX
- John P. May, B. David Saunders, Zhendong Wan:
Efficient matrix rank computation with application to the study of strongly regular graphs.
277-284
Electronic Edition (ACM DL) BibTeX
- P. Mihailescu, François Morain, Éric Schost:
Computing the eigenvalue in the Schoof-Elkies-Atkin algorithm using Abelian lifts.
285-292
Electronic Edition (ACM DL) BibTeX
- Izumi Miyamoto:
A computation of some multiply homogeneous superschemes from transitive permutation groups.
293-298
Electronic Edition (ACM DL) BibTeX
- Katsusuke Nabeshima:
A speed-up of the algorithm for computing comprehensive Gröbner systems.
299-306
Electronic Edition (ACM DL) BibTeX
- Clément Pernet, Arne Storjohann:
Faster algorithms for the characteristic polynomial.
307-314
Electronic Edition (ACM DL) BibTeX
- Eric Robinson, Jürgen Müller, Gene Cooperman:
A disk-based parallel implementation for direct condensation of large permutation modules.
315-322
Electronic Edition (ACM DL) BibTeX
- James Ruffo:
A straightening law for the Drinfel'd Lagrangian Grassmannian.
323-330
Electronic Edition (ACM DL) BibTeX
- Hiroshi Sekigawa:
On real factors of real interval polynomials.
331-338
Electronic Edition (ACM DL) BibTeX
- Vikram Sharma:
Complexity of real root isolation using continued fractions.
339-346
Electronic Edition (ACM DL) BibTeX
- Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi:
Algorithmic differentiation in Axiom.
347-354
Electronic Edition (ACM DL) BibTeX
- Mark van Hoeij:
Solving third order linear differential equations in terms of second order equations.
355-360
Electronic Edition (ACM DL) BibTeX
- Gilles Villard:
Certification of the QR factor R and of lattice basis reducedness.
361-368
Electronic Edition (ACM DL) BibTeX
- Joachim von zur Gathen:
Counting reducible and singular bivariate polynomials.
369-376
Electronic Edition (ACM DL) BibTeX
- Wenyuan Wu, Greg Reid:
Symbolic-numeric computation of implicit riquier bases for PDE.
377-386
Electronic Edition (ACM DL) BibTeX
Tutorials
Copyright © Wed Jun 4 18:45:13 2008
by Michael Ley (ley@uni-trier.de)
