|
Browse All Reviews > Computing Methodologies (I) > Symbolic and Algebraic Manipulation (I.1) > Languages And Systems (I.1.3) > Special-Purpose Algebraic Systems (I.1.3...)
|
|
|
|
|
|
|
|
|
1-6 of 6
Reviews about "Special-Purpose Algebraic Systems (I.1.3...)":
|
Date Reviewed |
|
Algebras for hazard detection Brzozowski J., Ésik Z., Iland Y. In Beyond two. Heidelberg, Germany: Physica-Verlag GmbH, 2003. Type: Book Chapter
As the title indicates, this chapter contains a comprehensive survey of multi-valued algebras that have been proposed for hazard detection. Of perhaps as much value as a study of the properties that enable hazard detection is the compl...
|
Oct 13 2003 |
|
The MAGMA algebra system I Bosma W. (ed), Cannon J. (ed), Playoust C. Journal of Symbolic Computation 24(3-4): 235-265, 1997. Type: Article
Magma is the latest interactive computer system to be released by the Computational Algebra Group of the School of Mathematics and Statistics at the University of Sydney, Australia. The authors describe the system design as of 1996, in...
|
Jun 1 1998 |
|
Programming with algebraic structures: design of the MAGMA language Bosma W., Cannon J., Matthews G. Symbolic and algebraic computation (Proceedings of the international symposium, Oxford, United Kingdom, Jul 20-22, 1994) 52-57, 1994. Type: Proceedings
For many years, one of the popular group theory symbolic manipulation systems has been CAYLEY, developed at the University of Sydney. The developers of CAYLEY have prepared a new computational algebra system called MAGMA, the subject o...
|
Dec 1 1995 |
|
A generalized interval package and its use for semantic checking Bundy A. ACM Transactions on Mathematical Software 10(4): 397-409, 1984. Type: Article
The author describes a new interval arithmetic package, INT, with several improvements over previous software packages. This new package handles open and closed boundaries, any function (provided information about where that function i...
|
Dec 1 1985 |
|
Discovering patterns in sequences of events Dietterich T., Michalski R. Artificial Intelligence 25(2): 187-232, 1985. Type: Article
Given a sequence of events (or objects), each characterized by a set of attributes, the problem considered is to discover a rule characterizing the sequence and able to predict a plausible sequence continuation. The rule, called a s...
|
Sep 1 1985 |
|
A problem with algebra systems - revisited Barton D. The Computer Journal 27(2): 159-164, 1984. Type: Article
The problem of intermediate expression swell when multiplying polynomials using an algebraic symbol manipulation language is a well known problem that has not r eceived much theoretical nor anaytical thought. Larger memories and faste...
|
Jan 1 1985 |
|
|
|
|
|
|