2853 search results - page 39 / 571 » On Coherence in Computer Algebra |
ISM
2006
IEEE
14 years 2 months ago
2006
IEEE
Virtual labs enable field specific experiments and open them for collaborative and distributed usage. In order to realize comprehensive laboratory set-ups providing a scientifi...
COMPGEOM
1989
ACM
14 years 28 days ago
1989
ACM
We present algorithms that decompose an algebraic curve with rational coefficients in its defining bivariate equation into its irreducible real factors and its non-empty irreducib...
CSC
2006
13 years 10 months ago
2006
: The solution of the equation of heat transfer for pyramidal spines is obtained using computer algebra software. We consider pyramidal spines with three different sectional areas:...
JC
2007
13 years 8 months ago
2007
We extend the lower bounds on the complexity of computing Betti numbers proved in [6] to complex algebraic varieties. More precisely, we first prove that the problem of deciding ...
AISC
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In previous work, we showed the importance of distinguishing "I know that X = Y " from "I don't know that X = Y ". In this paper we look at effec...