【摘 要】
：
tridecGF和normsys是三角分解软件包 Epsilon 中新增的两个模块.tridecGF 模块实现了将多项式系统在有限域上分解为三角系统、正则系统、简单系统以及不可约系统等三角分
【出 处】
：
第八届全国计算机数学会议(CM2016)
论文部分内容阅读
tridecGF和normsys是三角分解软件包 Epsilon 中新增的两个模块.tridecGF 模块实现了将多项式系统在有限域上分解为三角系统、正则系统、简单系统以及不可约系统等三角分解算法； normsys 模块实现了多项式集合的特征分解、强特征分解以及多项式系统的正规分解、广义三角分解，其中特征分解指将多项式集合分解为由 Groebner 基和 W 特征列所构成的特征对.本文介绍了上述两个模块的基本理论、设计思路、相关示例并汇报了实验结果.
其他文献
NMR谱图中常见的伪峰，应该是截断伪峰了。截断伪峰的表现形式为谱峰底部附近的sinc函数状震荡。这类伪峰产生的原因是采样截断，即在NMR信号衰减完毕之前就停止采样。截断伪
量子点是一种具有量子限域效应的零维荧光纳米材料，具有发射波长窄且对称，斯托克斯位移大，光稳定性好以及通过尺寸调控可以调节发射波长等特点，其优良的光学性质使得量子点在
近年来,作为新一代微流控技术的典型代表之一,多相微流控技术(亦称液滴微流控技术)得到快速发展,已应用于高通量药物筛选,功能材料的高效可控合成,基于单分子和单细胞水
Analytical Atomic Spectrometry,including atomic absorption spectrometry(AAS),atomic emission spectrometry(AES),atomic fluorescence spectrometry(AFS)and atom
教学大纲是指导教师组织教学的纲领性文件,也是检验教师教学质量和评价学生学习成果的重要依据.严谨合理的教学大纲能够帮助教师快速准确地把握课程要求,同时给学生的自主学
依据MOOC的教学特征和掌握学习理论,兼顾大学物理课堂教学,设计了含视频中练习、知识点自我检测、交互活动、作业、单元测验、课程考试等多样化的练习活动.编写了丰富的练习
In the last decades,Robust Principal[] Component Analysis(PCA)has been drawn much attention in the image processing,computer vision and machine learning com
In this paper,we generalize the algorithm described by Rump and Graillat to compute verified and narrow error bounds such that a slightly perturbed matrix i
In this talk,we will present a group sparse optimization problem via $ell_{p,q}$ regularization $(0le q
For any given matrix $F(z)in M_{ltimes m}(R)$ where $M_{ltimes m}(R)$ is the set of $ltimes m$ matrices with entries in $R= K[z_1,ldots,z_n]$ and $lle