A Computer Algebra System based on Order-sorted Algebra
| Autor: | Eberhard Schrüfer, Anthony C. Hearn |
|---|---|
| Rok vydání: | 1995 |
| Předmět: |
Algebra and Number Theory
Two-element Boolean algebra Subalgebra Dimension of an algebraic variety Term algebra Boolean algebra Algebra Elementary algebra Filtered algebra symbols.namesake Computational Mathematics ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION symbols Algebra representation Mathematics |
| Zdroj: | Journal of Symbolic Computation. 19(1-3):65-77 |
| ISSN: | 0747-7171 |
| DOI: | 10.1006/jsco.1995.1005 |
| Popis: | This paper presents the prototype design of an algebraic computation system that manipulates algebraic quantities as generic objects using order-sorted algebra as the underlying model. The resulting programs have a form that is closely related to the algorithmic description of a problem, but with the security of full type checking in a compact, natural style. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect