Rashid Barket

View Scopus Profile

h-index

Research activity per year

4 Conference proceeding
1 Other
1 Poster

6 results

2024
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
Barket, R., England, M. & Gerhard, J., 2024, Mathematical Software – ICMS 2024: 8th International Conference, Durham, UK, July 22–25, 2024, Proceedings. Buzzard, K., Dickenstein, A., Eick, B., Leykin, A. & Ren, Y. (eds.). Springer , Vol. 14749. p. 167-175 9 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
1 Citation (Scopus)
The Liouville Generator for Producing Integrable Expressions
Barket, R., England, M. & Gerhard, J., 21 Aug 2024, Computer Algebra in Scientific Computing: 26th International Workshop, CASC 2024, Rennes, France, September 2–6, 2024, Proceedings. Boulier, F., Mou, C., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). 1 ed. Springer , Vol. 14938. p. 47-62 16 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Transformers to Predict the Applicability of Symbolic Integration Routines
Barket, R., Shafiq, U., England, M. & Gerhard, J., 9 Oct 2024, (Accepted/In press) Proceedings of the 4th Workshop on Mathematical Reasoning and AI (MATH-AI 2024) at NeurIPS 2024. 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

Open Access
File
12 Downloads (Pure)
2023
Generating Elementary Integrable Expressions
Barket, R., England, M. & Gerhard, J., 24 Aug 2023, Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings. Boulier, F., England, M., Kotsireas, I., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). 1 ed. Springer , p. 21-38 18 p. (Lecture Notes in Computer Science; vol. 14139).
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

Open Access
File
2 Citations (Scopus)

8 Downloads (Pure)
2022
Framework for Generating Integrable Expressions
Barket, R., 2 Nov 2022.
Research output: Contribution to conference › Other › peer-review
Machine Learning for Computer Algebra
Barket, R., del Río, T. & England, M., 2022, (Unpublished).
Research output: Contribution to conference › Poster

File

156 Downloads (Pure)

Rashid Barket

Research output

Search results

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs

The Liouville Generator for Producing Integrable Expressions

Transformers to Predict the Applicability of Symbolic Integration Routines

Generating Elementary Integrable Expressions

Framework for Generating Integrable Expressions

Machine Learning for Computer Algebra