Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way.  gives a brief review of the major advances in the field over the past thirty years. The characteristic set method for symbolic solution of algebraic, differential, and difference equation systems are first introduced. Methods for automated proving and discovering geometry theorems are then revied. Finally, applications in computer-aided geometric design, computer vision, intelligent computer-aided design, and robotics are surveyed.
['Wenjun Wu', 'Xiao-Shan Gao']
I am writing a research paper on a idea Mathematics mechanization and applications after thirty years
[{"from": "human", "value": "I am writing a research paper on a idea Mathematics mechanization and applications after thirty years"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way.  gives a brief review of the major advances in the field over the past thirty years. The characteristic set method for symbolic solution of algebraic, differential, and difference equation systems are first introduced. Methods for automated proving and discovering geometry theorems are then revied. Finally, applications in computer-aided geometric design, computer vision, intelligent computer-aided design, and robotics are surveyed."}]