Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In previous papers  described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, proving and disproving for mathematical discovery in non-associative algebra. While the system has generated novel, fully verified theorems, their construction involved a lot of ad hoc communication beten disparate systems.   carefully reconstruct a specification of a sub-process of the original system in a framework for trustable communication beten mathematics systems put forth by us. It employs the concept of biform theories that enables the combined formalisation of the axiomatic and algorithmic theories behind the generation process. This allows us to gain a much better understanding of the original system, and exposes clear generalisation opportunities.
['Jacques Carette', 'William M. Farmer', 'Volker Sorge']
I am writing a research paper on a idea A Rational Reconstruction of a System for Experimental Mathematics
[{"from": "human", "value": "I am writing a research paper on a idea A Rational Reconstruction of a System for Experimental Mathematics"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In previous papers  described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, proving and disproving for mathematical discovery in non-associative algebra. While the system has generated novel, fully verified theorems, their construction involved a lot of ad hoc communication beten disparate systems.   carefully reconstruct a specification of a sub-process of the original system in a framework for trustable communication beten mathematics systems put forth by us. It employs the concept of biform theories that enables the combined formalisation of the axiomatic and algorithmic theories behind the generation process. This allows us to gain a much better understanding of the original system, and exposes clear generalisation opportunities."}]