Results 11 to 20 of about 1,466,157 (309)
Computer algebra in gravity research
Living Reviews in Relativity, 2018 The complicated nature of calculations in general relativity was one of the driving forces in the early development of computer algebra (CA). CA has become widely used in gravity research (GR) and its use can be expected to grow further. Here the general
Malcolm A. H. MacCallum
doaj +3 more sources
Tensor computations in computer algebra systems [PDF]
Programming and Computer Software, 2013 This paper considers three types of tensor computations. On their basis, we attempt to formulate criteria that must be satisfied by a computer algebra system dealing with tensors. We briefly overview the current state of tensor computations in different computer algebra systems.
Korol'Kova A.V. +2 more
openaire +7 more sources
Computations in finite-dimensional Lie algebras [PDF]
Discrete Mathematics & Theoretical Computer Science, 1997 This paper describes progress made in context with the construction of a general library of Lie algebra algorithms, called ELIAS (Eindhoven Lie Algebra System), within the computer algebra package GAP.
A. M. Cohen, W. A. Graaf, L. Rónyai
doaj +3 more sources
Not Another Computer Algebra System: Highlighting wxMaxima in Calculus
Mathematics, 2021 This article introduces and explains a computer algebra system (CAS) wxMaxima for Calculus teaching and learning at the tertiary level. The didactic reasoning behind this approach is the need to implement an element of technology into classrooms to ...
Natanael Karjanto, Husty Serviana Husain
doaj +1 more source
Interpretability and Representability of Commutative Algebra, Algebraic Topology, and Topological Spectral Theory for Real-World Data. [PDF]
Adv Intell DiscovThis 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
Implementing a Method for Stochastization of One-Step Processes in a Computer Algebra System [PDF]
Programming and computer software, 2018 When modeling such phenomena as population dynamics, controllable flows, etc., a problem arises of adapting the existing models to a phenomenon under study. For this purpose, we propose to derive new models from the first principles by stochastization of
M. Gevorkyan +5 more
semanticscholar +1 more source
Using the Maple computer algebra system to study mathematical induction
Journal of Physics: Conference Series, 2020 Mathematical induction is one of the main methods of the proof that students study and use it in their studies in higher education. This important method, in addition to mathematics, is widely used in computer science and a number of other related ...
A. Olenev +4 more
semanticscholar +1 more source
Computer Algebra in Systems Biology [PDF]
American Mathematical Monthly, 2009 Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for molecular biology and the development of advanced mathematical modeling techniques, this field promises to provide important new insights.
Laubenbacher, Reinhard, Sturmfels, Bernd
openaire +2 more sources
Cadabra: a field-theory motivated symbolic computer algebra system [PDF]
Computer Physics Communications, 2006 Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be used to represent and manipulate field-theory expressions, this often leads
K. Peeters
semanticscholar +1 more source
Computer algebra in gravity: Programs for (non-)Riemannian spacetimes. I [PDF]
, 1998 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