New ideas for handling of loop and angular integrals in D-dimensions in QCD by Valery E. Lyubovitskij, Fabian Wunder, Alexey S. Zhevlakov

“…It gives a very simple representation for the final results and is more convenient for calculations on computer algebra systems. In case of angular integrals we demonstrate how to simplify the integration of differential cross sections over polar angles. …”
Get full text

REDUCED ISOTROPIC CRYSTAL MODEL WITH RESPECT TO THE FOURTH-ORDER ELASTIC MODULI by O. Burlayenko, V. Khodusov, A. Naumovets

“…To calculate the coefficients of these relations, computer algebra systems Redberry and Mathematica for working with high order tensors in the symbolic and explicit form were used, in light of the overly complex computation. …”
Get full text

Calculation of the normal modes of closed waveguides by Mikhail D. Malykh, Dmitriy V. Divakov, Alexandre A. Egorov, Yaroslav Yu. Kuziv

“…At the same time, we strive for ease of implementation of the developed methods in computer algebra systems (Maple, Sage) or in software oriented to the finite element method (FreeFem++). …”
Get full text

Semantic-based retrieval for mathematical knowledge by Sidath Harshanath Samarasinghe

Get full text

Algebraic School of V.M. Glushkov and Insertion Modeling by Oleksandr Letychevskyi

“…The work considers the formation of the paradigm of insertion modeling as a generalization of the main achievements of the Glushkov school, starting from the theory of automata and up to modern computer algebra systems. The main concepts from which insertion modeling was formed are considered, namely, symbolic computations, which were implemented even in the first personal machine of the MIR series. …”
Get full text

A space-time model for analyzing contagious people based on geolocation data using inverse graphs by Salvador Merino, Juergen Doellner, Javier Martínez, Francisco Guzmán, Rafael Guzmán, Juan de Dios Lara

“…In particular, we focus on models programmed using Computer Algebra Systems and based on a space-time model that allows for describing the patterns of contagion through spatial movement patterns. …”
Get full text

Modeling of Some Classes of Extended Oscillators: Simulations, Algorithms, Generating Chaos, and Open Problems by Nikolay Kyurkchiev, Tsvetelin Zaevski, Anton Iliev, Vesselin Kyurkchiev, Asen Rahnev

“…One of the main goals of the study is to share the difficulties that researchers (who are not necessarily professional mathematicians) encounter in using contemporary computer algebraic systems (CASs) for scientific research to examine in detail the dynamics of modifications of classical and newer models that are emerging in the literature (for the large values of the parameters of the models). …”
Get full text

Analytical investigations of propagation of ultra-broad nonparaxial pulses in a birefringent optical waveguide by three computational ideas by Yuanyuan Liu, Jalil Manafian, Gurpreet Singh, Naief Alabed Alkader, Kottakkaran Sooppy Nisar

“…This method is based on the general properties of the nonlinear model of expansion method with the support of the complete discrimination system for polynomial method and computer algebraic system (AS) such as Maple or Mathematica. …”
Get full text

Analysis of isogrid reinforced cylindrical vessels in the case of axially symmetric buckling by Stefan HOTHAZIE, Camelia MUNTEANU, Mihaela NASTASE, Radu BIBIRE

“…The analytical algorithm is then implemented in a computed algebra system, which will quickly compute approximate values for the buckling factor and mass of the structure.…”
Get full text

Performance Engineering of Modular Symbols by Boonsiriseth, Krit

“…Our program MFSplit is based on modular symbols, which is a formalism commonly used to compute modular forms. Existing computer algebra systems such as Sage and Magma include implementations of modular symbols. …”
Get full text

FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs by Tiziano Peraro

“…This allows to easily implement a wide range of methods over finite fields in high-level languages and computer algebra systems, without being concerned with the low-level details of the numerical implementation. …”
Get full text

Spreadsheets, Graphing Calculators and the Line of Best Fit by Bernie O'Sullivan

“…For a discussion on the incorporation of computer algebra systems (CAS), see Flynn et al [1]. One technique that can now be done, almost mindlessly, is the line of best fit. …”
Get full text

Spreadsheets, Graphing Calculators and the Line of Best Fit by Bernie O'Sullivan

“…For a discussion on the incorporation of computer algebra systems (CAS), see Flynn et al [1]. One technique that can now be done, almost mindlessly, is the line of best fit. …”
Get full text

Nonlinear Dynamics of a New Class of Micro-Electromechanical Oscillators—Open Problems by Nikolay Kyurkchiev, Tsvetelin Zaevski, Anton Iliev, Vesselin Kyurkchiev, Asen Rahnev

“…Some open problems related to the use of existing computer algebraic systems for the study of this class of oscillators for large values of <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>n</mi><mo>,</mo><mi>m</mi></mrow></semantics></math></inline-formula> and <i>N</i> are also posed. …”
Get full text

A fast and general algebraic approach to Railway Interlocking System across all train stations by Antonio Hernando, José Luis Galán-García, Gabriel Aguilera-Venegas

“…Over the years, we have developed various algebraic models to address this issue, suggesting the potential use of computer algebra systems in implementing interlocking systems. …”
Get full text

Generalized Taylor–Duffy Method for Efficient Evaluation of Galerkin Integrals in Boundary-Element Method Computations by Reid, M. T. Homer, White, Jacob K., Johnson, Steven G.

“…We present a generic technique, automated by computer-algebra systems and available as open-source software, for efficient numerical evaluation of a large family of singular and nonsingular four-dimensional integrals over triangle-product domains, such as those arising in the boundary-element method (BEM) of computational electromagnetism. …”
Get full text
Get full text
Get full text

Reconstruction of Modular Data from SL₂(Z) Representations by Ng, Siu-Hung, Rowell, Eric C., Wang, Zhenghan, Wen, Xiao-Gang

“…Most of the calculations can be automated using a computer algebraic system, which can be employed to classify modular data of higher rank modular tensor categories. …”
Get full text

Numerical investigation into the existence of limit cycles in two-dimensional predator–prey systems by Quay van der Hoff, Johanna C. Greeff, P. Hendrik Kloppers

“…These proofs make use of Dulac functions, Liénard equations and invariant regions, relying on theory developed by Poincaré, Poincaré-Bendixson, Dulac and Liénard, and are generally perceived as difficult. Computer algebra systems are ideally suited to apply numerical methods to confirm or refute the analytical findings with respect to the existence of limit cycles in non-linear systems. …”
Get full text

Commuting Outer Inverse-Based Solutions to the Yang–Baxter-like Matrix Equation by Ashim Kumar, Dijana Mosić, Predrag S. Stanimirović, Gurjinder Singh, Lev A. Kazakovtsev

“…Furthermore, algorithms for computing the solutions are developed corresponding to the suggested methods in some computer algebra systems. The main features of the proposed approach are highlighted and illustrated by numerical experiments.…”
Get full text

ChatGPT Challenges Blended Learning Methodologies in Engineering Education: A Case Study in Mathematics by Luis M. Sánchez-Ruiz, Santiago Moll-López, Adolfo Nuñez-Pérez, José Antonio Moraño-Fernández, Erika Vega-Fleitas

“…The study collected data through a survey of 110 students enrolled in a Mathematics I course in BEng Aerospace Engineering where a blended methodology, including flipped teaching, escape room gamification, problem-solving, and laboratory sessions and exams with a computer algebraic system were used. The data collected were analyzed using statistical methods and tests for significance. …”
Get full text