zbMATH — the first resource for mathematics

Proceedings of the 1998 international symposium on symbolic and algebraic computation, ISSAC ’98, Rostock, Germany, August 13–15, 1998. (English) Zbl 0903.00083
New York, NY: ACM Press. xxii, 327 p. (1998).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding symposium (1997) has been announced (see Zbl 0903.00074).
Indexed articles:
Sasaki, Tateaki; Yamaguchi, Satoshi, An analysis of cancellation error in multivariate Hensel construction with floating-point number arithmetic, 1-8 [Zbl 0922.12009]
Stetter, Hans J.; Thallinger, Günther H., Singular systems of polynomials, 9-16 [Zbl 0924.65042]
Grigoriev, D.; Slissenko, A., Polytime algorithm for the shortest path in a homotopy class amidst semi-algebraic obstacles in the plane, 17-24 [Zbl 0961.14039]
Basu, Saugata; Pollack, Richard; Roy, Marie-Françoise, Complexity of computing semi-algebraic descriptions of the connected components of a semialgebraic set, 25-29 [Zbl 0960.14033]
Díaz, Angel; Kaltofen, Erich, FOXBOX: A system for manipulating symbolic objects in black box representation, 30-37 [Zbl 0918.68049]
Breuer, Thomas; Linton, Steve, The GAP 4 type system organising algebraic algorithms, 38-45 [Zbl 0918.68050]
Lakshman, Y. N.; Char, Bruce; Johnson, Jeremy, Software components using symbolic computation for problem solving environments, 46-53 [Zbl 0918.68051]
Dooley, Samuel S., Coordinating mathematical content and presentation markup in interactive mathematical documents, 54-61 [Zbl 0918.68159]
Iglio, Pietro; Attardi, Giuseppe, Software components for computer algebra, 62-69 [Zbl 0918.68052]
Poloskov, Igor E., Compound program packages and a nonlinear random fluctuations analysis, 70-75 [Zbl 0917.65128]
Vakhidov, Akmal A.; Tupikova, Irina V., Application of computer algebra methods to the construction of an asteroid motion theory based on Lie transforms, 76-79 [Zbl 0939.70003]
Dunstan, Martin; Kelsey, Tom; Linton, Steve; Martin, Ursula, Lightweight formal methods for computer algebra systems, 80-87 [Zbl 0918.68053]
Dolzmann, Andreas; Gloor, Oliver; Sturm, Thomas, Approaches to parallel quantifier elimination, 88-95 [Zbl 0918.68054]
Bernardin, Laurent, On bivariate Hensel lifting and its parallelization, 96-100 [Zbl 0918.11063]
Storjohann, Arne, An \(O(n^3)\) algorithm for the Frobenius normal form, 101-104 [Zbl 0918.65031]
Mulders, Thom; Storjohann, Arne, The modulo \(N\) extended GCD problem for polynomials, 105-112 [Zbl 0919.65007]
Giesbrecht, M.; Lobo, A.; Saunders, B. D., Certifying inconsistency of sparse linear systems, 113-119 [Zbl 0919.65017]
van Hoeij, Mark, Rational solutions of linear difference equations, 120-123 [Zbl 0919.65088]
Abramov, S. A.; Barkatou, M. A., Rational solutions of first order linear difference systems, 124-131 [Zbl 0919.65089]
Li, Ziming, A subresultant theory for Ore polynomials with applications, 132-139 [Zbl 0922.16015]
Nordbeck, Patrik, Canonical subalgebra bases in non-commutative polynomial rings, 140-146 [Zbl 0927.16045]
Caboara, Massimo; Traverso, Carlo, Efficient algorithms for ideal operations. (Extended abstract), 147-152 [Zbl 0934.68132]
Müller-Quade, Jörn; Rötteler, Martin, Deciding linear disjointness of finitely generated fields, 153-160 [Zbl 0919.12008]
Nörenberg, R., Covering monomial algebras, 161-164 [Zbl 0957.16034]
Sims, Charles C., Fast multiplication and growth in groups, 165-170 [Zbl 0922.20037]
Reinert, Birgit; Madlener, Klaus; Mora, Teo, A note on Nielsen reduction and coset enumeration, 171-178 [Zbl 0922.20041]
Müller, Jürgen, The \(5\)-modular decomposition matrix of the sporadic simple Conway group \(Co_3\), 179-185 [Zbl 0921.20012]
Egner, Sebastian; Püschel, Markus, Solving puzzles related to permutation groups, 186-193 [Zbl 0926.20002]
Hulpke, Alexander, Computing normal subgroups, 194-198 [Zbl 0943.20005]
Kislenkov, V.; Mitrofanov, V.; Zima, E., Multidimensional chains of recurrences, 199-206 [Zbl 0919.65090]
Popova, E. D.; Ullrich, C. P., Simplification of symbolic-numerical interval expressions, 207-214 [Zbl 0916.65043]
Maignan, Aude, Solving one and two-dimensional exponential polynomial systems, 215-221 [Zbl 0924.65044]
Beringer, Frédéric; Jung, Françoise, Solving “generalized algebraic equations”, 222-227 [Zbl 0922.65040]
Chin, Paulina; Corless, Robert M.; Corliss, George F., Optimization strategies for the approximate GCD problem, 228-235 [Zbl 0922.65011]
Hitz, Markus A.; Kaltofen, Erich, Efficient algorithms for computing the nearest polynomial with constrained roots, 236-243 [Zbl 0917.65045]
Wallack, Aaron; Emiris, Ioannis Z.; Manocha, Dinesh, MARS: A MAPLE/MATLAB/C resultant-based solver, 244-251 [Zbl 0924.65045]
Bondyfalat, Didier; Mourrain, Bernard; Pan, Victor Y., Controlled iterative methods for solving polynomial systems, 252-259 [Zbl 0924.65043]
Kirrinnis, Peter, Fast numerical improvement of factors of polynomials and of partial fractions, 260-267 [Zbl 0922.65039]
Barkatou, M. A.; Pflügel, E., On the equivalence problem of linear differential systems and its application for factoring completely reducible systems, 268-275 [Zbl 0928.65082]
Hoang Ngoc Minh; Petitot, Michel; Van der Hoeven, Joris, Computation of the monodromy of generalized polylogarithms, 276-283 [Zbl 0920.11084]
Gerhard, Jürgen, High degree solutions of low degree equations. (Extended abstract), 284-289 [Zbl 0918.65014]
Jeffrey, D. J.; Rich, A. D., Recursive integration of piecewise-continuous functions, 290-294 [Zbl 0920.65008]
Brown, Christopher W., Simplification of truth-invariant cylindrical algebraic decompositions, 295-301 [Zbl 0918.68058]
Schicho, Josef, Rational parameterization of real algebraic surfaces, 302-308 [Zbl 0939.14034]
Bachmann, Olaf; Schönemann, Hans, Monomial representations of Gröbner bases computations, 309-316 [Zbl 0924.68104]
Sato, Yosuke, A new type of canonical Gröbner bases in polynomial rings over von Neumann regular rings, 317-321 [Zbl 0932.13020]
Reviewer: Reviewer (Berlin)

00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68W30 Symbolic computation and algebraic computation
11Yxx Computational number theory
12Y05 Computational aspects of field theory and polynomials (MSC2010)
65Y10 Numerical algorithms for specific classes of architectures
FOXBOX; GAP; Maple; MARS; Matlab