2853 search results - page 81 / 571 » On Coherence in Computer Algebra |
JSC
2006
14 years 9 months ago
2006
We describe explicit methods of exhibiting elements of the Brauer groups of diagonal quartic surfaces. Using these methods, we compute the algebraic Brauer
122
click to vote
IUI
1998
ACM
15 years 2 months ago
1998
ACM
Life-likeanimatedinterfaceagentsforknowledge-basedlearning environments can provide timely, customized advice to support students’ problem solving. Because of their strong visua...
ACL
2011
14 years 1 months ago
2011
e evlute severl populr models of lol disourse oherene for domin nd tsk genE erlity y pplying them to ht disentngleE mentF
sing experiments ...
DSL
1997
14 years 11 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
JC
2000
14 years 9 months ago
2000
Deciding efficiently the emptiness of a real algebraic set defined by a single equation is a fundamental problem of computational real algebraic geometry. We propose an algorithm ...