差分二项正规理想的Groebner基的有限性判别

来源 :第八届全国计算机数学会议(CM2016) | 被引量 : 0次 | 上传用户：deansam

【摘要】

：

　　In this paper,we will learn about the Groebner basis of a normal binomial $sigma$-ideal and the condition when it is finite.A normal binomial ideal in a dif

【作者】

：

陈俣翱

【机构】

：

中国科学院数学与系统科学研究院

【出处】

：

第八届全国计算机数学会议(CM2016)

【发表日期】

：

2016年11期

【关键词】

：

Differece algebra Binomial ideal Groebner basis $mathbb{Z}[x]$-lattice

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

　　In this paper,we will learn about the Groebner basis of a normal binomial $sigma$-ideal and the condition when it is finite.A normal binomial ideal in a differnce ring corresponds to a parital character in $mathbb{Z}[x]^{n}$.

其他文献

高性能光散射显微成像分析

　　成像技术在定量生物化学和现代生物医学等研究领域已获得广泛应用，其中光学成像技术因其非侵入性而越来越受到广大成像研究者的青睐.2014年的诺贝尔化学奖花落超分辨荧光

会议

光散射显微成像分辨率对比度可见度

动态、高灵敏与多组分细胞与活体荧光成像分析

　　生物活性分子调控细胞功能，并与重大疾病的发生发展密切相关。然而，活性分子往往浓度低、寿命短、存在相互关联转化，并且在细胞及活体的不同部位出现。发展高灵敏、动态、原

会议

生物活性分子荧光探针动态可逆高灵敏多组分亚细胞器

纳米孔道单分子界面电化学研究

　　在单个Aerolysin蛋白质分子形成的纳米孔道界面上，通过电化学调控的单分子电荷传输，可实现单分子水平实时获取DNA分子的特定碱基组成、动态构象及其与外切酶作用动力学等信

会议

纳米孔道电分析化学Aerolysin暗场光谱单分子分析

核酸适配体的肿瘤活体荧光成像研究进展

　　针对肝癌、肺癌等肿瘤细胞筛选获得了一批高亲和性、高特异性的核酸适配体探针。在此基础上，结合分子工程技术和纳米生物技术，开展了相关肿瘤活体荧光成像研究工作。通过化

会议

核酸适配体肿瘤活体荧光成像

Quantitative Analysis of Protein Dynamics in Living Cells by Single-Molecule Fluorecence Microscopy

　　Single-molecule fluorescence imaging of protein dynamics at the nanoscale is becoming a powerful tool for the real-time study of protein activation and cell

会议

single-molecule fluorescence imagingtransforming growth factor β receptorquant

反应型光学探针用于生物活性分子的原位检测及成像研究

　　实时原位监测和跟踪细胞内的活性物质及其生物化学过程对于揭示各种生理现象及发展新的医学诊断方法具有重要的科学意义。这里我们报道以化学反应为基础的荧光及拉曼开关

会议

反应型光学探针活性氧族药物代谢原位检测与成像

Binding-Induced DNA Assembly and Nanomachines

会议

纳米生物效应分析及其化学机制

　　纳米尺度下的材料表面的电子特性，是决定纳米-生物体系表/界面相互作用的化学过程的主要因素，决定了纳米材料独特的化学活性或生物活性，已成为诸多新兴前沿交叉学科的科学基

会议

纳米生物表界面过程分析无机纳米材料碳纳米材料纳米安全性

An Online Computing and Knowledge Platform for Differential Equations

　　A Web-based knowledge database and computing platform for nonlinear differential equations is presented,which could provide computing and graphing based on

会议

Computation of invariant curves and indentifying the type of critical point

　　In this paper we consider differential systems of the form begin{equation}label{equ:(1)} begin{array}{l} left{ begin{array}{l} frac{{{rm{d}}x}}{{{r

会议

Invariant algebraic curveCofactorExponential factorEquilibrium point

差分二项正规理想的Groebner基的有限性判别

与本文相关的学术论文