系统设计的正式方法和模型

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。     

关于R.Lohn定理的一个注记

在Ｒ．Ｌｏｈｎ定理的基础上进行全面的讲话给出所有情形的判别。     

Gersgorin和他的圆

本书是由施普林格出版社出版的《计算数学施普林格丛书》的第36卷。Gersgorin圆定理是线性代数中非常有名的理论，它是基于俄罗斯数学家S．Gersgorin 1931年写下的一篇论文。Gersgorin理论的优点是简明性激起了这个领域的进一步研究。本书研究了Gersgorin的原创性结果及其扩展，目的是给出有关这个课题的各个方面细致及最新的论述，例如Gassini和Brualdi双纽线的Brauer卵形线及它们的比较。     

关于Riemann积分的几点注记

用初等的方法证明了[a,b]上的Riemann可积函数的连续点在[a,b]上是稠密的，并在应用上出了积分中值定理的简洁证明。     

逆包络法及其应用

逆包络是指已知包络面(线)方程，而要求形成该包络的曲面族中一个曲面(线)的问题，本文集中介绍了求解逆包络问题的7种方法，并介绍他们各自的应用和当注意的问题．     

“哈密顿问题”的技术难点

科技馆的数学类展品中，展示拓扑内容的占有重要比例，如拓扑玩具、莫比乌斯带、四色定理、七桥问题、纽结、克来因瓶及本文要介绍的哈密顿问题。     

代数基本定理的另一证明

在复变函数论中,用了两种不同的方法证明了代数基本定理。文章从另一种角度:用映射的观点证明该定理。