数里有形——突破代数综合问题

方圆同趣——突破圆的综合问题

牵线搭桥——突破几何综合问题

有迹可循——突破新定义问题

线性代数学习指导（普通高等学校应用型教材·数学）

本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数完备性定理,从而迅速且自然地给出数学分

本书在讲授了随机微分方程、随机反应扩散方程、随机Navier-Stokes方程和带切换的随机微分方程解的存在**性和正则性的基础上，系统地讲授了加性噪声和乘性噪声驱动的随机发展方程的适定性及正则性，总结了Hilbert空间和Banach空间中随机发展方程遍历性证明方法，简要讲述随机动力系统的Wong-Zakai逼近及随

本书全面介绍平面非光滑系统全局动力学分析的Me1nikov方法及应用。本书主要包括:平面非光滑系统同宿轨道和次谐轨道的Me1nikov方法，平面非光滑混合系统同宿轨道和异宿轨道的Me1nikov方法，平面双边刚性约束非线性碰撞系统全局动力学的Me1nikov方法和平面非光滑振子的混沌抑制等。本书发展的解析分析方法具有几

本书内容共分十二章，一至九章主要介绍了加、减、乘、除、乘方、开方横式计算方法，除了文字叙述外，还通过例题示范计算过程。每一类别都配备了一定量的练习题，并在每章末附有答案，供练习时参考。第十章介绍了非十进制数的转换和运算，列举例题都采用横式完成，另辟蹊径。尽管日常计算用不到，但了解这些知识，对我们更深刻地认识和了解进制、

《九章算术》是世界数学发展史上的宝贵遗产，也是古代中国数学发展史上的重要里程碑。它确立了中国古典数学的基本框架，记载了世界上早、完整的分数四则运算法则、比例和比例分配算法、开方法、线性方程组解法、正负数加减法则等内容。作为十大算经之首，《九章算术》与过去人们的生产、生活关系密切，并影响了其后2000余年间中国乃至整个东