数学机械化

本文主要介绍Clifford代数在数学机械化的核心内容&几何定理机器证明中的应用。

In this paper we introduce some applications of Clifford algebra in automated geometric theorem proving the kernel of mathematics mechanization .

计算机时代的脑力劳动机械化与数学机械化

Mental labor mechanization and mathematics mechanization in computer era

用吴方法处理PnP问题导出的多项式组，可以用数学机械化方法得到P3P方程组的全部解，不杂不漏；

Wu 's Method is applied to deal with polynomial equations system derived from Perspective-n-Point ( PnP ) Problem .

提出相伴数的定义，采用数学机械化的方法给出了相伴数的发生函数（第六章），给出了相伴数与Pell数，Fibonacci数和两类Chebyshev多项式之间的组合恒等式。

The author proposes a concept of associated numbers ( see Chapter 6 ), gives the generating functions by mechanized method , and discusses combinatorial formulas on associated numbers , finally , obtained a number of combinatorial identities related to Pell numbers , Fibonacci numbers and Chebyshev polynomials .

吴文俊&从拓扑学到数学机械化

Wu Wen - tsun , From Topology to Mathematics - Mechanization

置换群运算与证明的数学机械化

Mechanization of Mathematics of Operations and Proof on Permutation Groups

吴文俊建立的数学机械化方法，极大的推动了几何定理机器证明领域的研究。

Wu-method greatly contributes to geometry theorem proving research in the field .

汽轮机组的数学机械化建模与算法分析

Mechanized Mathematics Modelling and Algorithm Analysis for a Turbine Set

数学机械化方法在平面多杆复杂机构位置分析中的应用

Application of Wu Elimination Method to Displacement Analysis of Planar Multi Link Complex Mechanisms

浅谈吴文俊数学机械化思想

On Wu Wenjun 's Mechanical Thought of Mathematics

算筹、算法与数学机械化

Counting rod , algorithm and mathematical mechanization

数学机械化进展综述

MAKE PROGRESS Mathematics Mechanization : A Survey

构造性的思维方式与数学机械化

Constructive mode of thinking and mathematical mechanization

数学机械化与自动推理平台

Mathematics Mechanization and Automated Reasoning Platform

中国古算的程序化思想与吴文俊的数学机械化工作

The mechanical thought of mathematics in ancient China and WU Wen-jun 's work about mathematics mechanization

主要介绍了脑力劳动机械化和数学机械化的发展历史以及研究现状。

The history and recent research status of mental labor mechanization and mathematics mechanization are introduced .

数学机械化研究展望

Prospect for the Mathematics Mechanization Research

本文使用的数学机械化方法可推广到涉及非线性代数方程组的其他机构学问题的求解。

The mathematical mechanization method can be extended to solve other mechanism problems involving nonlinear equations symbolically .

因此，数学机械化对于整个脑力劳动的机械化来说也具有特殊的甚至是关键的意义。

Mechanization of mathematics , therefore , is of great significance to the mechanization of the mental wok in general .

非线性发展方程求解法的研究与数学机械化实现

Some Investigation on the Methods for Finding Solutions of Nonlinear Evolution Equations and Realization of Mathematics Mechanization ; remedy allowance , common difference ; tolerance

数学机械化就是将数学研究的主要活动&推理与计算实现机械化或自动化的过程。

Mathematics mechanization ( MM ) is the effort to mechanize or automate the main mental labor in the field of mathematics : reasoning and computation .

工程数学机械化于测量、力学及微分方程中之应用；

PhD , University of South Australia ( 2006 ) . Engineering mathematics mechanization with applications in survey adjustment , geodesy , Hamiltonian mechanics and symmetry groups for PDEs ;

回顾了脑力劳动机械化思想形成的过程，介绍了数学机械化研究的主要结果，并展望了数学机械化在未来的发展。

We give a brief introduction to the origin and development of the thoughts on mechanization of mental labor , major accomplishments of mathematics mechanization , and its future prospect .

第一章介绍了数学机械化的思想、应用、历史与发展情况以及非线性演化方程解的构造性方法，同时介绍了一些关于该学科领域的国内外学者所取得的成果。

Chapter 1 is devoted to investigating the idea , application , history and development of the mathematics mechanization and the construction of the solutions of nonlinear partial differential equation ( NPDE ) .

数学机械化的思想方法到明代得到了高度发展和完善。其一是表现在实现算法的硬件&算盘的完善和规范化；

The mechanized mathematics has a highly development in Ming Dynasty , the abacus 's perfected standardize is one hand , the other hand is fundamental algorithm 's standardize , a pithy formula , program .

本文论述构造性思维方式与数学机械化的关系，指出中国古算机械化思想受制于筹算体系思维方式的特点，可以说是构造性思维方式作用下的必然结果。

This paper expounds the relationship between Constructive mode of thinking and Mechanization mathematics , bespeaking that mechanical thought of Ancient Chinese Mathematics is restricted by its features of rod arithmetic system , and it is due to the action of constructive mode of thinking .

从汉初完成的《九章算术》中对开平方、开立方的机械化过程的描述，到宋元时代发展起来的求解高次代数方程组的机械化方法，无一不与数学机械化思想有关。

The mechanization procedure of determining square root , completed in the beginning of Han dynasty and the mechanization method of solving algebraic equations system of high order , created in Song - Yuan times , are all based on the idea of mathematical mechanization .

特别论述了中国古代传统数学的机械化思想方法与西方的公理化思想方法在整个世界数学发展的不同阶段中交替起着主导作用，不可偏废。

The author stresses the two thought approaches between ancient math mechanization and western axiomatization , and their leading and alternative role in the stages of math development in the world .

数学与思维机械化之路

Mathematics and the Mechanization of Human Mental Work

中国传统数学与数学机械化

Traditional Mathematics of China and Mathematics Mechanization