第四自然段中呆望了一阵 [计算有向拟阵：在一个自然框架内的矩阵等价类]

　　Jüergen G. BokowskiDarmstadt University 　　of Technology,Germany 　　Computational Oriented
　　Matroids
　　Equivalence Classes of Matrices within a
　　Natural Framework
　　2006,323pp.
　　HardcoverUSD75.00
　　ISBN 978-0-521-84930-2
　　
　　J.博科维斯基 著
　　让我们来考虑一个示例。拿一条具有1,2两个端点的线段和一个具有顶点3,4，5的三角形。这条线段是否与这个三角形相交？这个问题在计算机图形学、自动机工程学和许多几何问题中是基本的和决定性的问题。为了回答这个问题，许多人计算由这条线段给出的直线和由这个三角形给出的平面之间的交点，然后决定这个交点是否位于这个三角形和这条线段之内。在实际应用中具有许多这种类型的判定，这是很典型的。根据有向拟阵理论，我们了解到答案只是取决于5个符号，即由4个点的有序子集合构成的四面体的方向。
　　有向拟阵理论就像在离散数学家花园中欣欣向荣的花坛，它的草木盘绕了其他领域中的许多分支。有向拟阵在离散几何中扮演了矩阵的角色。度量性质，例如角度和距离或者是不要求的，或者是不可利用的。因此它们在像图论、组合优化和凸几何这样的领域中具有很大的用途。各种各样的应用对应于它们能被定义的各种方式，而这些定义中的每一个都应于一个有向拟阵的有差异的数据结构。对它们进行处理需要计算的支持，通过一种函数式语言来最佳地实现。本书向数学家、计算机科学家和工程师提供了对有向拟阵的介绍，它包括了有关多胞形、离散几何、线性规划、自动机工程学以及任何有向拟阵发挥作用的学科课程的基本内容。有关这个学科的软件不仅仅支持学生的学习过程，而且使得本书对于该领域中的专家非常有价值。
　　本书共有11章，还有3个附录。第1章几何矩阵模型Ⅰ；第2章几何矩阵模型Ⅱ；第3章从矩阵到秩为3的有向拟阵；第4章任意秩有向拟阵；第5章从有向拟阵到面格；第6章从面格到有向拟阵Ⅰ；第7章从面格到有向拟阵Ⅱ；第8章从有向拟阵到矩阵；第9章计算合成几何；第10章某些有向拟阵的应用。三个附录分别为附录A Haskell入门；附录B软件、Haskell函数及实例；附录C符号清单。
　　本书的特点：包括了对Haskell的介绍，把实际应用与计算相结合；包括了许多彩色的插图；还有大量的实例和练习。是计算有向拟阵领域的理想的入门教科书。
　　胡光华，高级软件工程师
　　(原中国科学院物理学研究所)
　　Hu Guanghua, Senior Software Engineer
　　(Former Institute of Physics,the Chinese Academy of Sciences)