Automatic derivation of formulas by graph embedding and pattern matching network
MinCong Luo China · 2019
Automatic formula derivation (symbolic computation) is a challenging problem that has been widely used in scientific research. The key to this research is to compute and output results automatically based on input formulas, which requires large amount of prior mathematical knowledge and complex derivation techniques. The previous researches mainly rely on pattern matching, which requires large number of complex algebraic systems and basic formula libraries.