沿RICCI流的SOBOLEV不等式及热核

程序正确性证明方法

本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...

刑事证明方法与技巧 修订版

本书是综合证据理论与证据运用实践的应用型著作。本书中提出了一种学说，介绍了三种方法，阐释了二个法则，总结了多条技巧，对促进司法工作者尽快掌握刑事证明技巧，保障办案成功具有很大帮助。...

平面几何证明方法全书习题解答

本书共分两部分，第一部分为平面几何证明方法全书习题部分的解答；第二部分汇集了近年来国内外数学竞赛中几何试题精选，通过了解竞赛真题，可激发学生的学习兴趣，启迪学生的思维，提高学生参加竞赛的实战能力。...

平面几何证明方法全书

本书共分三篇。每篇介绍了21种平面几何证明方法；第二篇介绍了14种常见问题的求解思路；第三篇介绍了几何图形的基本性质。本书可供数学奥林匹克教练员、培训班，国家级省级骨干教师培训班以及中学教师参考用书，也...

解非线性问题的扩展方程方法

例解给水排水及采暖工程造价方法与技巧

本书根据《建设工程工程量清单计价规范》（GB50500-2008）、《全国统一安装工程预算定额》《北京市建设工程预算定额》、《浙江省安装工程预算定额》编写。本书主要介绍了工厂、饭店、商场、学校、办公楼、宿舍...

解绝对值问题的方法与技巧

用水解方法制酒精的基本知识

怎样掌握解中学数学题的方法