Sciweavers

1730 search results - page 46 / 346
» Algebra and Computation
Sort
View
JUCS
2006
102views more  JUCS 2006»
14 years 11 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...
82
Voted
CIE
2009
Springer
15 years 3 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...
81
Voted
CORR
2004
Springer
100views Education» more  CORR 2004»
14 years 11 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
67
Voted
TAMC
2009
Springer
15 years 5 months ago
Constraints, Graphs, Algebra, Logic, and Complexity
Moshe Y. Vardi