--- title: "Computational Theory and Mathematics — papers" description: "Computational Theory and Mathematics: 95 papers of the Elamur Research library · page 1 of 2 · 1–25, the most cited first — our summary of each, its…" canonical: "https://research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) [home](https://md.research.elamur.ai/free/en/) / [shelves](https://md.research.elamur.ai/free/en/shelves/) / [Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) / Computational Theory and Mathematics # 🧮 Computational Theory and Mathematics 95 papers · page 1 of 2 · 1–25 · the most cited first · [all shelves](https://md.research.elamur.ai/free/en/shelves/) Computational Theory and Mathematics is a subfield of Computer Science in the OpenAlex classification of science. The topics most of its papers here are on: «Mathematics, Computing, and Information Processing», «semigroups and automata theory», «Formal Methods in Verification». ## Papers **1** [2](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/page/2/) [next →](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/page/2/) 1. [**SciPy 1.0 — Fundamental Algorithms for Scientific Computing in Python**Pauli Virtanen, Ralf Gommers, Travis E. Oliphant, et al.*2019 · 38,317 citations*](https://md.research.elamur.ai/free/en/papers/virtanen-2019-scipy-1-0-fundamental-algorithms/) 2. [**UMAP: Uniform Manifold Approximation and Projection for Dimension Reduction**Leland McInnes, John Healy, James Melville*2018 · 7,136 citations*](https://md.research.elamur.ai/free/en/papers/mcinnes-2018-umap-uniform-manifold-approximation-projection/) 3. [**Neural Message Passing for Quantum Chemistry**Justin Gilmer, Samuel S. Schoenholz, Patrick F. Riley, et al.*2017 · 3,699 citations*](https://md.research.elamur.ai/free/en/papers/gilmer-2017-neural-message-passing-quantum-chemistry/) 4. [**hdbscan: Hierarchical density based clustering**Leland McInnes, John Healy, Steve Astels*2017 · 2,932 citations*](https://md.research.elamur.ai/free/en/papers/mcinnes-2017-hdbscan-hierarchical-density-clustering/) 5. [**Measuring Mathematical Problem Solving With the MATH Dataset**Dan Hendrycks, Collin Burns, Saurav Kadavath, et al.*2021 · 2,318 citations*](https://md.research.elamur.ai/free/en/papers/hendrycks-2021-measuring-mathematical-problem-solving-math/) 6. [**Hedges: A Study in Meaning Criteria and the Logic of Fuzzy Concepts**George Lakoff*1973 · 1,486 citations*](https://md.research.elamur.ai/free/en/papers/lakoff-1973-hedges-study-meaning-criteria/) 7. [**Fast Graph Representation Learning with PyTorch Geometric**Matthias Fey, Jan Eric Lenssen*2019 · 1,413 citations*](https://md.research.elamur.ai/free/en/papers/fey-2019-fast-graph-representation-learning-pytorch/) 8. [**Autonomous chemical research with large language models**Daniil A. Boiko, Robert MacKnight, Ben Kline, et al.*2023 · 1,122 citations*](https://md.research.elamur.ai/free/en/papers/boiko-2023-autonomous-chemical-research-large-language/) 9. [**Finite-State Transducers in Language and Speech Processing**Mehryar Mohri*1997 · 1,021 citations*](https://md.research.elamur.ai/free/en/papers/mohri-1997-finite-state-transducers-language-speech/) 10. [**Are NLP Models really able to Solve Simple Math Word Problems?**Arkil Patel, Satwik Bhattamishra, Navin Goyal*2021 · 882 citations*](https://md.research.elamur.ai/free/en/papers/patel-2021-are-nlp-models-really-able/) 11. [**CodeSearchNet Challenge: Evaluating the State of Semantic Code Search**Hamel Husain, Ho-Hsiang Wu, Tiferet Gazit, et al.*2020 · 647 citations*](https://md.research.elamur.ai/free/en/papers/husain-2020-codesearchnet-challenge-evaluating-state-semantic/) 12. [**Solving General Arithmetic Word Problems**Subhro Roy, Dan Roth*2015 · 580 citations*](https://md.research.elamur.ai/free/en/papers/roy-2015-solving-general-arithmetic-word-problems/) 13. [**MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models**Longhui Yu, Weisen Jiang, Han Shi, et al.*2023 · 556 citations*](https://md.research.elamur.ai/free/en/papers/yu-2023-metamath-bootstrap-your-own-mathematical/) 14. [**Learning to Solve Arithmetic Word Problems with Verb Categorization**Mohammad Javad Hosseini, Hannaneh Hajishirzi, Oren Etzioni, et al.*2014 · 513 citations*](https://md.research.elamur.ai/free/en/papers/hosseini-2014-learning-solve-arithmetic-word-problems/) 15. [**MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms**Aida Amini, Saadia Gabriel, Shanchuan Lin, et al.*2019 · 500 citations*](https://md.research.elamur.ai/free/en/papers/amini-2019-mathqa-interpretable-math-word-problem/) 16. [**Solving olympiad geometry without human demonstrations**Trieu H. Trinh, Yuhuai Wu, Quoc V. Le, et al.*2024 · 482 citations*](https://md.research.elamur.ai/free/en/papers/trinh-2024-solving-olympiad-geometry-without-human/) 17. [**Mathematical Capabilities of ChatGPT**Simon Frieder, Luca Pinchetti, Alexis Chevalier, et al.*2023 · 443 citations*](https://md.research.elamur.ai/free/en/papers/frieder-2023-mathematical-capabilities-chatgpt/) 18. [**MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts**Pan Lu, Hritik Bansal, Tony Xia, et al.*2023 · 441 citations*](https://md.research.elamur.ai/free/en/papers/lu-2023-mathvista-evaluating-mathematical-reasoning-foundation/) 19. [**Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement**An Yang, Beichen Zhang, Binyuan Hui, et al.*2024 · 410 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-qwen2-5-math-technical-report/) 20. [**Synchronous Tree-Adjoining Grammars**Stuart M. Shieber, Yves Schabes*1990 · 404 citations*](https://md.research.elamur.ai/free/en/papers/shieber-1990-synchronous-tree-adjoining-grammars/) 21. [**WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct**Haipeng Luo, Qingfeng Sun, Can Xu, et al.*2023 · 366 citations*](https://md.research.elamur.ai/free/en/papers/luo-2023-wizardmath-empowering-mathematical-reasoning-large/) 22. [**Characterizing Structural Descriptions Produced by Various Grammatical Formalisms**K. Vijay-Shanker, David J. Weir, Aravind K. Joshi*1987 · 354 citations*](https://md.research.elamur.ai/free/en/papers/shanker-1987-characterizing-structural-descriptions-produced-various/) 23. [**Learning Non-Isomorphic Tree Mappings for Machine Translation**Jason Eisner*2003 · 353 citations*](https://md.research.elamur.ai/free/en/papers/eisner-2003-learning-non-isomorphic-tree-mappings/) 24. [**Parsing English with a Link Grammar**Daniel D. Sleator, Davy Temperley*1993 · 339 citations*](https://md.research.elamur.ai/free/en/papers/sleator-1993-parsing-english-link-grammar/) 25. [**Chameleon: Plug-and-Play Compositional Reasoning with Large Language Models**Pan Lu, Baolin Peng, Hao Cheng, et al.*2023 · 311 citations*](https://md.research.elamur.ai/free/en/papers/lu-2023-chameleon-plug-play-compositional-reasoning/) **1** [2](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/page/2/) [next →](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/page/2/) Updated 23 October 2026 - [← previous subfield Artificial Intelligence](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) - [next subfield → Computer Graphics and Computer-Aided Design](https://md.research.elamur.ai/free/en/shelves/computer-science/computer-graphics-and-computer-aided-design/) - [↑ back to Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/)