%0 Conference Paper %1 9680206 %A Wankerl, Sebastian %A Dulny, Andrzej %A Götz, Gerhard %A Hotho, Andreas %B 2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA) %D 2021 %K from:adulny mathematicalrelation myown nlp4maths tree-models treemodels %P 1681-1687 %R 10.1109/ICMLA52953.2021.00268 %T Learning Mathematical Relations Using Deep Tree Models %U https://ieeexplore.ieee.org/document/9680206 %X To the present day, computer algebra systems used for calculating mathematical relations on a symbolic level are mainly rule-based systems. Only recently, deep learning has been applied to the task of symbolic mathematics. Researchers succeeded in developing neural networks which can do symbolic calculations of the equivalence of multiple pairing of equations. However, the generator used to create mathematical terms in previous research has several drawbacks and as with all deep learning tasks, the quality of the data used for training the models has a significant impact on the quality of the results. In this work, we propose a new generator for polynomials. We use it to train several recursive neural networks to recognize the equivalence, derivative, or variable substitution between pairs of polynomials for the first time. Our results indicate that these mathematical relations are identifiable with the help of deep learning.

@inproceedings{9680206, abstract = {To the present day, computer algebra systems used for calculating mathematical relations on a symbolic level are mainly rule-based systems. Only recently, deep learning has been applied to the task of symbolic mathematics. Researchers succeeded in developing neural networks which can do symbolic calculations of the equivalence of multiple pairing of equations. However, the generator used to create mathematical terms in previous research has several drawbacks and as with all deep learning tasks, the quality of the data used for training the models has a significant impact on the quality of the results. In this work, we propose a new generator for polynomials. We use it to train several recursive neural networks to recognize the equivalence, derivative, or variable substitution between pairs of polynomials for the first time. Our results indicate that these mathematical relations are identifiable with the help of deep learning.}, added-at = {2022-06-29T03:32:23.000+0200}, author = {Wankerl, Sebastian and Dulny, Andrzej and Götz, Gerhard and Hotho, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/29a6068838c23d463b38f09085a883bd0/dmir}, booktitle = {2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA)}, description = {Learning Mathematical Relations Using Deep Tree Models | IEEE Conference Publication | IEEE Xplore}, doi = {10.1109/ICMLA52953.2021.00268}, interhash = {11b66ff7673fe13ddaf8441286d598eb}, intrahash = {9a6068838c23d463b38f09085a883bd0}, keywords = {from:adulny mathematicalrelation myown nlp4maths tree-models treemodels}, month = dec, pages = {1681-1687}, timestamp = {2024-01-18T10:31:52.000+0100}, title = {Learning Mathematical Relations Using Deep Tree Models}, url = {https://ieeexplore.ieee.org/document/9680206}, year = 2021 }