Generating Elementary Integrable Expressions

Rashid Barket, Matthew England, Jürgen Gerhard

Type: Preprint

Publication Date: 2023-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.2306.15572

View Publication

Locations

arXiv (Cornell University) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	The Liouville Generator for Producing Integrable Expressions	2024	Rashid Barket Matthew England Jürgen Gerhard
+ PDF Chat	Transformers to Predict the Applicability of Symbolic Integration Routines	2024	Rashid Barket Uzma Shafiq Matthew England Juergen Gerhard
+	AI Feynman: a Physics-Inspired Method for Symbolic Regression	2019	Silviu‐Marian Udrescu Max Tegmark
+ PDF Chat	AI Feynman: A physics-inspired method for symbolic regression	2020	Silviu‐Marian Udrescu Max Tegmark
+ PDF Chat	Symbolic-numeric integration of univariate expressions based on sparse regression	2022	Shahriar Iravanian Carl Julius Martensen Alessandro Cheli Shashi Gowda Anand Jain Yingbo Ma Christopher Rackauckas
+	Learning to Discover Efficient Mathematical Identities	2014	Wojciech Zaremba Karol Kurach Rob Fergus
+	Symbolic-Numeric Integration of Univariate Expressions based on Sparse Regression	2022	Shahriar Iravanian Carl Julius Martensen Alessandro Cheli Shashi Gowda Anand Jain Yingbo Ma Christopher Rackauckas
+	Introduction to the Symbolic Integration System	2013	Weiguang Mao
+	Learning to Discover Efficient Mathematical Identities	2014	Wojciech Zaremba Karol Kurach Rob Fergus
+	Symbolic integration of exponential polynomials	1985	Klaus Nehrkorn
+	SYMBA: Symbolic Computation of Squared Amplitudes in High Energy Physics with Machine Learning	2022	Abdulhakim Alnuqaydan Sergei Gleyzer H. Prosper
+ PDF Chat	SYMBA: symbolic computation of squared amplitudes in high energy physics with machine learning	2023	Abdulhakim Alnuqaydan Sergei Gleyzer H. Prosper
+	HEPGAME and the Simplification of Expressions	2014	Ben Ruijl J.A.M. Vermaseren Aske Plaat H.J. van den Herik
+	Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD	2024	Tereso del Río Matthew England
+	Deep Learning for Symbolic Mathematics	2019	Guillaume Lample François Charton
+	Deep Learning for Symbolic Mathematics	2019	Guillaume Lample François Charton
+ PDF Chat	Discovering symbolic expressions with parallelized tree search	2024	Kai Ruan Zefeng Gao Yike Guo Hao Sun Ji-Rong Wen Yang Liu
+ PDF Chat	Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs	2024	Rashid Barket Matthew England Jürgen Gerhard
+	Algorithmically generating new algebraic features of polynomial systems for machine learning	2019	Dorian Florescu Matthew England
+	Algorithmically generating new algebraic features of polynomial systems for machine learning	2019	Dorian Florescu Matthew England

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (5)

Action	Title	Year	Authors
+	On the integration of algebraic functions	2015	Lourdes Juan
+	Integration of elementary functions	1990	Manuel Bronstein
+	Can Neural Networks Learn Symbolic Rewriting?	2019	Bartosz Piotrowski Josef Urban Chad E. Brown Cezary Kaliszyk
+	Deep Learning for Symbolic Mathematics	2019	Guillaume Lample François Charton
+ PDF Chat	Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition	2014	Zongyan Huang Matthew England David L. Wilson James H. Davenport Lawrence C. Paulson James Bridge