Generating Elementary Integrable Expressions

Rashid Barket; Matthew England; Jürgen Gerhard

doi:10.1007/978-3-031-41724-5_2

Generating Elementary Integrable Expressions

Rashid Barket, Matthew England, Jürgen Gerhard

Research Centre for Computational Science and Mathematical Modelling

Maplesoft

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

2 Citations (Scopus)

3 Downloads (Pure)

Abstract

There has been an increasing number of applications of machine learning to the field of Computer Algebra in recent years, including to the prominent sub-field of Symbolic Integration. However, machine learning models require an abundance of data for them to be successful and there exist few benchmarks on the scale required. While methods to generate new data already exist, they are flawed in several ways which may lead to bias in machine learning models trained upon them. In this paper, we describe how to use the Risch Algorithm for symbolic integration to create a dataset of elementary integrable expressions. Further, we show that data generated this way alleviates some of the flaws found in earlier methods.

Original language	English
Title of host publication	Computer Algebra in Scientific Computing
Subtitle of host publication	25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings
Editors	François Boulier, Matthew England, Ilias Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov
Publisher	Springer
Chapter	2
Pages	21-38
Number of pages	18
Edition	1
ISBN (Electronic)	978-3-031-41724-5
ISBN (Print)	978-3-031-41723-8
DOIs	https://doi.org/10.1007/978-3-031-41724-5_2
Publication status	Published - 24 Aug 2023
Event	25th International Workshop on Computer Algebra in Scientific Computing - Havana, Cuba Duration: 28 Aug 2023 → 1 Sept 2023 http://www.casc-conference.org/

Publication series

Name	Lecture Notes in Computer Science
Volume	14139
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	25th International Workshop on Computer Algebra in Scientific Computing
Abbreviated title	CASC 2023
Country/Territory	Cuba
City	Havana
Period	28/08/23 → 1/09/23
Internet address	http://www.casc-conference.org/

Bibliographical note

Copyright © and Moral Rights are retained by the author(s) and/ or other copyright owners. A copy can be downloaded for personal non-commercial research or study, without prior permission or charge. This item cannot be reproduced or quoted extensively from without first obtaining permission in writing from the copyright holder(s). The content must not be changed in any way or sold commercially in any format or medium without the formal permission of the copyright holders.

This document is the author’s post-print version, incorporating any revisions agreed during the peer-review process. Some differences between the published version and this version may remain and you are advised to consult the published version if you wish to cite from it.

Keywords

Computer algebra
Symbolic integration
Machine learning
Data generation

Access to Document

10.1007/978-3-031-41724-5_2

England2023AAMAccepted author manuscript, 1.33 MB

Cite this

Barket, R., England, M., & Gerhard, J. (2023). Generating Elementary Integrable Expressions. In F. Boulier, M. England, I. Kotsireas, T. M. Sadykov, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings (1 ed., pp. 21-38). (Lecture Notes in Computer Science; Vol. 14139). Springer . https://doi.org/10.1007/978-3-031-41724-5_2

Generating Elementary Integrable Expressions. / Barket, Rashid ; England, Matthew; Gerhard, Jürgen.
Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings. ed. / François Boulier; Matthew England; Ilias Kotsireas; Timur M. Sadykov; Evgenii V. Vorozhtsov. 1. ed. Springer , 2023. p. 21-38 (Lecture Notes in Computer Science; Vol. 14139).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

Barket, R , England, M & Gerhard, J 2023, Generating Elementary Integrable Expressions. in F Boulier, M England, I Kotsireas, TM Sadykov & EV Vorozhtsov (eds), Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 14139, Springer , pp. 21-38, 25th International Workshop on Computer Algebra in Scientific Computing, Havana, Cuba, 28/08/23. https://doi.org/10.1007/978-3-031-41724-5_2

Barket R , England M, Gerhard J. Generating Elementary Integrable Expressions. In Boulier F, England M, Kotsireas I, Sadykov TM, Vorozhtsov EV, editors, Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings. 1 ed. Springer . 2023. p. 21-38. (Lecture Notes in Computer Science). Epub 2023 Aug 23. doi: 10.1007/978-3-031-41724-5_2

Barket, Rashid ; England, Matthew ; Gerhard, Jürgen. / Generating Elementary Integrable Expressions. Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings. editor / François Boulier ; Matthew England ; Ilias Kotsireas ; Timur M. Sadykov ; Evgenii V. Vorozhtsov. 1. ed. Springer , 2023. pp. 21-38 (Lecture Notes in Computer Science).

@inproceedings{9e8f0d88ddb44fea999a0aaab31bd510,

title = "Generating Elementary Integrable Expressions",

abstract = "There has been an increasing number of applications of machine learning to the field of Computer Algebra in recent years, including to the prominent sub-field of Symbolic Integration. However, machine learning models require an abundance of data for them to be successful and there exist few benchmarks on the scale required. While methods to generate new data already exist, they are flawed in several ways which may lead to bias in machine learning models trained upon them. In this paper, we describe how to use the Risch Algorithm for symbolic integration to create a dataset of elementary integrable expressions. Further, we show that data generated this way alleviates some of the flaws found in earlier methods. ",

keywords = "Computer algebra, Symbolic integration, Machine learning, Data generation",

author = "Rashid Barket and Matthew England and J{\"u}rgen Gerhard",

note = "Copyright {\textcopyright} and Moral Rights are retained by the author(s) and/ or other copyright owners. A copy can be downloaded for personal non-commercial research or study, without prior permission or charge. This item cannot be reproduced or quoted extensively from without first obtaining permission in writing from the copyright holder(s). The content must not be changed in any way or sold commercially in any format or medium without the formal permission of the copyright holders. This document is the author{\textquoteright}s post-print version, incorporating any revisions agreed during the peer-review process. Some differences between the published version and this version may remain and you are advised to consult the published version if you wish to cite from it. ; 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023 ; Conference date: 28-08-2023 Through 01-09-2023",

year = "2023",

month = aug,

day = "24",

doi = "10.1007/978-3-031-41724-5_2",

language = "English",

isbn = "978-3-031-41723-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer ",

pages = "21--38",

editor = "Boulier, {Fran{\c c}ois } and England, { Matthew } and Kotsireas, {Ilias } and Sadykov, {Timur M. } and Vorozhtsov, {Evgenii V. }",

booktitle = "Computer Algebra in Scientific Computing",

address = "Switzerland",

edition = "1",

url = "http://www.casc-conference.org/",

}

TY - GEN

T1 - Generating Elementary Integrable Expressions

AU - Barket, Rashid

AU - England, Matthew

AU - Gerhard, Jürgen

N1 - Copyright © and Moral Rights are retained by the author(s) and/ or other copyright owners. A copy can be downloaded for personal non-commercial research or study, without prior permission or charge. This item cannot be reproduced or quoted extensively from without first obtaining permission in writing from the copyright holder(s). The content must not be changed in any way or sold commercially in any format or medium without the formal permission of the copyright holders. This document is the author’s post-print version, incorporating any revisions agreed during the peer-review process. Some differences between the published version and this version may remain and you are advised to consult the published version if you wish to cite from it.

PY - 2023/8/24

Y1 - 2023/8/24

N2 - There has been an increasing number of applications of machine learning to the field of Computer Algebra in recent years, including to the prominent sub-field of Symbolic Integration. However, machine learning models require an abundance of data for them to be successful and there exist few benchmarks on the scale required. While methods to generate new data already exist, they are flawed in several ways which may lead to bias in machine learning models trained upon them. In this paper, we describe how to use the Risch Algorithm for symbolic integration to create a dataset of elementary integrable expressions. Further, we show that data generated this way alleviates some of the flaws found in earlier methods.

AB - There has been an increasing number of applications of machine learning to the field of Computer Algebra in recent years, including to the prominent sub-field of Symbolic Integration. However, machine learning models require an abundance of data for them to be successful and there exist few benchmarks on the scale required. While methods to generate new data already exist, they are flawed in several ways which may lead to bias in machine learning models trained upon them. In this paper, we describe how to use the Risch Algorithm for symbolic integration to create a dataset of elementary integrable expressions. Further, we show that data generated this way alleviates some of the flaws found in earlier methods.

KW - Computer algebra

KW - Symbolic integration

KW - Machine learning

KW - Data generation

UR - http://www.scopus.com/inward/record.url?scp=85171595502&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-41724-5_2

DO - 10.1007/978-3-031-41724-5_2

M3 - Conference proceeding

SN - 978-3-031-41723-8

T3 - Lecture Notes in Computer Science

SP - 21

EP - 38

BT - Computer Algebra in Scientific Computing

A2 - Boulier, François

A2 - England, Matthew

A2 - Kotsireas, Ilias

A2 - Sadykov, Timur M.

A2 - Vorozhtsov, Evgenii V.

PB - Springer

T2 - 25th International Workshop on Computer Algebra in Scientific Computing

Y2 - 28 August 2023 through 1 September 2023

ER -

Generating Elementary Integrable Expressions

Abstract

Publication series

Workshop

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this