Polynomial algorithms in computer algebra
From MaRDI portal
Publication:1912495
DOI10.1007/978-3-7091-6571-3zbMath0853.12003OpenAlexW4206293930MaRDI 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
complexitylinear systemsdecompositionGröbner basescomputer algebrafactorizationpolynomial algorithmsalgebraic curveGosper's algorithmsolution of polynomial equationsHankel systemsconstructive algebraic geometryalgebraic curve parametrizationelementary theory of real closed fieldsgcd computationsummation problems
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) Number-theoretic algorithms; complexity (11Y16) Computational aspects of algebraic curves (14Q05) Discrete mathematics in relation to computer science (68R99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to field theory (12-01)
Related Items
Computation of the degree of rational surface parametrizations, A heuristic and evolutionary algorithm to optimize the coefficients of curve parametrizations, Algebro-geometric analysis of bisectors of two algebraic plane curves, Gröbner basis computation of Drazin inverses with multivariate rational function entries, The algebro-geometric method: Solving algebraic differential equations by parametrizations, A logic and computer algebra-based expert system for diagnosis of anorexia, Parallel computation of determinants of matrices with polynomial entries, A complete algorithm for automated discovering of a class of inequality-type theorems, Numerical stability of Euclidean algorithm over ultrametric fields, Symbolic computation of the orthogonal projection of rational curves onto rational parameterized surfaces, The square-freeness of the offset equation to a rational planar curve, computed via resultants, Similarity detection of rational space curves, An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination, A regularization approach for estimating the type of a plane curve singularity, Characterization of relative Gröbner bases, High-Performance Ideal Lattice-Based Cryptography on 8-Bit ATxmega Microcontrollers, Parameterization of rational translational surfaces, Batched fully homomorphic encryption from TFHE, Subresultants revisited., Axioms for a theory of signature bases, Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces, Condition number based complexity estimate for solving polynomial systems, On the different shapes arising in a family of plane rational curves depending on a parameter, Approximate parametrization of plane algebraic curves by linear systems of curves, Topology of 2D and 3D rational curves, A polynomial model for logics with a prime power number of truth values, Detecting similarities of rational plane curves using complex differential invariants, On implicit systems of differential equations., An algorithm to parametrize approximately space curves, Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials, Computing the shapes arising in a family of space rational curves depending on one parameter, A partial solution to the problem of proper reparametrization for rational surfaces, Numerical proper reparametrization of parametric plane curves, Computing the form of highest degree of the implicit equation of a rational surface, On the generalized Ritt problem as a computational problem, The algebro-geometric method for solving algebraic differential equations -- a survey, A new class of term orders for elimination, Computation of the topology of real algebraic space curves, Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions, The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval, A univariate resultant-based implicitization algorithm for surfaces, A logic-algebraic tool for reasoning with knowledge-based systems, Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints, Characterization of rational ruled surfaces, Rational Hausdorff divisors: a new approach to the approximate parametrization of curves, On the shape of curves that are rational in polar coordinates, Behavior of the fiber and the base points of parametrizations under projections, Rational solutions of Riccati-like partial differential equations, On convolutions of algebraic curves, On the minors of the implicitization Bézout matrix for a rational plane curve, Congruent Number Theta Coefficients to 1012, Using polynomial interpolation for implicitizing algebraic curves, TOPOLOGY OF FAMILIES OF ALGEBRAIC CURVES CONTINUOUSLY DEPENDING ON A PARAMETER, AND APPLICATIONS, Checking existence of solutions of partial differential equations in the fields of Laurent series, A connection between birational automorphisms of the plane and linear systems of curves, An algebraic approach to rule based expert systems, SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS, Reparameterization of Curves and Surfaces with Respect to Their Convolution, On the problem of proper reparametrization for rational curves and surfaces, Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis, Implementing a computer algebra system in Haskell, An algebraic approach to lens distortion by line rectification, Tracing index of rational curve parametrizations, Good local behavior of offsets to rational regular algebraic surfaces, A FIRST APPROACH TOWARDS NORMAL PARAMETRIZATIONS OF ALGEBRAIC SURFACES, Rational hypersurfaces with rational convolutions, Symbolic computation of Drazin inverses by specializations, Detecting real singularities of a space curve from a real rational parametrization, The power series Dedekind-Mertens number, Dynamics of a Prey–Predator System with Foraging Facilitation in Predators, On a Gröbner bases structure associated to linear codes, A note on the rational parameterization of algebraic curves inMathematica ®, Combining logical and algebraic techniques for natural style proving in elementary analysis, Real zeros of the zero-dimensional parametric piecewise algebraic variety, On the computation of singularities of parametrized ruled surfaces, Local Bifurcations of the Enzyme-Catalyzed Reaction Comprising a Branched Network, Fields of algebraic numbers computable in polynomial time. I, Computing the singularities of rational surfaces, Parametrization of approximate algebraic surfaces by lines, A complete discrimination system for polynomials with complex coefficients and its automatic generation, Functional programming concepts and straight-line programs in computer algebra, On the base point locus of surface parametrizations: formulas and consequences, Linear differential operators for polynomial equations, Normal parametrizations of algebraic plane curves, An expert system for managing medical appropriateness criteria based on computer algebra techniques, Searching for applicable versions of computable structures
Uses Software
