位置：成果数据库 > 期刊 > 期刊详情页
A New Proof for the Correctness of the F5 Algorithm
  • ISSN号：0250-7870
  • 期刊名称：Science in China Series A: Mathematics
  • 时间：2013
  • 页码：745-756
  • 相关项目：数学机械化方法及其在信息技术中的应用
作者： Y Sun|Dingkang Wang|
同期刊论文项目
数学机械化方法及其在信息技术中的应用
期刊论文 98 会议论文 28
同项目期刊论文
Residues and Telescopers for Bivariate RationalFunctions
An Efficient Method for Computing Comprehensive Gröbner Bases
An Efficient Algorithm for Computing Comprehensive Gröbner System of a Parametric Polynomia
Computing Polynomial Univariate Representations of Zero-dimensional Ideals by Groebner Basis
A Generic Position Based Method for Real Root Isolation of Zero-Dimensional Polynomial Systems
Hochschild homology and truncated cycles
An improved method to measure all rate constants inthe simplest enzyme kinetics model
Nonautonomous discrete rogue wave solutions and interactionsin an inhomogeneous lattice with varying
A new iso-scallop height tool path planning method inthree- dimensional space
Quasi-Steady-State Laws in reversible model of enzyme kinetics
Using a Bivariate Sparse Resultant to Find the Singularities of Rational Space Curves.
Differential Chow Form for Projective Differential Variety
Characteristic Set Algorithms for Equation Solving in Finite Fields
On Functional Decompisition of Multivariate Polynomials with Differentiation and Homogenization
Matrix formulae of differential resultant for first order generic ordinary differential polynomials
On the Construction of Finite Oscillator Dictionary
Role of Moving Planes and Moving Spheres of Cyclides
Young measures as probability distributions of Loebspaces
Trading Order for Degree in Creative Telescoping
Geometric Error Control in the Parabola-BlendingLinear Interpolator
Pre-compensation of contour errors in Five-Axis CNCmachine tools
Smooth trajectory generation for five-axis machinetools
On the Summability of Bivariate Rational Functions
Multiplicity-preserving triangular set decompositionof two polynomials
微分周形式与稀疏微分结式
一类Riemann 张量指标表达式的标准型完全分类及其在微分几何中的应用
Stratified bundles and étale fundamental group
Results on permutation symmetric Boolean functions.
Computing Isolated Singular Solutions of Polynomial Systems: Case of Breadth One
Subconstituents of unitary graphs over finite fields
Time-optimal interpolation for five-axis CNC machining along parametric tool path based on linear pr
Computing perspective projections in 3-dimensionsusing rotors in the homogeneous and conformal model
Sparse Difference Resultant
Verified Error Bounds forIsolated Singular Solutions of Polynomial Systems
Efficient Time Optimal Feedrate Planning under Dynamic Constraints for High-order CNC Servo System
Topological Classifications of the Intersection Curves of Two Ring Tori.
A Note on the Diagonal Theorem of Bivariate Rational Formal Power Series (in Chinese)
Two Proofs on Max-Min-Max Principle of Jerk Control inTime-Optimal Rectilinear Motion
Subconstituents of orthogonal graphs of oddcharacteristic continued
Efficient algorithm for time-optimal feedrate planning and smoothing with confined chord error and a
Cubic Spline Trajectory Generation with Axis Jerk and Tracking Error Constraints
Tracking Error Reduction in CNC Machining by Reshaping the Kinematic Trajectory
The compositional inverse of a class of bilinear permutation polynomials over finite fields of chara
Determining singularsolutions of polynomial systems via symbolic-numeric reduction to geometricinvol
A New Proof for the Correctness of F5 Algorithm
The reason of Hopf’s and Oleinik’s proofs forcountability of shocks being wrong
<strong>Exact certification in global polynomial optimization via sums-of-squares of rational
Using Smith Forms to Compute All the Singularities of Rational Planar Curves
A Note on Two Classes of Boolean Functions With Optimal Algebraic Immunity
Efficient time-optimal feedrate planning under dynamic constraints for a high-order CNC servo system
Complex PI-symmetric nonlinear Schr&ouml;dinger equation and Burgers equation
Localized Analytical Solutions and Parameters Analysis in the Nonlinear Dispersive Gross–Pitaevskii
Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error
Linearized Polynomials over Finite fields revisited
Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems: Case of Breadth One
Results on permutation symmetric Boolean functions
On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in GrSbner Basis Algorithms Using Linear Algebra