Automatic Derivation Of Formulas Using Reforcement Learning

MinZhong Luo, Li Liu

This paper presents an artificial intelligence algorithm that can be used to derive formulas from various scientific disciplines called automatic derivation machine. First, the for…