Polynomial algorithms in computer algebra

DOI10.1007/978-3-7091-6571-3zbMath0853.12003MaRDI QIDQ1912495

Publication date: 12 May 1996

Published in: Texts \& Monographs in Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-7091-6571-3

zbMATH Keywords

complexity; linear systems; decomposition; Gröbner bases; computer algebra; factorization; polynomial algorithms; algebraic curve; Gosper's algorithm; solution of polynomial equations; Hankel systems; constructive algebraic geometry; algebraic curve parametrization; elementary theory of real closed fields; gcd computation; summation problems

Mathematics Subject Classification ID

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)

11Y16: Number-theoretic algorithms; complexity

14Q05: Computational aspects of algebraic curves

68R99: Discrete mathematics in relation to computer science

12-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to field theory

Related Items

Rational solutions of Riccati-like partial differential equations, On the minors of the implicitization Bézout matrix for a rational plane curve, Using polynomial interpolation for implicitizing algebraic curves, Tracing index of rational curve parametrizations, Rational hypersurfaces with rational convolutions, A complete algorithm for automated discovering of a class of inequality-type theorems, Good local behavior of offsets to rational regular algebraic surfaces, Detecting real singularities of a space curve from a real rational parametrization, Combining logical and algebraic techniques for natural style proving in elementary analysis, Real zeros of the zero-dimensional parametric piecewise algebraic variety, A complete discrimination system for polynomials with complex coefficients and its automatic generation, A logic and computer algebra-based expert system for diagnosis of anorexia, Subresultants revisited., On implicit systems of differential equations., An expert system for managing medical appropriateness criteria based on computer algebra techniques, Functional programming concepts and straight-line programs in computer algebra, Linear differential operators for polynomial equations, Normal parametrizations of algebraic plane curves, Computation of the degree of rational surface parametrizations, A new class of term orders for elimination, Computation of the topology of real algebraic space curves, A univariate resultant-based implicitization algorithm for surfaces, On the problem of proper reparametrization for rational curves and surfaces, Parametrization of approximate algebraic surfaces by lines, Parallel computation of determinants of matrices with polynomial entries, The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval, SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS, Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis, On a Gröbner bases structure associated to linear codes, A note on the rational parameterization of algebraic curves inMathematica ^®, Unnamed Item

Uses Software

AXIOM