Results 21 to 30 of about 318,184 (274)
Computer Algebra in JULIA [PDF]
Programming and Computer Software, 2021 in English; in ...
Kulyabov D.S., Korol'kova A.V.
openaire +3 more sources
On Formal Specification of Maple Programs [PDF]
, 2012 This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal of this work is to define
Khan, Muhammad Taimoor +1 more
core +1 more source
gTybalt - a free computer algebra system [PDF]
, 2003 This article documents the free computer algebra system "gTybalt". The program is build on top of other packages, among others GiNaC, TeXmacs and Root.
Weinzierl, Stefan
core +1 more source
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
Smarandache Sequences: Explorations and Discoveries with a Computer Algebra System [PDF]
, 2000 Study of Smarandache sequences of numbers, and related problems, via a Computer Algebra. Sy::;tem.
Gouveia, Paulo, Torres, Delfim
core +1 more source
Decoding Linear Codes over Chain Rings Given by Parity Check Matrices
Mathematics, 2021 We design a decoding algorithm for linear codes over finite chain rings given by their parity check matrices. It is assumed that decoding algorithms over the residue field are known at each degree of the adic decomposition.
José Gómez-Torrecillas +2 more
doaj +1 more source
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
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
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