张建国主编；王艳玲，李元菁，王新燕，常素萍副主编2001 年出版407 页ISBN：7801006739
暂缺《自学考试公共英语词汇突破手册》简介
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662
用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
张鸣远编著2008 年出版236 页ISBN：7560525733
本书选录215道练习题，包括工科研究生高等流体力学课程的全部内容，题型有理论推导题，证明题和工科应用计算题。
