" Proving" also known as" mechanization method" is to find a basis for certain rules can follow the prescribed order mechanical manner in modern methods, often called " algorithm", and the algorithm can be implemented in the computer programming, mathematical mechanization is mathematical theorems can be realized on computer evidence.
希望能帮到你 " Proving" also known as" mechanization method" is to find a basis for certain rules can follow the prescribed order mechanical manner in modern methods, often called " algorithm", and the algorithm can be implemented in the computer programming, mathematical mechanization is mathematical theorems can be realized on computer evidence.
希望能帮到你