Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding symposium (1992) has been reviewed (see Zbl 0905.00076).
Indexed articles:
Zharkov, Alexey, On algebraic solutions of first order Riccati equation, 1-3 [Zbl 0964.12500]
van der Put, Marius; Hendriks, Peter A., A rationality result for Kovacic’s algorithm, 4-8 [Zbl 1058.12501]
Ganzha, V. G.; Vorozhtsov, E. V., A probabilistic symbolic-numerical method for the stability analyses of difference schemes for PDEs, 9-13 [Zbl 0920.65055]
Edneral, Victor F., Computer generation of normalizing transformation for systems of nonlinear ODE, 14-19 [Zbl 0945.68542]
Abramov, S. A., On d’Alembert substitution, 20-26 [Zbl 0921.34011]
Petkovšek, Marko; Salvy, Bruno, Finding all hypergeometric solutions of linear differential equations, 27-33 [Zbl 0923.34010]
Jeffrey, D. J., Integration to obtain expressions valid on domains of maximum extent, 34-41 [Zbl 0922.65014]
Zima, E. V., Numeric code optimization in computer algebra systems and recurrent relations technique, 42-46 [Zbl 0925.68248]
Collins, George E.; Krandick, Werner, A hybrid method for high precision calculation of polynomial real roots, 47-52 [Zbl 0920.65032]
Klimov, D. M.; Rudenko, V. M.; Leonov, V. V., Symbolic evaluation in the nonlinear mechanical systems, 53-54 [Zbl 0925.70324]
Godlevsky, A. B.; Doroshenko, A. E., Parallelizing programs with APS, 55-62 [Zbl 0925.68205]
Gutnik, S. A., Application of computer algebra to investigation of the relative equilibria of a satellite, 63-64 [Zbl 0925.70318]
Shevchenko, Ivan I.; Sokolsky, Andrej G., Studies of regular precessions of a symmetric satellite by means of computer algebra, 65-67 [Zbl 0925.70323]
Monagan, Michael B.; Neuenschwander, Walter M., GRADIENT: Algorithmic differentiation in Maple, 68-76 [Zbl 0925.68239]
Santas, Philip S., A type system for computer algebra. (Abstract), 77 [Zbl 0925.68230]
Wu, Jinzhao; Li, Lian, The regular problem and Green equivalences for special monoids, 78-85 [Zbl 0927.68045]
Babai, László; Friedl, Katalin; Stricker, Markus, Decomposition of *-closed algebras in polynomial time, 86-94 [Zbl 0927.68121]
Wu, Hongzhong, On the assignment complexity of uniform trees, 95-104 [Zbl 0977.94512]
Cantone, Domenico; Cutello, Vincenzo, Decision procedures for stratified set-theoretic syllogistics. (Extended abstract), 105-110 [Zbl 0921.03007]
Jebelean, T., A generalization of the binary GCD algorithm, 111-116 [Zbl 0921.11074]
Babai, László; Beals, Robert; Rockmore, Daniel, Deciding finiteness of matrix groups in deterministic polynomial time, 117-126 [Zbl 0925.20001]
Beals, Robert, An elementary algorithm for computing the composition factors of a permutation group, 127-134 [Zbl 0925.20005]
Roy, Marie-Françoise; Van Effelterre, T., Aspect graphs of algebraic surfaces, 135-143 [Zbl 0927.68105]
Richardson, Daniel, A zero structure theorem for exponential polynomials, 144-151 [Zbl 0964.65514]
Abramov, S. A.; Kvashenko, K. Yu., On the greatest common divisor of polynomials which depend on a parameter, 152-156 [Zbl 0925.13009]
Bronstein, Manuel; Salvy, Bruno, Full partial fraction decomposition of rational functions, 157-160 [Zbl 0920.12006]
Kalkbrener, Michael, An upper bound on the number of monomials in the Sylvester resultant, 161-163 [Zbl 0922.13004]
Volcheck, Emil J., Noether’s \(S\)-transformation simplifies curve singularities rationally: A local analysis, 164-172 [Zbl 0923.14015]
Mourrain, B., The 40 “generic” positions of a parallel robot, 173-182 [Zbl 0925.70047]
Emiris, Ioannis; Canny, John, A practical method for the sparse resultant, 183-192 [Zbl 0924.65046]
Bini, Dario; Pan, Victor, Parallel computations with Toeplitz-like and Hankel-like matrices, 193-200 [Zbl 0920.65011]
Sendra, Juan R.; Llovet, Juan, Efficient algorithms for Hankel matrices over \(Z[x_1,\dots,x_r]\), 201-208 [Zbl 0920.65028]
Villard, Gilles, Computation of the Smith normal form of polynomial matrices, 209-217 [Zbl 0964.65507]
Yokoyama, Kazuhiro; Takeshima, Taku, On Hensel construction of eigenvalues and eigenvectors of matrices with polynomial entries, 218-224 [Zbl 0920.65021]
Vallier, L., An algorithm for the computation of normal forms and invariant manifolds, 225-233 [Zbl 0968.65520]
Shackell, John, Nested expansions and Hardy fields, 234-238 [Zbl 0919.41016]
Gruntz, Dominik, A new algorithm for computing asymptotic series, 239-244 [Zbl 0964.68576]
Weispfenning, Volker, Differential term-orders, 245-253 [Zbl 0925.13015]
Madlener, Klaus; Reinert, Birgit, Computing Gröbner bases in monoid and group rings, 254-263 [Zbl 0925.16015]
Hong, Hoon, Quantifier elimination for formulas constrained by quadratic equations, 264-274 [Zbl 0964.68596]
Caboara, Massimo, A dynamic algorithm for Gröbner basis computation, 275-283 [Zbl 0922.13021]
Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong, Automated geometry theorem proving by vector calculation, 284-291 [Zbl 0968.03520]
Lin, Dongdai; Liu, Zhuojun, Some results on theorem proving in geometry over finite fields, 292-300 [Zbl 0922.03017]
Stifter, Sabine, Geometry theorem proving in vector spaces by means of Gröbner bases, 301-310 [Zbl 0964.68538]
Keady, G.; Richardson, M. G., An application of IRENA to systems of nonlinear equations arising in equilibrium flows in networks, 311-320 [Zbl 0925.68233]