Mathematical Modelling with Programming
Mathematical Modelling with Programming
Ethical approval: N/a this field and the emergence of new promising areas their effective application. The main questions guiding
Consent: N/a of research. this scoping review are the following:
Funding: No industry funding According to Li et al.1, there is a positive correlation
Conflicts of interest: N/a between mathematical skills and programming effec- • What are the key theoretical approaches in mathe-
Author contribution: tiveness, which highlights the importance of mathe- matical modelling for different problem types;
Aliima Mamatkasymova matical training for successful solving of modelling • How do software implementation features influ-
and Gulaim Zikirova: problems. Research in the field of linear programming, ence the selection of modelling methods;
conceptualisation, methodology,
data curation, writing- such as the study by Bellingeri et al.2 and Gholamnejad • What role do advanced computing technologies
original draft preparation. et al.3, demonstrated how mathematical models can play in enhancing the efficiency and accuracy of
Gulmira Saparova and Bektur be used to optimise processes in various industries, mathematical modelling.
Omurzakov: software, validation,
writing-reviewing, and editing. including agriculture and mining. These studies con-
Sonun Asanova: visualisation, firm that mathematical modelling covers a wide range Materials and Methods
investigation, and supervision. of applications, from optimising resources in agricul- This study’s foundation is a thorough analysis of pre-
All authors read and approved
the final manuscript ture to solving complex health problems.4,5 vious studies on the application of hybrid algorithms,
Guarantor: Aliima
However, despite significant achievements in the cloud computing, and quantum computing in the inte-
Mamatkasymova field of mathematical modelling, the theory of this field gration of mathematical modelling with contemporary
Provenance and peer-review: as a separate science is just beginning to take shape, programming languages.
Unsolicited and externally peer- which opens up new horizons for further research.6 The study involved a thorough search of several
reviewed It is important to note that using programming lan- scholarly databases, including Google Scholar, IEEE
Data availability statement: guages to implement mathematical models not only Xplore, Scopus, and SpringerLink. Articles, conference
All the data is provided in the
manuscript improves the quality of solutions but also contributes proceedings, and technical reports were all included in
to a deeper understanding of mathematical concepts the search, giving a wide overview of the area. Studies
and methods. Within the framework of this study, a included in the review were required to:
wide range of theoretical approaches and methods will
be considered that help to effectively solve mathemat- • address mathematical modelling techniques using
ical modelling problems using modern programming programming languages in fields such as physics,
languages. engineering, resource optimisation, and artificial
The systematisation and analysis of the theoretical intelligence;
foundations of mathematical modelling, and the study • present applications of hybrid methods that com-
of the features of the software implementation of mod- bine traditional mathematical techniques with ma-
els in various programming languages, are aimed at chine learning algorithms or cloud-based comput-
identifying the most promising approaches and meth- ing platforms;
ods for solving a wide class of modelling problems. • be written in English across 2000–2025;
This was confirmed by Taloub et al.7, who discussed • focus on analytical, numerical, and statistical ap-
numerical methods for solving equations, which is an proaches for solving complex scientific and techni-
important aspect in the context of programming. Addi- cal problems.
tionally, the study by Fitriah et al.8 emphasised the • The search queries for each database were:
importance of applying models in an educational con- • Google Scholar: The query used was: (“mathemat-
text, where the use of appropriate resources and mate- ical modelling” AND “programming languages”
rials can significantly improve mathematical learning AND (“hybrid algorithms” OR “machine learning”
outcomes. This indicates that theoretical approaches OR “cloud computing” OR “quantum computing”)),
to mathematical modelling can be successfully inte- aiming to capture studies that explore the intersec-
grated into educational programmes, which, in turn, tion of mathematical modelling and advanced com-
contributes to the development of programming skills puting technologies.
among students. • IEEE Xplore: The following search phrases were
Thus, the connection between mathematical mod- employed: (“mathematical modelling” AND “pro-
elling and educational methods opens up new hori- gramming languages” AND (“machine learning” OR
zons for further research and practical application. “AI” OR “cloud computing” OR “quantum comput-
Afrilianto et al.9 also emphasised the importance of a ing”)), ensuring the inclusion of papers discussing
creative approach in teaching mathematics, which may the application of modern computational methods
be associated with the development of new methods in mathematical modelling.
and models for solving mathematical modelling prob- • Scopus: The search string used was: (“mathemat-
lems. The study showed that the use of active teaching ical modelling” AND “programming languages”)
methods, such as project-based learning, promotes AND (“hybrid algorithms” OR “cloud computing”
the development of creative thinking among students, OR “machine learning” OR “quantum computing”),
which is an important aspect for the successful appli- designed to identify studies that integrate mathe-
cation of mathematical models in real-world tasks. matical modelling with advanced programming
The purpose of this study is to analyse existing languages and cutting-edge technologies.
approaches and methods for the use of programming • SpringerLink: The search utilised the following
languages in solving mathematical modelling prob- query: (“mathematical modelling” AND “program-
lems, with the goal of providing recommendations for ming languages”) AND (“hybrid methods” OR “AI
results for various task classes, such as dynamic sys- computational challenges and have a wide range of
tems, optimisation, and probabilistic processes, was applications in scientific and engineering domains.
used to gauge accuracy. While adaptability concen- n-body simulations involve calculating gravitational
trated on how well each method could be applied forces between multiple bodies, making them highly
across a range of problem types, from simple to com- demanding in terms of computational efficiency. Man-
plex, resource intensity took into account the compu- delbrot set calculations test both recursive functions
tational cost and efficiency required by each method. and numeric processing, whereas spectral-norm com-
For this purpose, the principles of deductive gener- putations evaluate a language’s capacity to handle
alisation were applied: from the analysis of special matrix operations in linear algebra. These challenges
cases, such as modelling turbulent flows or thermal were selected to represent a variety of computational
processes, to the formulation of universal patterns. issue types that are frequently encountered in scien-
The n-body simulation, spectral-norm computation, tific computing, such as numerical methods, linear
and Mandelbrot set calculation tasks were chosen algebra, and physical modelling. Workload sizes,
for this review because they each represent distinct like the number of bodies in the n-body simulation
or the iterations in the Mandelbrot calculation, were complex problems where analytical solutions are
standardised between investigations to provide a fair unavailable. Numerical methods are of particular
comparison. This method enables a thorough assess- importance in modelling turbulent flows. Statistical
ment of each programming language’s performance on methods are effective when dealing with uncertainty
a range of computing tasks. Three programming lan- and probabilistic processes. The evolutionary devel-
guages were used in the examined studies: Julia, C++, opment of modelling methods is characterised by
and Python. Python and Julia were selected for their the transition from analytical to numerical methods.
high-level, user-friendly environments, while C++ was The choice of the modelling method is determined
frequently chosen for its computational efficiency in by the specifics of the area under study. In particle
resource-demanding jobs. physics, priority is given to statistical methods of mod-
An overview of the studies, which examines the elling the interaction of protons with matter, especially
integration of mathematical modelling techniques when using supercomputers.
with modern programming languages, was provided Modern computing power allows the application of
(Appendix C). The studies utilised programming lan- complex methods, including dynamic and large-scale
guages like Python, C++, and Julia, each chosen for modelling methods. Engineering tasks are often solved
their suitability in handling complex computational using simpler models such as RANS, which ensure a
tasks. The studies assessed programming language balance between accuracy and resource intensity.
performance using key metrics: execution time (mea- Quantum computing has the potential to revolution-
sured in CPU seconds), memory usage (measured in ise dynamic and large-scale modelling by leveraging
megabytes), and code size (measured in bytes). These quantum bits (qubits) that can exist in multiple states
metrics reflect the efficiency, complexity, and scalabil- simultaneously. This makes it possible for quantum
ity of the programming languages. Comparative anal- computers to solve complicated optimisation prob-
yses of these metrics were conducted to evaluate the lems far more quickly than traditional computing
programming languages’ effectiveness for the compu- techniques, which are constrained by sequential pro-
tational tasks at hand. Data from these studies were cessing and binary bits. Numerous potential solutions
collected and analysed using tools such as Pandas for can be investigated simultaneously by quantum algo-
data manipulation and Matplotlib for visualisations. rithms, like the Quantum Approximate Optimisation
The comparative analysis was based on standardised Algorithm. The accuracy and efficiency of dynamic
performance measurements from multiple resources, simulations and optimisation tasks could be signifi-
allowing for direct comparison of programming lan- cantly increased by quantum computers’ capacity to
guages across the reviewed studies. handle exponentially large datasets and execute com-
This review’s limitations include the exclusion of putations at previously unheard-of speeds. This is par-
research written in languages other than English, the ticularly true in domains like drug discovery, logistics,
possibility of publication bias, and the omission of and climate modelling, where traditional approaches
grey literature, which might have offered more infor- are unable to handle the problems’ extreme complexity
mation about the changing approaches in mathemat- and scale.
ical modelling. Hybrid approaches combining different modelling
Promising areas, such as the integration of quantum methods demonstrate increased efficiency. The inte-
computing and machine learning into conventional gration of numerical and analytical methods helps
modelling methods, were studied through the prism to improve the quality of modelling while optimising
of conceptual forecasting. This included analysing computational costs. The effectiveness of modelling
trends identified in publications on neural network methods is assessed by criteria of accuracy, computa-
approaches for approximating complex functions and tional speed, and big data processing capability. Each
optimising model parameters. approach is characterised by specific limitations and
advantages. Analytical methods provide high accuracy
Results and Discussion with limited applicability to complex tasks. Numerical
methods are flexible with increased resource intensity.
Theoretical Foundations of the Integration of Statistical methods are effective in conditions of uncer-
Mathematical Modelling and Programming tainty, but their accuracy depends on the quality of the
Mathematical modelling as a field of research covers a source data.
wide range of methods and techniques used to solve The relationship between mathematical concepts
scientific and technical problems. Progress in this area and software implementations is a complex area of
is conditioned by the development of computing tech- research covering various aspects of the transformation
nologies and the increase in available resources. The of abstract mathematical ideas into practical software
structure of mathematical modelling contains three solutions. This relationship is of critical importance in
main classes of methods. Analytical methods are used the fields of computer science, engineering, and data
to obtain accurate solutions in the field of differential analysis, where mathematical models underlie algo-
equations. However, in conditions of complex systems, rithms and systems that control software applications.
analytical approaches demonstrate limited effective- A key aspect of translating mathematical concepts into
ness. Numerical methods, including the finite element programme code is the need for a deep understanding
and finite difference methods, provide solutions to of mathematical structures and their representation
among nodes. Scalable and reactive systems efficiently process large-scale datasets and provide practical rec-
process large amounts of data through massively dis- ommendations optimises operational efficiency and
tributed architectures.18 Load balancing algorithms in strategic planning. Optimisation of memory usage and
distributed systems prevent overloading of individual caching is implemented through data locality manage-
nodes. Round-robin, least connections, and dynamic ment to provide quick access to frequently used infor-
load balancing algorithms are used. The choice of algo- mation. Caching mechanisms for intermediate results
rithm is determined by the characteristics of computa- minimise redundant calculations. Efficient memory
tional tasks and the network topology. management reduces access time and optimises overall
Synchronisation protocols for computing processes system performance. Computational complexity reduc-
ensure consistent operation and correct data exchange. tion techniques are based on the use of approximation
Locking mechanisms, semaphores, and message pass- algorithms that provide solutions close to optimal with
ing are used. The choice of synchronisation method reduced computational costs. The modified algorithms
affects the performance of distributed systems. Data demonstrate significant performance improvements in
consistency mechanisms include strong and eventual signal processing applications.23 Methods of simpli-
consistency models. Distributed transactions, consen- fying calculations, considering the specifics of tasks,
sus algorithms, and versioning are used. Consensus allow achieving faster and more effective solutions to
mechanisms ensure data integrity in distributed sys- complex mathematical problems.
tems.19 Distributed computing performance assess- Adaptive algorithm selection methods are based on
ment methods analyse performance metrics, including the analysis of input data to dynamically determine
throughput, latency, scalability, and resource utilisa- the optimal algorithm for completing a task. In sce-
tion. Benchmarking and performance analysis tools narios with significant variability in the computational
allow evaluating the system’s compliance with design costs of different algorithms, the adaptive approach
goals. Ways to minimise communication overhead minimises the total execution time. Hybrid schemes
include data compression, local processing, and effi- for optimising computational requirements in visible
cient communication protocols. light communication systems demonstrate the advan-
The integration of artificial intelligence (AI) into tages of adaptive algorithm selection.24 Optimisation of
modelling processes transforms the capabilities of Input/Output (I/O) and data exchange includes batch
mathematical models in various fields. Machine learn- processing of operations and minimisation of data
ing methods optimise mathematical models by identi- transfer. Intelligent adaptive management process
fying patterns and making predictions based on data. optimisation systems emphasise the importance of
The use of regression algorithms, the method of support effective data management to improve overall system
vectors and ensemble methods helps to refine models performance. Focusing on I/O optimisation ensures
using historical data.20 Neural network approaches improved performance and responsiveness of comput-
are effective in approximating complex functions that ing processes.
conventional mathematical models do not accurately
describe.21 The flexibility of neural networks ensures Comparative Analysis of the Effectiveness of Various
their adaptation to different types of data. Hybrid mod- Programming Languages
elling systems combine conventional mathematical The performance of programming languages for mathe-
models with AI elements, combining the interpretabil- matical modelling is analysed based on three represen-
ity of mathematical models with the adaptability of tative tasks: physical modelling (n-body), linear algebra
AI. Such systems use a mathematical basis to generate (spectral-norm), and numerical methods (Mandel-
initial forecasts and then refine them using machine brot). The comparative analysis, presented in Table 2,
learning methods based on up-to-date data. highlights significant differences in performance
Automatic adjustment of model parameters is across these tasks, with each programming language
implemented through genetic algorithms and Bayes- demonstrating varying degrees of efficiency depending
ian optimisation, replacing manual adjustment and on the task at hand.
trial and error methods. Systematic evaluation of var- Each performance parameter in Table 2 is expressed
ious parameter configurations helps to determine the as a percentage of the task’s maximum value, ensur-
optimal settings that increase the performance of the ing a fair comparison of programming languages. This
model. Predictive analytics based on AI analyses large makes it possible to evaluate each language’s perfor-
amounts of data to identify patterns and make predic- mance across jobs in a relative manner by eliminating
tions. AI algorithms form predictive models that clas- scale disparities across measurements such as execu-
sify new data and predict future trends.22 AI-based tion time, code size, and compilation time. A more fair
model validation methods include cross-validation and consistent comparison of performance is made
and analysis of discrepancies between predicted and possible by normalisation.
actual results. The integration of AI into validation According to the analysis, Python takes the longest to
processes increases the reliability of models and their complete the n-body physical modelling work (100%),
applicability in real conditions. while Julia and C++ do noticeably better, with execu-
Intelligent decision support systems integrate math- tion durations that are less than 2% of Python’s. The
ematical models with AI algorithms to generate rec- compilation times differ even if the code sizes of the
ommendations based on data analysis. The ability to three languages are similar. Julia is a potential option
Table 2 | Comparative performance characteristics of preserving Python’s high-level syntax and flexibility.
programming languages, % This assertion is supported by studies by Bellingeri
N-body
et al.2 and Taloub et al.7, which show that Julia performs
almost as well as C++ in workloads requiring expen-
Language Execution Time Code Size Compilation Time
sive matrix operations while offering user-friendliness
Python 100 85.66 100.00 that speeds up development times.
C++ 1.44 100 54.49 Compilation time is an important consideration
Julia 0.63 83.31 2.49 for assessing language efficiency, especially in itera-
Spectral-Norm tive scientific computing where quick prototyping is
required, in addition to performance indicators like
Language Execution Time Code Size Compilation Time
execution time, memory utilisation, and code size. C++
Python 100.00 40.48 100.00
and Julia require lengthier compilation stages than
C++ 0.68 100.00 58.11 Python, which usually requires little. Julia’s JIT com-
Julia 0.33 41.43 2.64 piler causes delays during the initial run but makes up
Mandelbrot for it with faster subsequent executions. Studies must
address the uncertainty present in various hardware
Language Execution Time Code Size Compilation Time
configurations in order to further evaluate the trust-
Python 100.00 100.00 100.00
worthiness of these measurements. The outcomes are
C++ 1.42 94.81 55.90 affected by variations in cache optimisation strategies,
Julia 0.18 74.56 2.40 memory access speed, and CPU architecture. Accord-
Note: All indicators are normalised relative to the maximum value for each ing to Yang et al.19, the performance ranking of Python,
metric and are presented as a percentage. C++, and Julia varied depending on the underlying
Source: Compiled by the authors based on25.
hardware architecture when the identical code was run
on several platforms. This emphasises how crucial it
for mathematical modelling since it continuously is to define experimental parameters, such as task set-
demonstrates optimal performance with a moderate tings and system specifications, in order to guarantee
code size for all workloads. Although C++ has superior consistency and repeatability.
performance, it takes longer to develop since it needs The efficiency of mathematical models is increased
more code. Despite its lower performance, Python has by distributing calculations between processors. The
a large library ecosystem, which makes it perfect for ecosystem and the developer community provide
scientific computing’s quick development. access to documentation, training materials, and sup-
Support for mathematical operations and data types port forums. Community activity stimulates the con-
defines the basic functionality of a programming lan- tinuous development of libraries and tools. Package
guage. Built-in support for matrix manipulations, sta- support organisations contribute to the development
tistical functions, and numerical methods significantly and sustainability of software ecosystems.28
optimises the modelling process. Libraries like NumPy Integration capabilities with databases, visualisa-
provide high-level massive programming capabilities tion tools, and software optimise modelling workflows.
that simplify mathematical calculations.26 The avail- Python’s compatibility with various data formats and
ability of specialised libraries such as SciPy, Matplot- the ability to integrate with web applications and
lib, and TensorFlow minimises the cost of developing cloud services ensures its versatility. Cross-platform
mathematical models. The integration of programming compatibility and code portability minimise modifica-
with mathematical processes through a developed eco- tions when deployed on different operating systems.
system of libraries optimises the educational and prac- Python provides code execution on Windows, macOS,
tical aspects of programming in mathematics.27 and Linux, which optimises collaboration in distrib-
A more thorough understanding of language per- uted development teams. The speed of performing
formance in mathematical modelling has been made basic mathematical operations is a fundamental met-
possible by a number of peer-reviewed benchmarking ric for evaluating programming languages. The C and
studies. Li et al.1, for example, investigated perfor- C++ languages demonstrate high performance due to
mance across a range of numerical simulation tasks low-level memory access and efficient compilation into
and discovered that C++ routinely performs faster machine code. Extensive control over programme exe-
than Python and Julia, especially for high-complex- cution provides improved response time in computa-
ity, resource-intensive tasks like dynamic system tional tasks.29 Memory efficiency has a critical impact
simulations and large-scale matrix operations. In a on performance when processing large datasets. C and
similar vein, Shatyrko6 highlighted the benefits of C++ provide detailed control over memory manage-
C++ in dynamic system modelling, pointing out the ment. Rust implements the concepts of ownership and
increased computational efficiency that results from borrowing to prevent errors while maintaining high
low-level optimisation and direct memory manage- performance.30
ment. However, Julia is especially promising because it Compiler optimisations, including loop unrolling
balances the computational efficiency of C++ with the and dead code elimination, increase the efficiency
speed of Python development. Julia’s JIT compilation of the generated code. The compiler infrastructure
enables it to run at speeds comparable to C++ while plays a key role in optimising high-level programmes.
in Python, the Pandas library supports reading data the impact of deforestation and ocean pollution. Bio-
from 15+ formats, and tools like Apache Arrow provide inspired algorithms, such as neural networks and opti-
cross-language compatibility. Another problem is the mization methods based on ant behavior, are being
integration of the model into existing IT infrastruc- explored for use in robotics and power system manage-
tures. Microservice architecture and containerisation ment. Additionally, there is growing interest in models
(Docker, Kubernetes) help here, which simplify deploy- that can dynamically adapt to changing conditions,
ment and scaling. Web applications use frameworks as seen in autonomous transportation systems that
like Flask or FastAPI, which provide RESTful interfaces update algorithms based on real-time sensor data.
for interacting with the model. To fully leverage these advancements, the standard-
Methodological issues include the selection of an isation of tools and data is crucial. Open libraries like
adequate model, validation of results, and consider- TensorFlow for machine learning and OpenFOAM for
ation of uncertainties. For example, in machine learn- fluid dynamics should form the foundation for collab-
ing tasks, retraining a model based on training data oration across scientific communities. Data exchange
leads to incorrect predictions based on new data.64,65 formats such as HDF5 and Systems Biology Markup
The solution is cross-validation, regularisation, and the Language (SBML) are helping to ensure the reproduc-
use of synthetic data for testing. In physical modelling, ibility of research. The adoption of FAIR (Findable,
errors can occur due to simplifications in equations. Accessible, Interoperable, Reusable) principles will
Verification methods are used here through compari- be essential to ensure that models are transparent and
son with analytical solutions or benchmark tests (for accessible, including publishing not only the source
example, the Taylor-Green problem in hydrodynam- code but also detailed metadata that describes the
ics). Monte Carlo methods or Bayesian approaches experimental conditions.
implemented in the PyMC3 or TensorFlow Probability Ethical considerations are increasingly important in
libraries are used to account for uncertainties. Automa-
model development. Systems that influence decisions
tion of testing through CI/CD (GitHub Actions, GitLab
in fields such as healthcare, finance, or law need to be
CI) and frameworks (pytest, unittest) minimises the
assessed for potential biases in data and algorithms.
risks of regression during code modifications.
Methods like Explainable AI (XAI), including Local
Thus, successful model implementation requires not
Interpretable Model-agnostic Explanations (LIME) and
only mathematical rigour but also sound engineering
SHapley Additive exPlanations (SHAP), can enhance
practice, from optimising code to building reliable data
the transparency and fairness of decision-making
pipelines. The use of modern languages and tools (Julia
models by visualising and explaining algorithmic
for scientific calculations and Apache Spark for Big
logic. These methods aim to mitigate bias, improve
Data) reduces development time, and the openness of
accountability, and ensure that models remain inter-
the methodology strengthens confidence in the results.
pretable. However, the development of standards for
the certification of AI systems is still in its early stages,
Prospects for the Development of Mathematical
particularly in regions such as the EU, which is explor-
Modelling
ing regulatory frameworks that may set the stage for
Modern mathematical modelling is undergoing a sig-
global adoption.
nificant transformation, driven by advancements in
Collaboration between academia, industry, and
technology and the increasing demands of science
and industry. One of the key trends is the integration government is essential to accelerate innovation. Pro-
of classical methods with AI. For instance, hybrid grammes like the European Human Brain Project bring
approaches that combine Navier-Stokes equations together experts from diverse fields to create digital
with deep learning are being explored in aerodynam- brain models, while open competitions on platforms
ics to predict turbulence in real time, an important like Kaggle and DrivenData invite global talent to tackle
step for drone design. The use of cloud platforms and pressing issues like forest fire prediction and supply
distributed computing, such as Apache Hadoop and chain optimisation. The rise of Industry 4.0, driven by
Kubernetes, is expanding, enabling models to process the Internet of Things and digital twins, is pushing the
large datasets in fields like genomics and astrophys- integration of models into real-world production sys-
ics. While quantum computing holds the potential to tems, contributing to the development of edge comput-
address optimisation problems beyond the scope of ing, where data is processed directly on devices rather
classical methods, its practical application remains a than relying on cloud servers.
future prospect. Thus, the future of mathematical modelling is deter-
New interdisciplinary research areas are emerg- mined not only by technological progress but also by
ing, challenging the boundaries between traditional the ability of the scientific community to adapt. The
fields. For example, digital twins, initially developed development of quantum technologies, interdisciplin-
for industry, are now being adapted for medical use, ary research, and an ethically responsible approach
where virtual copies of human organs could predict create the basis for solving problems that until recently
responses to treatments and simulate surgical proce- were considered fantastic. From modelling quantum
dures. In environmental modelling, multidisciplinary materials to predicting social crises, these tools are
systems that integrate climate forecasts, economic becoming the key to sustainable development in an era
models, and satellite data are being used to evaluate of global challenges.
Conclusions References
This review offers a thorough summary of the chang- 1 Li J, Sun M, Dong Y, Xu F, Sun X, Zhou Y. The mediating effect of
creativity on the relationship between mathematic achievement
ing trends and approaches in mathematical modelling, and programming self-efficacy. Front Psy. 2022;12:772093.
based on an examination of the relationship between [Link]
mathematical modelling and programming languages. 2 Bellingeri A, Gallo A, Liang D, Masoero F, Cabrera VE.
The combination of hybrid algorithms and AI with tra- Development of a linear programming model for the optimal
allocation of nutritional resources in a dairy herd. J Dairy Sci.
ditional mathematical techniques is one of the biggest 2020;103(11):10898–10916. [Link]
developments, since it has created new opportunities jds.2020-18157
for more precise and efficient problem-solving. The 3 Gholamnejad J, Lotfian R, Kasmaeeyazdi S. A practical, long-
term production scheduling model in open pit mines using
potential of quantum computing and the enhanced
integer linear programming. J South African Inst Mining Metal.
processing capacity offered by cloud technologies 2020;120(12):665–670. [Link]
significantly expand the capabilities of mathematical 9717/769/2020
models, making it possible to address more challeng- 4 Bhamare DMA. Optimizing crop selection and production
planning in agriculture: Applications of linear programming
ing issues in a variety of scientific domains. for profit maximization and sustainability. Int J Res Pub
A comparative analysis of programming languages Rev. 2023;4(6):3281–3287. [Link]
has revealed the advantages of Python and Julia for gengpi.4.623.46630
research tasks due to their ecosystems, including spe- 5 Chukwu C, Nyabadza F, Asamoah J. A mathematical model and
optimal control for Listeriosis disease from ready-to-eat food
cialised libraries (NumPy, TensorFlow), which speeds products. Int J Comp Sci Math. 2023;17(1):39. [Link]
up prototyping. C++ retains its leadership in high- org/10.1504/ijcsm.2023.130421
performance computing, which is critically import- 6 Shatyrko A. Some methodological aspects of mathematical
modeling in dynamic systems. Int Sci J Eng & Agric. 2024;3(1):8–
ant for tasks requiring big data processing. The
14. [Link]
review also highlights how important software 7 Taloub D, Bouras A, Driss Z. Modeling and numerical solution
implementation is in determining how effective and of the Laplace equation in 2D by the finite difference method
applicable mathematical models are. In order to case of the heat equation – Study of stability. 2023. [Link]
org/10.21203/[Link]-2440144/v1
maximise the performance of these models, partic-
8 Fitriah F, Akorede A, Agyei E. Improving mathematics learning
ularly in resource-demanding domains like physical outcomes through the consideration model for class VII students.
simulations and AI-driven analytics, the program- Interval: Indonesian J Math Edu. 2023;1(2):47–55. [Link]
ming language selection and the underlying compu- org/10.37251/ijome.v1i2.771
9 Afrilianto M, Rosyana T, Linda L, Wijaya TT. Project-activity-
tational architecture are crucial. cooperative learning-exercise model in improving students’ creative
The prospects for the development of mathematical thinking ability in mathematics. Inf J. 2022;11(2):285–296.
modelling are related to the integration of quantum [Link]
10 Tricco AC, Lillie E, Zarin W, O’Brien KK, Colquhoun H, Levac D, et al.
computing, which opens up new opportunities for
PRISMA Extension for Scoping Reviews (PRISMA-ScR). Ann Intern
solving optimisation problems, and the strengthening Med. 2018;169(7):467–473. [Link]
of the role of AI in refining models based on noisy data. 11 Purnomo YW, Nabillah R, Aziz TA, Widodo SA. Fostering
These areas require an interdisciplinary approach, mathematical connections and habits of mind: A problem-based
learning module for elementary education. Inf J. 2024;13(2):333–
including cooperation between scientific communi-
348. [Link]
ties, business, and government. Ethical responsibility 12 Kusmaryono I, Aminudin M, Ubaidah N, Chamalah E. The bridging
remains an important aspect, especially when using understanding of language and mathematical symbols between
AI algorithms in sensitive areas such as healthcare or teachers and students: An effort to increase mathematical literacy.
Inf J. 2024;13(1):251–270. [Link]
finance. v13i1.p251-270
The limitations of the study are conditioned by the 13 Putrawan AA, Ayuni NWD. Tetra-helix concept model based on
dynamic development of technologies, which requires vocational realistic education (VRE). In: R.C.I. Prahmana, M. Shahrill,
H. Julie, A. Lukito, S.J. Andajani (Eds.), Proceedings of the Eighth
constant updating of methodologies, and the depen-
Southeast Asia Design Research (SEA-DR) & the Second Science,
dence of the results on the quality of the source data Technology, Education, Arts, Culture, and Humanity (STEACH)
and the availability of computing power. To overcome International Conference (SEADR-STEACH 2021). Amsterdam, Paris:
these challenges, it is necessary to develop adaptive Atlantis Press; 2022. Pp. 179–183. [Link]
assehr.k.211229.024
algorithms and strengthen educational programmes
14 Aleeva VN, Aleev RZ. Parallelism resource of numerical algorithms.
aimed at training specialists who possess both math- Version 1. 2022. [Link]
ematical apparatus and programming skills. The 15 Motara YM. High-level modelling for typed functional programming.
obtained results emphasise the importance of further In: V. Zsók, J. Hughes (Eds.), Trends in Functional Programming:
22nd International Symposium, TFP 2021, Virtual Event, February
integration of theoretical and applied aspects of mod- 17-19, 2021, Revised Selected Papers. Cham: Springer; 2021. pp.
elling, which contributes to solving complex prob- 69–94. [Link]
lems in science, engineering, and the social sphere. 16 Davydov V, Hrebeniuk D. Development of the methods for
A promising direction for future research is to expand resource reallocation in cloud computing systems. Innov Tech Sci
Solut Industr. 2020;3(13):25–33. [Link]
the analysis to include additional programming lan- itssi.2020.13.025
guages and HPC paradigms, such as Fortran, MAT- 17 Swatthong N, Aswakul C. Optimal cloud orchestration model
LAB, R, Rust, and parallel computing frameworks of containerized task scheduling strategy using integer linear
programming: Case studies of iotcloudserve@tein project. Energies
like OpenMP/MPI/CUDA, as well as explore domain-
2021;14(15):4536. [Link]
specific applications like CFD, molecular simulation, 18 Ezzrhari FE, Noureddine EAA, Youssfi M, Bouattane O. Scalable
and econometrics. and reactive multi micro-agents system middleware for massively
distributed systems. Int J Adv Comp Sci Applic. 2021;12(11):415– the gasoline fraction hydrotreating process in a fuzzy environment.
426. [Link] Processes. 2024;12(4):669. [Link]
19 Yang H, Xiong S, Frimpong SA, Zhang M. A consortium blockchain- pr12040669
based agricultural machinery scheduling system. Sensors 40 Orazbayev B, Zhumadillayeva A, Kabibullin M, Crabbe MJC,
2020;20(9):2643. [Link] Orazbayeva K, Yue X. A systematic approach to the model
20 Zhao T. Artificial intelligence in mathematical modeling of complex development of reactors and reforming furnaces with fuzziness and
systems. EAI Endorsed Trans E-Learn. 2024;10. [Link] optimization of operating modes. IEEE Access. 2023;11:74980–
org/10.4108/eetel.5256 74996. [Link]
21 Liu D, Xiong J, Babaker S. Uniqueness of system integration 41 Ashirbaev B, Altymyshova Z, Alymbaeva Z. Optimal energy-saving
scheme of artificial intelligence technology in fractional differential control for a thermal plant of a linear singularly perturbed discrete
mathematical equation. Appl Math Nonlin Sci. 2022;8(1):1155– system with a small step. In: Proc Int Conf Electr Comput Energy
1166. [Link] Technol, ICECET 2023; Cape Town: IEEE; 2023. [Link]
22 Mata T. A modified ABC-PTS with non-uniform phase factor for org/10.1109/ICECET58911.2023.10389496
OFDM signal. Int J Intel Eng Syst. 2021;14(4):115–122. [Link] 42 Yakovlev SV, Valuiskaya OA. Optimization of linear functions at
org/10.22266/ijies2021.0831.11 the vertices of a permutation polyhedron with additional linear
23 Wang C, Zhang W, Jiang D, Tong Z, Wang H. PAPR reduction hybrid constraints. Ukr Math J. 2001;53(9):1535–1545. [Link]
scheme for VLC systems based on conventional algorithm and org/10.1023/A:1014374926840
neural network. In: W. Yu, A. Bhattacharjya, W. Hu (Eds.), Fourth 43 Cherniha R, King JR, Kovalenko S. Lie symmetry properties of
International Conference on Advanced Manufacturing Technology nonlinear reaction-diffusion equations with gradient-dependent
and Electronic Information (AMTEI 2024). Bellingham: SPIE; 2025. diffusivity. Commun Nonlinear Sci Numer Simul. 2016;36:98–108.
[Link] [Link]
24 Harris CR, Millman KJ, Walt SJVD, Gommers R, Virtanen P, 44 Kyurchev V, Kiurchev S, Rezvaya K, Fatyeyev A, Głowacki S.
Cournapeau D, et al. Array programming with numpy. Nature Assessing the reliability of a mathematical model of working
2020;585(7825):357–362. [Link] processes occurring in a hydraulic drive. In: Lect Notes Mech Engin;
020-2649-2 Cham: Springer; 2024. p. 281–292. [Link]
25 The computer language 25.03 benchmarks game. 2025. https:// 3-031-63720-9_24
[Link]/benchmarksgame/ 45 Kadenko IM, Sakhno NV, Biró B, Fenyvesi A, Iermolenko RV, Gogota
measurements/[Link] OP. A bound dineutron: Indirect and possible direct observations.
26 Gadanidis G, Silva RSRD, Hughes J, Floyd S, Namukasa IK. Acta Phys Pol B Proc Suppl. 2024;17(1):1A31–1A39. [Link]
Computational literacy & mathematics education. Int J Res Math org/10.5506/APhysPolBSupp.17.1-A3
Edu. 2022;12(4):1–23. [Link] 46 Yermolenko R, Falko A, Gogota O, Onishchuk Y, Aushev V.
v12i4.3144 Application of machine learning methods in neutrino experiments. J
27 Zimmermann T, Falleri J. A grounded theory of community package Phys Stud. 2024;28(3). [Link]
maintenance organizations-registered report. 2021. [Link] 47 Babak V, Kharchenko V, Vasylyev V. Using generalized stochastic
org/10.48550/arxiv.2108.07474 method to evaluate probability of conflict in controlled air traffic.
28 Costanzo M, Rucci E, Naiouf M, Giusti AD. Performance vs Aviat. 2007;11(2):31–36. [Link]
programming effort between Rust and C on multicore architectures: 07.9635958
Case study in n-body. 2021. [Link] 48 Luniov SV. Calculation of electron mobility for the strained
arxiv.2107.11912 germanium nanofilm. J Nano- Electr Phys. 2019;11(2):02023.
29 Yesylevskyy S. MolAR: Memory-safe library for analysis of MD [Link]
simulations written in rust. J Comp Chem. 2025;46(1):e27536. 49 Karymsakova IB, Krak IV, Denissova NF. Criteria for implants
[Link] classification for coating implants using plasma spraying by robotic
30 Zhu H. Low-memory implementations of ridge solutions for broad complex. Euras J Math Comput Appl. 2017;5(3):44–52. [Link]
learning system with incremental learning. 2021. [Link] org/10.32523/2306-3172-2017-5-3-44-52
org/10.48550/arxiv.2105.10424 50 Kerimkhulle S, Aitkozha Z. A criterion for correct solvability of a first
31 Hatun M. Identification of Wiener systems with recursive Gauss- order difference equation. AIP Conf Proc. 2017;1880:040016.
Seidel algorithm. Electr Electric Eng. 2023;29(5):4–10. [Link] [Link]
org/10.5755/[Link].35119 51 Karaiev O, Bondarenko L, Halko S, Miroshnyk O, Vershkov O,
32 Zharlykasov BZh, Alimbaev AA, Kalzhanov MU, Telegina OS. Karaieva T, et al. Mathematical modelling of the fruit-stone culture
Modern computer methods in teaching mathematics and physics: seeds calibration process using flat sieves. Acta Technol Agric.
Exam using Python. Bull Toraighyrov Uni. Physics & Math Ser. 2021;24(3):119–123. [Link]
2023;4(2023):132–143. [Link] 52 Beisenbi M, Kaliyeva S. Synthesis of the control systems by the state
33 Amourah A, Frasin BA, Salah J, Al-Hawary T. Fibonacci of an object with single input and single output by a gradient-
numbers related to some subclasses of bi-univalent functions. velocity method of A.M. Lyapunov vector functions. Int J Civ Eng
Int J Math Math Sci. 2024;2024:8169496. [Link] Technol. 2018;9(10):2080–2086.
org/10.1155/2024/8169496 53 Sagari SM, Malagi VP, Sasi S. Euri – a deep ensemble architecture
34 Amourah A, Al-Hawary T, Yousef F, Salah J. Collection of bi-univalent for oral lesion segmentation and detection. Int. J. Intell. Syst. Appl.
functions using Bell distribution associated with Jacobi polynomials. Eng. 2024;12(3s):242–249.
Int J Neutrosophic Sci. 2025;25(1):228–238. [Link] 54 Zelisko VR, Kuchma MI. Factorization of symmetric matrices over
org/10.54216/IJNS.250121 polynomial rings with involution. J Math Sci. 1999;96(2):3017-
35 Avrunin OG, Tymkovych MY, Pavlov SV, Timchik SV, Kisała P, 3021. [Link]
Orakbaev Y. Classification of CT-brain slices based on local 55 Cherniha R, Serov M, Rassokha I. Lie symmetries and form-
histograms. Proc SPIE – Int Soc Optic Engin. 2015;9816:98161J. preserving transformations of reaction-diffusion-convection
[Link] equations. J Math Anal Appl. 2008;342(2):1363–1379. https://
36 Dmytruk AA, Gatalevych AI, Kuchma MI. Stable range conditions for [Link]/10.1016/[Link].2008.01.011
Abelian and duo rings. Matematych Studii. 2022;57(1):92–97. 56 Ushenko YA, Dubolazov AV, Karachevtcev AO, Zabolotna NI. A
[Link] fractal and statistic analysis of Mueller-matrix images of phase
37 Kal’chuk IV, Kravets VI, Hrabova UZ. Approximation of the classes inhomogeneous layers. Proc SPIE. 2011;8134:81340P. [Link]
WβrHα by three-harmonic Poisson integrals. J Math Sci (United org/10.1117/12.891812
States). 2020;246(1):39–50. [Link] 57 Chuzlov VA, Nazarova GY, Dolganov IM, Dolganova IO, Seitenova
020-04721-4 GZh. Calculation of the optimal blending component ratio by
38 Nazarova G, Ivashkina E, Ivanchina E, Shafran T, Stebeneva using mathematical modeling method. Petrol Sci Technol.
V, Seytenova G. Testing of cracking zeolite catalysts using 2019;37(10):1170–1175. [Link]
mathematical model. AIP Conf Proc. 2016;1772:060013. https:// 019.1578800
[Link]/10.1063/1.4964593 58 Ivanchina ED, Chuzlov VA, Ivanchin NR, Borissov A, Seitenov
39 Orazbayev B, Tanirbergenova A, Orazbayeva K, Berikbaeva M, GZ, Dusova RM. Mathematical modeling of the process catalytic
Kaliyeva S, Kurmangaziyeva L, et al. Decision making for control of isomerization of light naphtha. Petrol Coal. 2019;61(2):413–417.
59 Al-Hawary T, Amourah A, Salah J, Yousef F. Two inclusive subfamilies Syst. Comput. 2019;754:545–554. [Link]
of bi-univalent functions. Int J Neutrosophic Sci. 2024;24(4):315– 3-319-91008-6_55
323. [Link] 63 Babichev SA, Gozhyj A, Kornelyuk AI, Lytvynenko VI. Objective
60 Amourah A, Frasin B, Salah J, Yousef F. Subfamilies of bi-univalent clustering inductive technology of gene expression profiles based
functions associated with the imaginary error function and on SOTA clustering algorithm. Biopolym. Cell. 2017;33(5):379–
subordinate to Jacobi polynomials. Symmetry. 2025;17(2):157. 392. [Link]
[Link] 64 Imamguluyev R, Umarova N. Application of fuzzy logic apparatus
61 Orazbayev B, Kozhakhmetova D, Orazbayeva K, Utenova B. Approach to solve the problem of spatial selection in architectural-design
to modeling and control of operational modes for chemical and projects. Lect. Notes Netw. Syst. 2022;307:842–848. [Link]
engineering system based on various information. Appl. Math. Inf. Sci. org/10.1007/978-3-030-85626-7_98
2020;14(4):547–556. [Link] 65 Nekrasov S, Peterka J, Zhyhylii D, Dovhopolov A, Kolesnyk V.
62 Babichev S, Lytvynenko V, Gozhyj A, Korobchynskyi M, Voronenko M. Mathematical estimation of roughness Rz of threaded surface
A fuzzy model for gene expression profiles reducing based on the obtained by machining method. MM Sci. J. 2022;June:5699-5703.
complex use of statistical criteria and Shannon entropy. Adv. Intell. [Link]
Appendix A
Table A1 | Summary of key characteristics and methodologies of included studies on mathematical modelling and programming languages
Authors Focus Area Key Methodology Study Design Key Findings Additional Characteristics
1
Li et al. Mathematical Survey & Statistical Cross-sectional Found a positive correlation between Quantitative, Survey-Based, Focus
Achievemen1t Analysis mathematical skills and programming on Creativity as a Mediator
effectiveness
Bellingeri et al.2 Resource Linear Mathematical Optimised nutritional resources for dairy herd Applied to Agriculture,
Optimisation Programming modelling management Computational Model
Gholamnejad et al.3 Resource Integer Linear Mathematical Developed scheduling model for long-term mine Industrial Applications,
Optimisation Programming modelling operations Computational Optimisation
Bhamare4 Agricultural Linear Case study Optimised crop selection and production Focus on sustainability, profit
Optimisation Programming planning for profitability maximisation
Chukwu et al.5 Public Health Mathematical System dynamics Proposed optimal control strategies for Listeriosis Public Health, Disease Modeling
Modelling prevention
Shatyrko6 Dynamic Systems Numerical & Literature review Provided insights into modelling methods for Conceptual Framework,
Analytical Methods dynamic systems Methodological Review
Taloub et al.7 Numerical Finite Difference Experimental Studied stability and numerical solutions for Focus on Numerical Methods,
Methods Method study Laplace equations Stability Analysis
Fitriah et al.8 Education Model-Based Experimental Improved mathematics outcomes using Educational Intervention, Student
Learning study structured learning models Learning Focus
Afrilianto et al.9 Education Cooperative Intervention Enhanced creative thinking in mathematics Focus on Active Learning,
Learning study through collaborative learning Education Model
Kusmaryono et al.12 Educational Cross-Linguistic Qualitative Enhanced mathematical literacy by bridging Cross-Linguistic Focus, Education
Methods Analysis language and symbol understanding Analysis
Putrawan & Ayuni13 Education Conceptual Model Case study Proposed new educational model to integrate Vocational Education, Conceptual
vocational skills Framework
Aleeva & Aleev14 Numerical Algorithm Theoretical study Focused on improving resource allocation in Resource Optimisation, Parallel
Methods Optimisation parallel computation Algorithms
Motara15 Functional Functional Theoretical study Improved high-level modelling for typed Focus on Functional Programming,
Programming Programming functional programming Algorithm Design
Davydov & Cloud Computing Resource Case study Proposed methods for resource optimisation in Cloud Computing Focus, Resource
Hrebeniuk16 Reallocation cloud systems Management
Swatthong & Cloud Computing Cloud Experimental Optimised cloud task scheduling using integer Cloud Orchestration,
Aswakul17 Orchestration study linear programming Containerisation
Ezzrhari et al.18 Distributed Middleware Experimental Developed middleware for scalable multi-agent Distributed Systems, Middleware
Systems Optimisation study systems Design
Zhao20 AI & AI Integration Systematic Analysed AI’s role in solving complex system AI Integration, Systematic Review
Mathematical review modelling problems
Modelling
Liu et al.21 AI & AI System Conceptual study Focused on integrating AI technology into AI Integration, Advanced
Mathematical Integration fractional differential equations Mathematical Modeling
Modelling
Hatun31 Mathematical Recursive Experimental Explored Wiener systems identification using Recursive Algorithms, System
Algorithms Algorithms study recursive methods Identification
Zharlykasov et al.32 Education & Python Application Case study Applied modern computing methods to enhance Technology in Education, Python
Technology teaching in math and physics Programming
Amourah et al.33 Mathematical Function Analysis Analytical study Investigated properties of Fibonacci numbers in Mathematical Analysis, Function
Functions bi-univalent functions Theory
Costanzo et al.28 Programming Performance Comparative Compared performance between Rust and C in Performance Benchmarking,
Performance Benchmarking study multicore architectures Multicore Computing
Appendix B
(Continued)
Table A2 | Continued
Authors Year Title of the Work Inclusion Status Reason for Inclusion/Exclusion
Alvarez & 1998 Computational approaches to nonlinear dynamics in Excluded Predates 2000 cut-off for eligible studies.
Mendez classical systems
Petrov & 2003 Analytical foundations of the variational method in Excluded Purely theoretical study; no programming
Andreev mathematics implementation.
Kimura et al. 2012 Hardware optimisation for autonomous robotic systems Excluded Focused on hardware engineering; not mathematical
modelling.
Singh & Patel 2014 Applications of data mining in social networks Excluded No computational modelling or programming integration.
Martínez et al. 2011 Philosophical perspectives on mathematics education Excluded Lacks empirical or computational content.
Ivanov et al. 2015 Algorithmic methods in non-English mathematical Excluded Language criterion not met (Russian).
publications
Kwon & Park 2017 Algorithmic pedagogy in STEM education Excluded Pedagogical overview without empirical modelling
implementation.
Chavez et al. 2010 Software project management models in academic Excluded Project management context; not mathematical
environments modelling.
Nguyen et al. 2019 User interface frameworks for cross-platform applications Excluded Focused on UI development only; no mathematical
frameworks.
Rossi et al. 2016 Semiotics and mathematical aesthetics in teaching Excluded Theoretical discussion without modelling or coding
component.
Al-Mutairi 2007 Education policy reform in STEM curricula Excluded Not connected to mathematical modelling or
programming.
Chen & Luo 2018 Survey on cloud infrastructure deployment models Excluded Did not address mathematical modelling or computation.
Garcia et al. 2020 Digital literacy and computational thinking in education Excluded Conceptual paper without data or modelling examples.
Takahashi et al. 2021 Statistical education and curricular innovation Excluded No use of programming languages in modelling.
Morozov & 2022 Symmetry and nonlinear transformations in pure Excluded Pure mathematical analysis only; no computational
Kalinina mathematics aspect.
Santos et al. 2023 Quantitative models for social decision making without Excluded Methodological detail insufficient; no code or data
algorithmic implementation provided.
Gray & Walters 2019 Emerging technologies in science education – Policy report Excluded Grey literature; not peer-reviewed.
Tanaka & 2024 Machine learning engineering frameworks for industry Excluded Industrial engineering focus; not mathematical modelling.
Ishikawa
Abebe et al. 2020 Open data resources for computational science Excluded Dataset description paper; no applied modelling.
Schmidt et al. 2021 Physics curricula and learning outcomes in STEM universities Excluded Educational review without modelling application.
Appendix C