In this paper, we give an introduction to the development of mathematics mech-anization: constructive algebraic geometry, constructive differential algebraic geometry, construc-tive real algebraic geometry, methods of equation solving, and automated geometric reasoning.

By introducing theories and methods of quadratic equation solving in both eastern and western countries and regions in multicultural viewpoint,this paper showed cultural pluralism of equation solving from multicultural point of view,then excavates including educational values and gave some suggestion on equation teaching.

In this paper,I derive a seven-point difference scheme for the three-dimensional rectangular domain Poisson\'s equation and its boundary conditions by the finite difference method,then solve it,which meets the first boundary condition,and give a detailed derivation process of the seven-point difference scheme.

Has carried on the transit train and the initial sending train s demultiplexing procedure,alleviates the pharynx and larynx rail switch s pressure,enhances the station traffic capacity and the transportation efficiency.