scientific article; zbMATH DE number 621810
From MaRDI portal
Publication:4302494
zbMath0865.68064MaRDI QIDQ4302494
Evelyne Tournier, Y. Siret, James H. Davenport
Publication date: 21 August 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items
Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form, The nearest polynomial with a zero in a given domain, A Maple package to find first order differential invariants of 2ODEs via a Darboux approach, Exact computation of the medial axis of a polyhedron, A semi-algorithm to find elementary first order invariants of rational second order ordinary differential equations, Equality in computer algebra and beyond., An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point, An efficient method for computing Liouvillian first integrals of planar polynomial vector fields, Constructive algebra methods for the \(L_ 2\)-problem for stable linear systems, On degrees of modular common divisors and the big prime gcd algorithm, Parametric mixed-integer 0-1 linear programming: The general case for a single parameter, Efficient techniques for performing an irregular computation on distributed memory machines, A new symbolic computation for formal integration with exact power series, Construction of explicit Runge-Kutta pairs with stiffness detection, Detecting algebraic curves in bad position, Integrating first-order differential equations with Liouvillian solutions via quadratures: a semi-algorithmic method, Determining Liouvillian first integrals for dynamical systems in the plane, Multiplicative independence of algebraic numbers and expressions, Intersecting quadrics: an efficient and exact implementation, Certifying properties of an efficient functional program for computing Gröbner bases, Complexity of Integration, Special Values, and Recent Developments, A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy, Floating point Gröbner bases., Functional programming concepts and straight-line programs in computer algebra, Predicting zero coefficients in formal power series computations.
Uses Software
