Publication:4302494
From MaRDI portal
zbMath0865.68064MaRDI QIDQ4302494
James H. Davenport, Evelyne Tournier, Y. Siret
Publication date: 21 August 1994
68W30: Symbolic computation and algebraic computation
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
Related Items
Efficient techniques for performing an irregular computation on distributed memory machines, Detecting algebraic curves in bad position, Multiplicative independence of algebraic numbers and expressions, Integrating first-order differential equations with Liouvillian solutions via quadratures: a semi-algorithmic method, Constructive algebra methods for the \(L_ 2\)-problem for stable linear systems, A semi-algorithm to find elementary first order invariants of rational second order ordinary differential equations, Parametric mixed-integer 0-1 linear programming: The general case for a single parameter, Certifying properties of an efficient functional program for computing Gröbner bases, Equality in computer algebra and beyond., Floating point Gröbner bases., Predicting zero coefficients in formal power series computations., A new symbolic computation for formal integration with exact power series, Functional programming concepts and straight-line programs in computer algebra, The nearest polynomial with a zero in a given domain, Exact computation of the medial axis of a polyhedron, Construction of explicit Runge-Kutta pairs with stiffness detection, Intersecting quadrics: an efficient and exact implementation, A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Uses Software