Number 2, June 1997.
Announcements - Literature
Proceedings of the 1993 IMACS - Symbolic Computation Conference
The proceedings of this conference, held in Lille (France),
are published in
Volume 42, Issue 4-6, November 1996 of
Mathematics and Computers in Simulation.
Contents
- Computer algebra and solving polynomials.
- Gerdt V.
- Involution approach to investigating polynomial systems.
- Zharkov A.Yu. and Blinkov Yu.A.
- Parametrized solutions of algebraic equations.
- Winkler F.
- Solving polynomial equations: Characteristic sets and triangular systems.
- Dongming W.
- Parametrization of semialgebraic sets.
- Gonzalez-Lopez M.J., Recio T. and Santos F.
- Sketches and computations over fields.
- Duval D., Reynaud J.
- Examples of using dynamic constructible closure.
- Gomez-Diaz T.
- Computer algebra and differential equations.
- MacCallum M.A.H.
- On the factorisation of linear ordinary differential operators.
- Bronstein M.
- Approaches to solving nonlinear ODEs.
- Wolf T. and Brand A.
- Homogeneity of integrability conditions for multi-parametric families of polynomial-non-linear evolution equations.
- Gerdt V.P.
- An algorithm of multisummation of formal power series, solutions of linear ODE equations.
- Jung F., Naegele F. and Thomann J.
- Elimination and complexity.
- Giusti M.
- Complexity bounds in elimination theory - A survey.
- Solerno P.
- An optimization of Seidenberg's elimination algorithm in differential algebra.
- Boulier F.
- Multidimensional residues and complexity problems.
- Berenstein C.A. and Yger A.
- Geometry and algebraic topology.
- Sergeraert F.
- An algorithm computing homotopy groups.
- Real P.
- Integrating functional programming and symbolic computation.
- Garcia J.J.R.
- On computer-assisted research in homological algebra.
- Roos J.
- Theory and practice of algebraic algorithms.
- Trevisan V.
- Advancing the study of differential equations with technology.
- Abell M.L. and Braselton J.P.
- Floating point Grobner bases.
- Shirayanagi K.
- Algebraic computation in geometry.
- Winkler F.
- Real algebraic numbers.
- Recio T.
- Generic computation of the real closure of an ordered field.
- Ligatsikas Z., Rioboo R. and Roy M.F.
- Dynamic evaluation and real closure.
- Duval D. and Gonzalez-Vega L.
- Radical computations of zero-dimensional ideals and real root counting.
- Becker E. and Wormann T.
- An efficient method for analyzing the topology of plane real algebraic curves.
- Hoon H.
- Symbolic devices and numerical solving of PDEs.
- Ganzha V.
- Various proofs of Sylvester's (determinant) identity.
- Akritas A.G., Akritas E.K. and Malaschonok G.I.
- A proof of convergence for the combination technique for the Laplace equation using tools of symbolic computation.
-
Bungartz H., Griebel M., Roschke D. and Zenger C.
- Symbolic-numerical computation of the stability regions for Jameson's schemes.
- Ganzha V.G. and Vorozhtsov E.V.
- Symbolic semi-discretization of partial differential equation systems.
- Pfeiffer B.-M. and Marquardt W.
- Stability analysis by quantifier elimination.
- Steinberg S. and Liska R.
- Introduction Dynamical systems.
- Jacob G.
- Iterated derivatives of the output of a nonlinear dynamic system and Faa di Bruno formula.
- Hespel C.
- Symbolic differentiation library for simulation of multibody rigid systems.
- Villard D. and Arnaldi B.
- Algorithms for symbolic reduction of signal flow graphs.
- Szymkat M.
- A variant for numerical simulation of a high-frequency converter with voltage-fed inverter.
- Chindris M. and Colosi T.
- Motion planning problem: Parametrized inputs and drift problem.
- Guyon C.
- Summations of polylogarithms via evaluation transform.
- Hoang N.M.
- The impact of computer algebra on the use and understanding of fundamental interactions.
- Caprasse H.
- Evaluation of Ashtekar variables using stensor.
- Daftardar-Gejji V.
- Algebraic computing in torsion theories of gravitation.
- Fonseca-Neto J.B., Reboucas M.J. and MacCallum M.A.H.
- Graphs and curves drawing.
- Jacob G.
- Recursive calculation of the derivatives of rational curves in (BR) form.
- Fiorot J.C., Jeannin P. and Sucher B.
- Cabri-graph, a sketchpad for graph theory.
- Baudon O. and Laborde J.M.
Contents