ISSAC 2008:
Linz/Hagenberg,
Austria
J. Rafael Sendra, Laureano González-Vega (Eds.):
Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings.
ACM 2008, ISBN 978-1-59593-904-3 BibTeX
Contributed papers
- Felix Antritter, Jean Lévine:
Towards a computer algebraic algorithm for flat output determination.
7-14
Electronic Edition (ACM DL) BibTeX
- Moulay A. Barkatou, Gary Broughton, Eckhard Pflügel:
Regular systems of linear functional equations and applications.
15-22
Electronic Edition (ACM DL) BibTeX
- Alin Bostan, Frédéric Chyzak, Nicolas Le Roux:
Products of ordinary differential operators by evaluation and interpolation.
23-30
Electronic Edition (ACM DL) BibTeX
- Xuhui Wang, Falai Chen, Jiansong Deng:
Implicitization and parametrization of quadratic surfaces with one simple base point.
31-38
Electronic Edition (ACM DL) BibTeX
- Ruben Debeerst, Mark van Hoeij, Wolfram Koepf:
Solving differential equations in terms of bessel functions.
39-46
Electronic Edition (ACM DL) BibTeX
- Daouda Niang Diatta, Bernard Mourrain, Olivier Ruatta:
On the computation of the topology of a non-reduced implicit space curve.
47-54
Electronic Edition (ACM DL) BibTeX
- Michael Brickenstein, Alexander Dreyer:
Gröbner-free normal forms for boolean polynomials.
55-62
Electronic Edition (ACM DL) BibTeX
- Jean-Guillaume Dumas:
Q-adic transform revisited.
63-70
Electronic Edition (ACM DL) BibTeX
- Mohab Safey El Din:
Computing the global optimum of a multivariate polynomial over the reals.
71-78
Electronic Edition (ACM DL) BibTeX
- Jean-Charles Faugère, Guillaume Moroz, Fabrice Rouillier, Mohab Safey El Din:
Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities.
79-86
Electronic Edition (ACM DL) BibTeX
- Michael Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap:
Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves.
87-94
Electronic Edition (ACM DL) BibTeX
- Vladimir P. Gerdt, Mikhail V. Zinin:
A pommaret division algorithm for computing Grobner bases in boolean rings.
95-102
Electronic Edition (ACM DL) BibTeX
- Mark Giesbrecht, Daniel S. Roche:
On lacunary polynomial perfect powers.
103-110
Electronic Edition (ACM DL) BibTeX
- Didier Henrion, Michael Sebek:
Plane geometry and convexity of polynomial stability regions.
111-116
Electronic Edition (ACM DL) BibTeX
- Matthias Aschenbrenner, Christopher J. Hillar:
An algorithm for finding symmetric Grobner bases in infinite dimensional rings.
117-124
Electronic Edition (ACM DL) BibTeX
- Itnuit Janovitz-Freireich, Ágnes Szántó, Bernard Mourrain, Lajos Rónyai:
Moment matrices, trace matrices and the radical of ideals.
125-132
Electronic Edition (ACM DL) BibTeX
- Manuel Kauers:
Integration of algebraic functions: a simple heuristic for finding the logarithmic part.
133-140
Electronic Edition (ACM DL) BibTeX
- Erich Kaltofen, Pascal Koiran:
Expressing a fraction of two determinants as a determinant.
141-146
Electronic Edition (ACM DL) BibTeX
- Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara:
Symbolic optimization of algebraic functions.
147-154
Electronic Edition (ACM DL) BibTeX
- Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi:
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars.
155-164
Electronic Edition (ACM DL) BibTeX
- Anton Leykin:
Numerical primary decomposition.
165-172
Electronic Edition (ACM DL) BibTeX
- Viktor Levandovskyy, Jorge Martín-Morales:
Computational D-module theory with singular, comparison with other systems and two new algorithms.
173-180
Electronic Edition (ACM DL) BibTeX
- Hongbo Li, Lei Huang:
Complex brackets, balanced complex differences, and applications in symbolic geometric computing.
181-188
Electronic Edition (ACM DL) BibTeX
- Songxin Liang, David J. Jeffrey, Marc Moreno Maza:
The complete root classification of a parametric polynomial on an interval.
189-196
Electronic Edition (ACM DL) BibTeX
- Jesús A. De Loera, J. Lee, P. N. Malkin, S. Margulies:
Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility.
197-206
Electronic Edition (ACM DL) BibTeX
- François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
When does (T) equal sat(T)?
207-214
Electronic Edition (ACM DL) BibTeX
- Melanie Achatz, Scott McCallum, Volker Weispfenning:
Deciding polynomial-exponential problems.
215-222
Electronic Edition (ACM DL) BibTeX
- Martin Peternell, Boris Odehnal:
On generalized ln-surfaces in 4-space.
223-230
Electronic Edition (ACM DL) BibTeX
- Eckhard Pflügel:
A rational decomposition-lemma for systems of linear differential-algebraic equations.
231-238
Electronic Edition (ACM DL) BibTeX
- Adrien Poteaux, Marc Rybowicz:
Good reduction of puiseux series and complexity of the Newton-Puiseux algorithm over finite fields.
239-246
Electronic Edition (ACM DL) BibTeX
- Guénaël Renault, Kazuhiro Yokoyama:
Multi-modular algorithm for computing the splitting field of a polynomial.
247-254
Electronic Edition (ACM DL) BibTeX
- Zhibek Kadyrsizova, Valery G. Romanovski:
Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities.
255-260
Electronic Edition (ACM DL) BibTeX
- Markus Rosenkranz, Georg Regensburger:
Integro-differential polynomials and operators.
261-268
Electronic Edition (ACM DL) BibTeX
- Alin Bostan, Bruno Salvy, Éric Schost:
Power series composition and change of basis.
269-276
Electronic Edition (ACM DL) BibTeX
- Dima Grigoriev, Fritz Schwarz:
Loewy decomposition of third-order linear aPDE's in the plane.
277-286
Electronic Edition (ACM DL) BibTeX
- Hiroshi Sekigawa:
The nearest polynomial with a zero in a given domain from a geometrical viewpoint.
287-294
Electronic Edition (ACM DL) BibTeX
- Ekaterina Shemyakova, Elizabeth L. Mansfield:
Moving frames for laplace invariants.
295-302
Electronic Edition (ACM DL) BibTeX
- Adam W. Strzebonski:
Real root isolation for exp-log functions.
303-314
Electronic Edition (ACM DL) BibTeX
- Massimo Caboara, Fabrizio Caruso, Carlo Traverso:
Gröbner bases for public key cryptography.
315-324
Electronic Edition (ACM DL) BibTeX
- Xiaoli Wu, Lihong Zhi:
Computing the multiplicity structure from geometric involutive form.
325-332
Electronic Edition (ACM DL) BibTeX
Tutorials
Copyright © Sat May 16 23:26:22 2009
by Michael Ley (ley@uni-trier.de)
