位置：成果数据库 > 期刊 > 期刊详情页
A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity
  • ISSN号：1009-6124
  • 期刊名称：《系统科学与复杂性学报：英文版》
  • 时间：0
  • 分类：N[自然科学总论]
  • 作者机构：Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China
  • 相关基金：This research was supported by the National Natural Science Foundation of China under Grant No. 60821002 and the National Key Basic Research Project of China.
作者： ZHU Wei, GAO Xiao-Shan
关键词： 微分多项式系统, 常规三角形的集合, 浸透的三角形的集合, 三角形的分解, Differential polynomial system, regular triangular set, saturated triangular set, triangular decomposition.
中文摘要：

在这份报纸，一个新三角形的分解算法为平常的微分多项式系统被建议，它有三倍的指数的计算复杂性。钥匙想法到在一个从一套多项式消除一个代数学的变量用 multivariate 的理论的步结果。这似乎是有基本计算复杂性的第一个微分三角形的分解算法。

英文摘要：

In this paper, a new triangular decomposition algorithm is proposed for ordinary differ- ential polynomial systems, which has triple exponential computational complexity. The key idea is to eliminate one algebraic variable from a set of polynomials in one step using the theory of multivariate resultant. This seems to be the first differential triangular decomposition algorithm with elementary computation complexity.

同期刊论文项目
数学机械化方法及其在信息技术中的应用
期刊论文 56 会议论文 22 获奖 17 专利 3
同项目期刊论文
Liouvillian Solutions of Linear Difference- Differential Equations
Visually Dynamic Presentation of Proofs in Plane Geometry，Part 1. Basic Features and the Manual Inpu
Three-dimensional rogue waves in nonstationary parabolic potentials
Computing rational points in convex semi-algebraic sets and SOS decompositions
Strict Optimal Rational Approximants of Multisequences
Frobenius morphism and semi-stable bundles
Dynamics of inhomogeneous condensates in contact with a surface
Exact analytical solutions for the generalized non-integrable nonlinear Schrödinger equation wi
Counting isomorphism classes of pointed hyperelliptic curves of genus 4 over finite fields with even
Nonautonomous ＂rogons＂ in the inhomogeneous nonlinear Schrödinger equation with variable coeffi
Financial rogue waves
Visually Dynamic Presentation of Proofs in Plane Geometry，Part 2. Automated Generation of Visually D
A Characteristic Set Method for Difference Polynomial Systems
Characteristic set method for differential–difference polynomial systems
Periodic，solitary and rational wave solutions of the 3D extended quantum Zakharov–Kuznetsov eq
Simplification and normalization of indexed differentials involving coordinate transformation
Exact solutions to three-dimensional generalized nonlinear Schrodinger equations with varying potent
Decomposition of ordinary difference polynomials
Minimal Achievable Approximation Ratio for MAX-MQ in Finite Fields
Multiplicity-preserving triangular set decomposition of two polynomials
Transforming linear functional systems to fully integrable systems.
The F5 algorithm in buchberger's style
Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation.
Intersection Theory for Generic Differential Polynomials and Differential Chow Form.
Characteristic Set Algorithms for Equation Solving in Finite Fields.
B-spline patches and transfinite interpolation method for PDE controlled simulation.
Approximate Determining singular solutions of polynomial systems via symbolic-numeric reduction to g
Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error
A criterion for the similarity of lenth-two elements in a noncommutative PID
A Conjecture about Binary Strings and its Applications on Constructing Boolean Functions with Optima
High speed interpolation for micro-line trajectory and adaptive real-time lookahead in CNC machining
Collision and intersection detection of two-ruled surfaces using bracket method
Proper Reparametrization for inherently improper unirational varieties.
GEOMETRIC ERROR CONTROL IN THE PARABOLA-BLENDING LINEAR INTERPOLATOR
Time Optimal Feedrate Generation with Confined Tracking Error based on Linear Programming
B-spline patches and transfinite interpolation method for PDE controlled simulation
On Computing Groebner Bases in the Rings of Differential Operators.
Rogon-like solutions excited in the two-dimensional nonlocal nonlinear Schrodinger equation
Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines
Some remarks on Kahler differentials and ordinary differentials in nonlinear control theory
代数免疫度为1的布尔函数
On functional decomposition of multivariate polynomials with differentiation and homogenization
一类M-M型bent函数的代数免疫度
一个组合问题在部分情形下的正确性证明
期刊信息
  • 《系统科学与复杂性学报：英文版》
  • 主管单位:中国科学院
  • 主办单位:中国科学院系统科学研究所
  • 主编：
  • 地址：北京东黄城根北街16号
  • 邮编：100080
  • 邮箱：
  • 电话：010-62541831 62541834
  • 国际标准刊号：ISSN：1009-6124
  • 国内统一刊号：ISSN：11-4543/O1
  • 邮发代号:82-545
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国科学引文索引（扩展库）,英国科学文摘数据库
  • 被引量:125