Factorization of Graded Traces on Nichols Algebras by Simon Lentner, Andreas Lochmann

“…We conclude empirically by listing all remaining examples, which were in size accessible to the computer algebra system GAP and find that again all graded characters factorize.…”
Get full text

تحليل الاستقرار لنظام فولتيرا – لوتكا بنمو لوجيستي باستخدام طريقتي ليابونوف by أحمد الكردي

“…Many numerical simulations have been carried out on computer algebra system: Maple and Matlab to illustrate the behavior of the considered system for a long time. …”
Get full text

Interval Quadratic Equations: A Review by Isaac Elishakoff, Nicolas Yvain

“…We will also compare the results yielded by all these methods by using the computer algebra system <i>Mathematica</i> for computer evaluations (including quantifier eliminations) in order to conclude which method would be the most efficient way to solve problems relevant to interval quadratic equations.…”
Get full text

NNLO anomalous dimension matrix for twist-two flavor-singlet operators by V.M. Braun, K.G. Chetyrkin, A.N. Manashov

“…We show that this property allows one to calculate off-diagonal parts of the anomalous dimension matrices for leading-twist operators from a set of two-point correlation functions of gauge-invariant operators which can be evaluated using standard computer algebra techniques. As an illustration, we present the results for the NNLO anomalous dimension matrix for flavor-singlet QCD operators for spin N≤8.…”
Get full text

Logarithm of a Non-Singular Complex Matrix via the Dunford–Taylor Integral by Diego Caratelli, Paolo Emilio Ricci

“…In the last section, numerical experiments performed by the first author, using the computer algebra program Mathematica©, confirm the effectiveness of this methodology. …”
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]. …”
Get full text

The Didactical Contract Surrounding CAS when Changing Teachers in the Classroom by Uffe Thomas Jankvist, Morten Misfeldt, Anders Marcussen

“…The article discusses three empirical examples of Computer Algebra System (CAS) use in Danish upper secondary school mathematics class with a recent change of teacher. …”
Get full text

Computer Simulation of Stochastic Energy Fluctuations in Tensile Test of Elasto-Plastic Porous Metallic Material by Marcin Kamiński, Michał Strąkowski

“…The metal porous plasticity model applied here is based on Gurson&#8722;Tvergaard&#8722;Needleman theory and is included in the ABAQUS finite element system, while the external probabilistic procedures were programmed in the computer algebra system MAPLE 2017. Hybrid usage of these two computer systems enabled the determination of fluctuations in elastic and plastic energies due to initial variations in the ratio of the metal micro-voids, and the calculation of the first four probabilistic moments and coefficients of these energies due to Gaussian distribution of this ratio. …”
Get full text

The symbolic problems associated with Runge-Kutta methods and their solving in Sage by Yu Ying

“…All calculation are executed in the computer algebra system Sage.…”
Get full text

KOMPUTASI GERAK BENDA JATUH RELATIVISTIK DENGAN VARIASI PERCEPATAN GRAVITASI DAN GESEKAN MENGGUNAKAN BAHASA REDUCE by , TRI HARTANTI, , Dr. Arief Hermanto, S.U.,M.Sc.

“…This study reported a computational error and its resolution calculation of a differential equation related to the relativistic motion of objects with variation gravitational acceleration and friction using the hep of a computer algebra system Reduce or programming language with Taylor series Numerical method. …”

Computer Analysis of Dynamic Reliability of Some Concrete Beam Structure Exhibiting Random Damping by R. Bredow, M. Kamiński

“…The special purpose numerical implementation of the entire Stochastic perturbation-based Finite Element Method has been entirely programmed in computer algebra system MAPLE 2019 using Runge-Kutta-Fehlberg method. …”
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

Algorithms in Singular by Hans Schonemann

“…A general introduction to Grobner bases can be found in the textbook [CLO], an introduction to syzygies in [E] and [St1]. SINGULAR is a computer algebra system for computing information about singularities, for use in algebraic geometry. …”
Get full text

Solving plane stress problems using EsfPlano2D educational software by Myriam Rocío Pallares-Muñoz, Wilson Rodríguez-Calderón

“…The application is a computer program developed in Fortran, linked to the free Computer Algebra System MAXIMA to plot Mohr’s circle of stresses. …”
Get full text

Spatial transportation of the beam on a bifilar fastening by Stadnik Alexander, Podlesny Sergii, Kaporovych Svitlana, Kabatskyi Oleksii

“…The study was carried out by creating mathematical models for each stage of the system movement and then conducting a numerical experiment using computer algebra. The tension of the ropes is calculated at the first and second stages of the system movement. …”
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

The Laplace Transform of Composed Functions and Bivariate Bell Polynomials by Diego Caratelli, Rekha Srivastava, Paolo Emilio Ricci

“…This topic is solved in this paper and some numerical verifications, due to the first author using the computer algebra system Mathematica<inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msup><mrow></mrow><mi mathvariant="sans-serif">©</mi></msup></semantics></math></inline-formula>, are given proving the effectiveness of the proposed method.…”
Get full text

Two Nested Limit Cycles in Two-Species Reactions by Ilona Nagy, Valery G. Romanovski, János Tóth

“…Symbolic calculations were carried out using the Mathematica computer algebra system, and it was also used for the numerical verifications to show the following facts: the kinetic differential equations of these reactions each have two limit cycles surrounding the stationary point of focus type in the positive quadrant. …”
Get full text

The Least Squares Stochastic Finite Element Method in Structural Stability Analysis of Steel Skeletal Structures by M. Kamiński, J. Szafran

“…This hybrid stochastic computational technique consisting of the FEM and computer algebra systems (ROBOT and MAPLE packages) may be used for analogous nonlinear analyses in structural reliability assessment.…”
Get full text

Simple algorithm for judging equivalence of differential-algebraic equation systems by Shota Kato, Chunpu Zhang, Manabu Kano

“…Existing tools cannot judge the equivalence of two equation groups; thus, we develop an algorithm to judge such an equivalence using a computer algebra system. The proposed algorithm first eliminates variables appearing only in either equation group. …”
Get full text