scientific article
From MaRDI portal
Publication:2716051
zbMath0987.68074MaRDI QIDQ2716051
Publication date: 30 May 2001
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) Computer science aspects of computer-aided design (68U07) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Computational aspects of algebraic curves (14Q05) Elementary problems in Euclidean geometries (51M04) Artificial intelligence for robotics (68T40) History of Chinese mathematics (01A25) Error analysis and interval analysis (65G99)
Related Items (49)
Computer aided solving the high-order transition probability matrix of the finite Markov chain ⋮ A mechanical algorithm for solving ordinary differential equation ⋮ A new mechanical algorithm for solving the second kind of Fredholm integral equation ⋮ Computing \(\mu\)-bases from algebraic ruled surfaces ⋮ On the probability of the number of solutions for the P4P problem ⋮ Certified numerical real root isolation for bivariate nonlinear systems ⋮ Generalizing Morley's and other theorems with automated realization ⋮ Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods ⋮ Stability analysis for Lotka-Volterra systems based on an algorithm of real root isolation ⋮ Automated discovery of geometric theorems based on vector equations ⋮ Automated derivation of the conservation laws for nonlinear differential-difference equations ⋮ The invertibility of rational univariate representations ⋮ Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems ⋮ Equality-constrained minimization of polynomial functions ⋮ An improved algorithm for deciding semi-definite polynomials ⋮ Self-evident automated geometric theorem proving based on complex number identity ⋮ Algorithms for computing the global infimum and minimum of a polynomial function ⋮ Application of Sturm theorem in the global controllability of a class of high dimensional polynomial systems ⋮ Algorithmic Thomas decomposition of algebraic and differential systems ⋮ An algorithm for solving partial differential parametric systems. ⋮ Global minimization of multivariate polynomials using nonstandard methods ⋮ Determination of the limits for multivariate rational functions ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. ⋮ Characteristic decomposition: from regular sets to normal sets ⋮ Self-evident automated proving based on point geometry from the perspective of Wu's method identity ⋮ Analysis of Snapback Repellers Using Methods of Symbolic Computation ⋮ Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods ⋮ Finding Fuzzy Inverse Matrix Using Wu’s Method ⋮ A test for monomial containment ⋮ Algebraic analysis of stability and bifurcation of a self-assembling micelle system ⋮ On \(n\)-sectors of the angles of an arbitrary triangle ⋮ Involutive characteristic sets of algebraic partial differential equation systems ⋮ Solving the equality-constrained minimization problem of polynomial functions ⋮ Mechanical algorithm for solving the second kind of Volterra integral equation ⋮ Thomas Decomposition of Algebraic and Differential Systems ⋮ An algorithmic method for showing existence of nontrivial non-classical symmetries of partial differential equations without solving determining equations ⋮ Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems ⋮ The number of independent Kruppa constraints from \(N\) images ⋮ Decomposition of polynomial sets into characteristic pairs ⋮ Semi-algebraically connected components of minimum points of a polynomial function ⋮ Complete numerical isolation of real roots in zero-dimensional triangular systems ⋮ Differential characteristic set algorithm for the complete symmetry classification of partial differential equations ⋮ Symbolic computation for the qualitative theory of differential equations ⋮ A potential constraints method of finding nonclassical symmetry of PDEs based on Wu's method ⋮ Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form ⋮ Applications of differential form Wu's method to determine symmetries of (partial) differential equations ⋮ Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems ⋮ Determination and (re)parametrization of rational developable surfaces
Uses Software
This page was built for publication:
