2853 search results - page 191 / 571 » On Coherence in Computer Algebra |
119
Voted
DAGSTUHL
2008
15 years 6 months ago
2008
The Exact Geometric Computation (EGC) mode of computation has been developed over the last decade in response to the widespread problem of numerical non-robustness in geometric al...
136
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
139
click to vote
MKM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
141
Voted
AISC
2008
Springer
15 years 6 months ago
2008
Springer
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation I...
162
click to vote
PDP
2010
IEEE
15 years 11 months ago
2010
IEEE
—Two strategies of distribution of computations can be used to implement parallel solvers for dense linear algebra problems for Heterogeneous Computational Clusters of Multicore ...