Sciweavers

1730 search results - page 46 / 346
» Algebra and Computation
Sort
View
JUCS
2006
102views more  JUCS 2006»
13 years 10 months ago
Modeling Inheritance as Coercion in the Kenzo System
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
César Domínguez, Julio Rubio, Franci...
CIE
2009
Springer
14 years 1 months ago
Spectra of Algebraic Fields and Subfields
An algebraic field extension of Q or Z/(p) may be regarded either as a structure in its own right, or as a subfield of its algebraic closure F (either Q or Z/(p)). We consider the ...
Andrey Frolov, Iskander Sh. Kalimullin, Russell Mi...
CORR
2004
Springer
100views Education» more  CORR 2004»
13 years 9 months ago
An Example of Clifford Algebras Calculations with GiNaC
This is an example of C++ code of Clifford algebra calculations with the GiNaC computer algebra system. This code makes both symbolic and numeric computations. It was used to produ...
Vladimir V. Kisil