位置：成果数据库 > 期刊 > 期刊详情页
The F5 algorithm in buchberger's style
  • ISSN号：1000-0577
  • 期刊名称：Journal of Systems Sciences & Complexity
  • 时间：0
  • 页码：34-36
  • 语言：英文
  • 分类：TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术] TP311.13[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1] Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China
  • 相关基金：This research is supPorted by NKBRPC 2011CB302400,- NSFC 10971217 and 60821002/F02.
  • 相关项目：代数几何、数学机械化和非标准分析的交叉
作者： 孙瑶|王定康|
关键词： 算法, 风格, GROBNER基, 编程代码, 多项式, 等价性, 版本, 签名, Buchberger＇s style, F5 algorithm, Grobner basis.
中文摘要：

为计算 Gr 的著名 F5 算法 ? bner 基础被 Faug 介绍

英文摘要：

The famous F5 algorithm for computing Grobner basis was presented by Faugere in 2002. The original version of F5 is given in programming codes, so it is a bit difficult to understand. In this paper, the F5 algorithm is simplified as F5B in a Buchberger＇s style such that it is easy to understand and implement. In order to describe F5B, we introduce F5-reduction, which keeps the signature of labeled polynomials unchanged after reduction. The equivalence between F5 and F5B is also shown. At last, some versions of the F5 algorithm are illustrated.

同期刊论文项目
数学机械化方法及其在信息技术中的应用
期刊论文 56 会议论文 22 获奖 17 专利 3
代数几何、数学机械化和非标准分析的交叉
期刊论文 8 会议论文 3
参数多项式方程组求解及其在机器证明中的应用
期刊论文 12 会议论文 5
　数学机械化方法及其在数字化设计制造中的应用
期刊论文 90
同项目期刊论文
On computing Grobner bases in rings of differential operators
An efficient algorithm for computing a comprehensive Groebner system of a parametric polynomial syst
An efficient method for computing comprehensive Groebner bases
Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis
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.
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函数的代数免疫度
一个组合问题在部分情形下的正确性证明
A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity
酶动力学中的拟稳态定律介绍
Almost all points on the real axis can be original points of shock waves
On computing Groebner bases in rings of differential operators
Products of \delta (x1, ..., x2m ) and \delta(x1,...,x2m-1 ) \times I(x2m )
A novel approach to measure all rate constants in the simplest enzyme kinetics model
布尔环上的分支Groebner基算法
Minimum Hausdorff distance under rigid motions and comparison of protein structures
复杂曲面五轴数控加工刀轴矢量优化方法研究
基于参数曲面映射的五轴数控螺旋加工轨迹计算方法
基于逐点比较法的特殊曲线磨削算法研究
基于永磁同步电动机中混沌运动状态观测器的同步控制
基于正交GF系统的散乱数据拟合及分析
对Bivium流密码的变元猜测代数攻击
A Note on Two Classes of Boolean Functions With Optimal Algebraic Immunity
基于自适应网格变形的图像编辑算法
保持纹理细节的无缝图像合成
Multiplicity-preserving triangular set decomposition of two polynomials
Generation method for five-axis NC spiral tool path based on parametric surface mapping
一种显式Hermite曲线插值方法
层次多结点样条曲线逼近
复数基下的图像伪装算法
基于模拟退火和遗传算法的神经网络在精确施肥中的研究
尺度不变V变换信号消噪
Effective algorithms for computing triangular operator in Schubert calculus
Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error
曲面隐式化新进展
Time Optimal Feedrate Generation with Confined Tracking Error based on Linear Programming
Exact bivariate polynomial factorization over Q by approximation of roots
On functional decomposition of multivariate polynomials with differentiation and homogenization
一种自适应的T型结构掌纹分区算法
基于多类在线Boosting的图像识别算法
基于最小扭曲变换的正面人脸图像合成
基于Gabor相位的指纹图像细化算法
3D打印中的几何计算研究进展
基于无网格的软组织物理建模及模型验证
基于HElib的并行多比特明文同态比较模型
使用Kinect快速重建三维人体
重型数控机床热误差建模及预测方法的研究
平头铣刀圆形铣削的切削力预测
六自由度气浮仿真平台位姿最优滑模控制方法
基于力控制的机器人研抛工艺研究
一类新的正交矩-Franklin矩及其图像表达
基于旋转不变U变换的纹理图像分类
工程仿真精度可信的CAD模型简化
面向等几何分析的几何计算
一种布尔多项式的高效计算机表示
Dark Solitons for the Defocusing Cubic Nonlinear Schr?dinger Equation with the Spatially Periodic Potential and Nonlinearity
V-系统在3D模型数字水印中的应用
V-系统在形状相似检索中的应用
V-系统与Radon变换相结合的纹理分类算法
分形的正交频谱分析
基于学习的高分辨率掌纹细节点质量评价方法
基于永磁同步电机反推方法混沌运动的同步控制
基于现场总线的双轴同步协调控制方法研究
平底刀五轴端铣3D刀补中运动突变的检测算法
三次多项式位移增量微段前瞻插补算法研究
基于谱特征和深度信任网络的三维模型分类
PLC源程序编码方法与解释执行算法设计
基于弧长的渐开线插补新算法
CA摆头五轴机床校验与优化
基于陷波器的伺服系统共振抑制的研究
数控系统网络通信平台的设计与实现
基于多传感器信息融合的机器人姿态测量系统
只需异或运算的秘密分享方案
伺服电动机的振动抑制
反向插补的NURBS曲线前瞻插补算法
特征点的B样条曲线逼近技术
面向高速加工的等残余螺旋轨迹生成方法
基于鲁棒主成分分析的人脸子空间重构方法
基于Franklin函数的数字曲线多边形逼近
五轴联动刀轴矢量平滑插补算法
五轴加工奇异区域内的刀具路径优化
面向数控系统的数据流反馈调度框架
适用于自由曲面高速高精加工的旋转轴位置优化算法
一类带冗余支链并联机器的运动学自标定
五轴端铣3D刀补中运动突变的处理
五轴数控系统旋转轴快速平滑插补控制策略
一种基于细节点全局置信度的指纹匹配算法
基于反演滑模变的电力系统混沌振荡控制
Hopf Bifurcation in a New Four-Dimensional Hyperchaotic System
基于状态负反馈的电力系统混沌控制
具有良好密码学性质的布尔函数的级联构造
PROPER REPARAMETRIZATION FOR INHERENTLY IMPROPER UNIRATIONAL VARIETIES
基于PLC的PID控制系统
PARAMETRIC EQUATION SOLVING AND QUANTIFIER ELIMINATION IN FINITE FIELDS WITH THE CHARACTERISTIC SET METHOD
有界闭区间并上的非线性循环程序的终止性验证
基于圆锥直纹面刀具姿态控制的曲线插补算法
用于视觉词语生成的概率预测器
A CONTROL ALGORITHM FOR RAPID MOVEMENTS NEAR THE RADIUS COMPENSATION SINGULARITY IN FIVE-AXIS END MILLING
A TOOL PATH CORRECTION AND COMPRESSION ALGORITHM FOR FIVE-AXIS CNC MACHINING
基于滑模变结构永磁同步电机混沌跟踪控制
基于带补偿字典的松弛稀疏表示的小样本人脸识别
A Combinatorial Condition and Boolean Functions with Optimal Algebraic Immunity
Dembowski-Ostrom Polynomials from Reversed Dickson Polynomials
Active Disturbance Rejection Control for PMLM Servo System in CNC Machining
On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in GrSbner Basis Algorithms Using Linear Algebra
期刊信息
  • 《系统科学与数学》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院数学与系统科学研究院
  • 主编：张纪峰
  • 地址：北京中关村中国科学院系统科学研究所
  • 邮编：100190
  • 邮箱：jssms@iss.ac.cn
  • 电话：010-62555263
  • 国际标准刊号：ISSN：1000-0577
  • 国内统一刊号：ISSN：11-2019/O1
  • 邮发代号:2-563
  • 获奖情况:
  • 1997年数学类期刊影响因子第三名,2000年获中科院优秀期刊三等奖,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:6798