2853 search results - page 140 / 571 » On Coherence in Computer Algebra |
107
click to vote
LICS
1998
IEEE
15 years 8 months ago
1998
IEEE
In his well-known paper \How computer should think" ( Be77b]) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we...
123
click to vote
EURODAC
1995
IEEE
15 years 7 months ago
1995
IEEE
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
129
click to vote
MST
2008
15 years 4 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
125
click to vote
AES
2007
Springer
15 years 4 months ago
2007
Springer
We present some heuristics incorporating the philosophy of compatible relaxation into an existing algebraic multigrid method, the so-called multigraph solver of Bank and Smith [1]...
129
click to vote
TIP
2002
15 years 3 months ago
2002
In this correspondence, we prove that the affine invariants proposed recently by Yang and Cohen [1] are algebraically dependent. We show how to select an independent and complete s...