• 不 限
  • 期刊论文
  • 硕博论文
  • 会议论文
  • 报 纸
  • 英文论文
  2. 您的位置
  3. 首页
  4. 会议论文
  5. Revisiting Term Rewriting in Algebra

Revisiting Term Rewriting in Algebra

来源 :第八届工业与应用数学国际大会 | 被引量 : 0次 | 上传用户：kookzhu
【摘 要】
：
　　We introduce a class of term-rewriting systems on free modules and proved some general results on confluence,termination and convergence.The results are app
【作 者】
：
SitWilliam[1]GuoLi[2]ZhengShanghua[3]GaoXing[3] 
【机 构】
：
The City College of The City Univ.of New York
【出 处】
：
第八届工业与应用数学国际大会
【发表日期】
：
2015年期
下载到本地 , 更方便阅读
下载此文 赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
　　We introduce a class of term-rewriting systems on free modules and proved some general results on confluence,termination and convergence.The results are applied to a class of algebras known as Rota-Baxter Type algebras,which,with Differential Type algebras,provide examples of linear operators on associative algebras in an effort to answer a question Rota posed in the 1970s.
其他文献
Overview of the Immersed Boundary Method and Recent Developments in Algorithms,Analysis and Applicat
　　This talk will begin with an overview of the immersed boundary method for solving complex fluid-structure interaction problems,including recent developments
会议
Analytical and algorithmic advances in the immersed boundary method
　　The immersed boundary method is a well-known approach for modelling fluid-structure interaction(FSI)problems involving highly deformable elastic structures.
会议
An Immersed Boundary Method for Rigid Bodies
　　In this work we develop an IB method that exactly enforces rigidity constraint for immersed solid bodies by solving a linear system coupling a standard semi
会议
An Immersed Boundary Method for Mass Transfer Across Permeable Moving Interfaces
　　We present an immersed boundary method for mass transfer across permeable deformable moving interfaces interacting with the surrounding fluids.One of the ke
会议
On Time Reversal in Photoacoustic Tomography for Tissue Similar to Water
　　This talk is concerned with time reversal in photoacoustic tomography(PAT)of dissipative media that are similar to water.We consider an approach based on th
会议
A Stable Algorithm for Attenuation Correction in Photo-acoustic Imaging
　　In this talk,a brief description of the time reversal algorithms in attenuating media is provided.Considering simple attenuated wave models,two algorithms a
会议
Bayesian Approach to Image Reconstruction in Quantitative Photoacoustic Tomography
　　Quantitative photoacoustic tomography is an emerging imaging technique aiming at estimating quantitative values of optical parameters inside tissues from ph
会议
Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Cl
　　In this talk,we are concerned with the problem of determining the existence of multiple equilibria in economic models.We propose a general and complete appr
会议
Attenuation and Dispersion in Photoacoustic Imaging
　　Photoacoustic Imaging is a promising imaging method that visualizes biological material parameters.In a typical PAT session,the object is exposed to a short
会议
New Effective Differential Nullstellensatz
　　We present a new upper bound for the effective differential Nullstellensatz for differential fields of characteristic zero with several commuting derivation
会议