UTILIZING MATHEMATICAL SOFTWARE FOR THE TEACHING AND LEARNING OF MATHEMATICS IN MALAYSIA

Συγγραφείς: Naiim Fatimi Che Mansor, Saufianim Jana Aksah, Nor Aziyatul Izni, Khairul Huda Yusof, M. N. Mohammed

Πηγή: Malaysian Journal of Computing, Vol 10, Iss 2, Pp 2293-2307 (2025)

Θεματικοί όροι: mathematics education, mathematical software, students' performance in mathematics, technology adaptation, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ir.uitm.edu.my/id/eprint/125997/; https://doaj.org/toc/2600-8238

Σύνδεσμος πρόσβασης: https://doaj.org/article/fda0744d13a24c31ab3e3feb54ac6095

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling

Συγγραφείς: Ishii, Hiromi, Shimizu, Taro, Teramura, Toshiki

Θεματικοί όροι: Computer Science - Programming Languages, Computer Science - Mathematical Software, Mathematics - Optimization and Control

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.06495

Introduction to Analytical Software Engineering Design Paradigm

Συγγραφείς: Houichime, Tarik, Amrani, Younes El

Θεματικοί όροι: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Mathematical Software, Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.11979

Introduction to Analytical Software Engineering Design Paradigm

Συγγραφείς: Tarik Houichime, Younès El Amrani

Πηγή: 2025 5th International Conference on Electrical, Computer and Energy Technologies (ICECET). :1-7

Θεματικοί όροι: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Computation and Language, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computer Science - Mathematical Software, Computation and Language (cs.CL), Mathematical Software (cs.MS), Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.11979

Learning from Landmarks, Curves, Surfaces, and Shapes in Geomstats

Συγγραφείς: Luís F. Pereira, Alice Le Brigant, Adele Myers, Emmanuel Hartman, Amil Khan, Malik Tuerkoen, Trey Dold, Mengyang Gu, Pablo Suárez-Serrato, Nina Miolane

Πηγή: ACM Transactions on Mathematical Software. 52:1-31

Θεματικοί όροι: Mathematics - Differential Geometry, FOS: Computer and information sciences, Computer Science - Graphics, Differential Geometry (math.DG), FOS: Mathematics, Computer Science - Mathematical Software, Mathematical Software (cs.MS), Graphics (cs.GR)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2406.10437

A Symbolic Computing Perspective on Software Systems

Συγγραφείς: Norman, Arthur C., Watt, Stephen M.

Θεματικοί όροι: Computer Science - Symbolic Computation, Computer Science - Mathematical Software, Computer Science - Software Engineering, I.1.3

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2406.09085

QR and LQ Decomposition Matrix Backpropagation Algorithms for Square, Wide, and Deep–Real or Complex–Matrices and Their Software Implementation

Συγγραφείς: Roberts, Denisa A. O., Roberts, Lucas R.

Πηγή: Proceedings of the 2024 International Conference on Algorithmic Differentiation (AD) ISBN: 9781611979039

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Machine Learning, Statistics - Machine Learning, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Computer Science - Mathematical Software, Machine Learning (stat.ML), Mathematics - Numerical Analysis, 02 engineering and technology, Numerical Analysis (math.NA), Mathematical Software (cs.MS), Machine Learning (cs.LG)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2009.10071

Qualitative and Quantitative Approach to Ordinary Differential Equations through Mathematical Software

Συγγραφείς: Luis_Jaime Collantes_Santisteban, Alberto Hananel, Samuel Collantes, Rosa Gonzales

Πηγή: CLEI Electronic Journal, Vol 28, Iss 4 (2025)

Θεματικοί όροι: Ordinary Differential Equations, Mathematical Software, Maple, Geometric and Numerical Analysis, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://clei.org/cleiej/index.php/cleiej/article/view/689; https://doaj.org/toc/0717-5000

Σύνδεσμος πρόσβασης: https://doaj.org/article/d01433e3877d44d9b9a0b7acf5d9a34c

1. Introduction to computer mathematics languages

Πηγή: MATLAB Programming. Dec 09, 2024

New Time Integrators and Capabilities in SUNDIALS Versions 6.2.0-7.4.0

Συγγραφείς: Steven B. Roberts, Mustafa Aggul, Daniel R. Reynolds, Cody J. Balos, David J. Gardner, Carol S. Woodward

Πηγή: ACM Transactions on Mathematical Software. 52:1-14

Θεματικοί όροι: FOS: Computer and information sciences, UMBC High Performance Computing Facility (HPCF), Mathematical Software, Computer Science - Mathematical Software, Mathematical Software (cs.MS)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.14976
https://arxiv.org/abs/2506.14976

Development of a Python-Based Software for Calculating the Jones Polynomial: Insights into the Behavior of Polymers and Biopolymers

Συγγραφείς: Musfeldt, Caleb

Θεματικοί όροι: Computer Science - Mathematical Software, Mathematics - General Topology

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2410.22652

A Symbolic Computing Perspective on Software Systems

Συγγραφείς: Arthur C. Norman, Stephen M. Watt

Πηγή: Lecture Notes in Computer Science ISBN: 9783032081865

Θεματικοί όροι: Computer Science - Symbolic Computation, Software Engineering (cs.SE), FOS: Computer and information sciences, I.1.3, Computer Science - Software Engineering, Computer Science - Mathematical Software, Symbolic Computation (cs.SC), Mathematical Software (cs.MS)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2406.09085

QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent

Συγγραφείς: Kushnir, Samuel, Leng, Jiaqi, Peng, Yuxiang, Fan, Lei, Wu, Xiaodi

Θεματικοί όροι: Quantum Physics, Computer Science - Mathematical Software, Mathematics - Optimization and Control

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2409.03121

Foundations of Software Science and Computation Structures

Συνεισφορές: Abdulla, Parosh Aziz, Kesner, Delia

Θεματικοί όροι: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists

Περιγραφή αρχείου: application/pdf

Relation: Lecture Notes in Computer Science

Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/101666

MLDev: Data Science Experiment Automation and Reproducibility Software

Συγγραφείς: Khritankov, Anton, Pershin, Nikita, Ukhov, Nikita, Ukhov, Artem

Πηγή: DAMDID/RCDL-2021, CCIS vol. 1620 (2022), Springer Cham, 3-18

Θεματικοί όροι: Computer Science - Machine Learning, Computer Science - Mathematical Software, Computer Science - Software Engineering, I.2.m

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2107.12322

ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems

Συγγραφείς: Brenner S. Rego, Joseph K. Scott, Davide M. Raimondo, Marco H. Terra, Guilherme V. Raffo

Πηγή: 2025 IEEE 64th Conference on Decision and Control (CDC). :2420-2427

Θεματικοί όροι: FOS: Computer and information sciences, Optimization and Control (math.OC), FOS: Electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Computer Science - Mathematical Software, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, Mathematics - Optimization and Control, Mathematical Software (cs.MS)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2504.06467

Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems

Συγγραφείς: Greiner-Petter, André

Πηγή: Bulletin of IEEE Technical Committee on Digital Libraries 15.1 (Jan. 2019)

Θεματικοί όροι: Computer Science - Information Retrieval, Computer Science - Mathematical Software

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2011.14616

Designing a Framework for Solving Multiobjective Simulation Optimization Problems

Συγγραφείς: Tyler H. Chang, Stefan M. Wild

Πηγή: INFORMS Journal on Computing

Θεματικοί όροι: FOS: Computer and information sciences, Networking and Information Technology R&D (NITRD) (rcdc), simulation optimization, open-source software design, surrogate modeling, 46 Information and Computing Sciences (for-2020), Optimization and Control (math.OC), 4901 Applied Mathematics (for-2020), engineering design optimization, FOS: Mathematics, 49 Mathematical Sciences (for-2020), multiobjective optimization, Computer Science - Mathematical Software, Mathematics - Optimization and Control, Mathematical Software (cs.MS), 4602 Artificial Intelligence (for-2020)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2304.06881
https://escholarship.org/content/qt3gr340t0/qt3gr340t0.pdf
https://escholarship.org/uc/item/3gr340t0

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics

Συγγραφείς: Fages, François

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Mathematical Software, Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2402.17286

Int2Int: A framework for mathematics with transformers

Συγγραφείς: François Charton

Πηγή: Advances in Theoretical and Mathematical Physics. 29:2201-2224

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Machine Learning, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computer Science - Mathematical Software, Mathematical Software (cs.MS), Machine Learning (cs.LG)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2502.17513