为了生成传统形式的几何定理可读证明，前推法必不可少。
To produce the traditional readable proving of geometry theorem, the forward reasoning is necessary.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
这同样也可以很好的证明，要说可读性这回事，最起码也得看看要读完多少代码才能搞明白一个功能。
There's also a good case that readability is at least partially a function of how much code you have to read.
利用这个结果并借助于计算机可以给出一大批齐次对称多项式不等式的可读性机器证明。
By means of this result and computer, the readable machine proofs for a lot of the inequalities of homogeneous and symmetric polynomials can be obtained.
请注意，您的名字都必须有明确可读，我们无法处理不正确的购买证明的要求。
Please note that your name has to be clearly readable and that we can't process requests without proper proof of purchase.
由于有这么多非常BSD的东西在里面，该项目证明了其代码的永恒价值与无限可读性。
As with so many things BSD, this project proves that good code is timeless and can benefit from literally generations of review.
由于有这么多非常BSD的东西在里面，该项目证明了其代码的永恒价值与无限可读性。
As with so many things BSD, this project proves that good code is timeless and can benefit from literally generations of review.
应用推荐