Results 11 to 20 of about 318,184 (274)
Lie Algebra Computations [PDF]
In the context of analysing nonlinear evolution equations by the prolongation method, there arises the problem of determining a Lie algebra given a certain number of relations between some of the Lie products and some of the generators. Except in very easy cases this involves a lot of algebraic manipulation, albeit of a very routine nature.
openaire +1 more source
Center for Computational Methods in Applied Mathematics of RUDN, Professor V.P. Gerdt, whose passing was a great loss to the scientific center and the computer algebra community. The article provides biographical information about V.P. Gerdt, talks about
Victor F. Edneral
doaj +1 more source
Feynman-diagram evaluation in the electroweak theory with computer algebra [PDF]
The evaluation of quantum corrections in the theory of the electroweak and strong interactions via higher-order Feynman diagrams requires complicated and laborious calculations, which however can be structured in a strictly algorithmic way.
Weiglein, G.
core +2 more sources
Subsumption computed algebraically
AbstractThis paper deals with terminological representation languages for KL-ONE-type knowledge representation systems. Such languages are based on the two primitive syntactic types called concepts and roles, which are usually represented model-theoretically as sets and binary relations, respectively. Rather than following the model-theoretic route, we
Brink, C., Schmidt, R.
openaire +2 more sources
The Essentials of Clifford Algebras with Maple Programming
Clifford algebra (geometric algebra) which has many applications in physics, robotics, CAD (Computer-Aided Design) /CAM (Computer-Aided Manufacture), computer graphics, image processing, etc. is one of the important subjects in mathematics. In this paper,
Mutlu Akar
doaj +1 more source
Computer algebra in gravity: Programs for (non-)Riemannian spacetimes. I [PDF]
Computer algebra programs are presented for application in general relativity, in electrodynamics, and in gauge theories of gravity. The mathematical formalism used is the calculus of exterior differential forms, the computer algebra system applied Hearn'
Hehl, Friedrich W. +2 more
core +2 more sources
USE OF COMPUTER ALGEBRA SYSTEM MAXIMA IN THE PROCESS OF TEACHING FUTURE MATHEMATICS TEACHERS
The article is devoted to the research of a problem of the application of computer algebra systems in the course of skill training of future mathematics teachers.
Vladyslav Ye. Velychko +2 more
doaj +1 more source
Hypercompositional Algebra, Computer Science and Geometry
The various branches of Mathematics are not separated between themselves. On the contrary, they interact and extend into each other’s sometimes seemingly different and unrelated areas and help them advance. In this sense, the Hypercompositional Algebra’s
Gerasimos Massouros, Christos Massouros
doaj +1 more source
Interpretability and Representability of Commutative Algebra, Algebraic Topology, and Topological Spectral Theory for Real-World Data. [PDF]
This article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Ren Y, Wei GW.
europepmc +2 more sources

