Results 21 to 30 of about 311,159 (279)
An Algorithm to Simplify Tensor Expressions [PDF]
, 1998 The problem of simplifying tensor expressions is addressed in two parts. The first part presents an algorithm designed to put tensor expressions into a canonical form, taking into account the symmetries with respect to index permutations and the renaming
Bogen +18 more
core +3 more sources
Casimir forces for inhomogeneous planar media [PDF]
, 2013 Casimir forces arise from vacuum uctuations. They are fully understood only for simple models, and are important in nano- and microtechnologies. We report our experience of computer algebra calculations towards the Casimir force for models involving ...
Kelsey, Tom +3 more
core +1 more source
SgpDec : Cascade (de)compositions of finite transformation semigroups and permutation groups [PDF]
, 2014 We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade products.Final ...
C. Wells +3 more
core +2 more sources
IEEE Access, 2023 Visually impaired individuals face challenges in pursuing higher education, particularly in technical courses related to engineering. The lack of specialized tools and resources that allow for proper development in academic activities is a significant ...
Ana M. Zambrano +5 more
doaj +1 more source
Lie algebra in quantum physics by means of computer algebra
, 2017 This article explains how to apply the computer algebra package GAP (www.gap-system.org) in the computation of the problems in quantum physics, in which the application of Lie algebra is necessary.
Kikuchi, Akihito, Kikuchi, Ichio
core +1 more source
Physical Acceptability of Isolated, Static, Spherically Symmetric, Perfect Fluid Solutions of Einstein's Equations [PDF]
, 1998 We ask the following question: Of the exact solutions to Einstein's equations extant in the literature, how many could represent the field associated with an isolated static spherically symmetric perfect fluid source?
Adams +83 more
core +2 more sources
Feynman-diagram evaluation in the electroweak theory with computer algebra [PDF]
, 2001 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
Robust Computer Algebra, Theorem Proving, and Oracle AI [PDF]
, 2017 In the context of superintelligent AI systems, the term "oracle" has two meanings. One refers to modular systems queried for domain-specific tasks. Another usage, referring to a class of systems which may be useful for addressing the value alignment and ...
Hay, Nick J., Sarma, Gopal P.
core +3 more sources
Programming and Computer Software, 2017 In this paper, we describe general characteristics of the MathPartner computer algebra system (CAS) and Mathpar programming language thereof. MathPartner can be used for scientific and engineering calculations, as well as in high schools and universities.
openaire +3 more sources
Best Proximity Point for Generalized and S-Geraphty Contractions
Abstract and Applied Analysis, 2021 This paper introduces a new class of mappings called S-Geraphty-contractions and provides sufficient conditions for the existence and uniqueness of a best proximity point for such mappings. It also presents the best proximity point result for generalized
Abdelhafid Bassou +2 more
doaj +1 more source