OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy

Advanced Abacus: Theory and Practice

Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

Finding Zero: A Mathematician's Odyssey to Uncover the Origins of Numbers

Cracking The Mental Math Code: A Repertoire Of Number Sense Techniques

Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings

Genetic Algorithms and Genetic Programming: Modern Concepts and Practical Applications

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings

Recent Developments in Mathematical Programming

Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Surya Script Number System: Unlock the Power of Numbers: A New Language of Symbols and Dots

Grade 1 Math Workbook | BeeOne: Aligned with PYP (IB) / KS1 / Singapore/ Common core and more

Artificial Intelligence. ECAI 2023 International Workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I

A Concise Introduction to Numerical Analysis

Nature's Numbers

Time-Dependent Problems and Difference Methods: Edition 2

The Invention of Numbers

BeeOne Grade 4 Math Workbook 2020 Edition