Results 11 to 20 of about 311,159 (279)
Discrete and Continuous Models and Applied Computational Science, 2021 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
Subsumption computed algebraically
Computers & Mathematics with Applications, 1992 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
USE OF COMPUTER ALGEBRA SYSTEM MAXIMA IN THE PROCESS OF TEACHING FUTURE MATHEMATICS TEACHERS
Інформаційні технології і засоби навчання, 2019 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
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
Hypercompositional Algebra, Computer Science and Geometry
Mathematics, 2020 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
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
The Essentials of Clifford Algebras with Maple Programming
Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi, 2021 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
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
Computer Algebra in JULIA [PDF]
Programming and Computer Software, 2021 in English; in ...
Kulyabov D.S., Korol'kova A.V.
openaire +3 more sources
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