Symbolic integration by integrating learning models with different strengths and weaknesses

03/09/2021
by   Hazumi Kubota, et al.
14

Integration is indispensable, not only in mathematics, but also in a wide range of other fields. A deep learning method has recently been developed and shown to be capable of integrating mathematical functions that could not previously be integrated on a computer. However, that method treats integration as equivalent to natural language translation and does not reflect mathematical information. In this study, we adjusted the learning model to take mathematical information into account and developed a wide range of learning models that learn the order of numerical operations more robustly. In this way, we achieved a 98.80 of any existing method. We judged the correctness of the integration based on whether the derivative of the primitive function was consistent with the integrand. By building an integrated model based on this strategy, we achieved a 99.79

READ FULL TEXT

page 14

page 16

research
08/28/2014

Mathematical Knowledge Representation: Semantic Models and Formalisms

The paper provides a survey of semantic methods for solution of fundamen...
research
07/17/2014

OntoMath^PRO Ontology: A Linked Data Hub for Mathematics

In this paper, we present an ontology of mathematical knowledge concepts...
research
10/07/2021

Pretrained Language Models are Symbolic Mathematics Solvers too!

Solving symbolic mathematics has always been of in the arena of human in...
research
04/12/2021

A Coq Formalization of Lebesgue Integration of Nonnegative Functions

Integration, just as much as differentiation, is a fundamental calculus ...
research
04/13/2022

Context-based Deep Learning Architecture with Optimal Integration Layer for Image Parsing

Deep learning models have been efficient lately on image parsing tasks. ...
research
06/21/2020

Integrating Industrial Artifacts and Agents Through Apache Camel

There are many challenges for building up the smart factory, among them ...
research
05/19/2022

Breathing Life into Models: The Next Generation of Enterprise Modeling

Edsger W. Dijkstra has frequently suggested building a "firewall" betwee...

Please sign up or login with your details

Forgot password? Click here to reset