CAD
1998
Springer
14 years 8 days ago
1998
Springer
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equat...
JUCS
2006
14 years 15 days ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
PDPTA
2000
14 years 1 months ago
2000
In this paper we address the issue of dependable distributed high performance computing in the field of Symbolic Computation. We describe the extension of a middleware infrastructu...
AISC
2008
Springer
14 years 2 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...
RTA
1997
Springer
14 years 4 months ago
1997
Springer
A prototypical framework, which was used for building software components for symbolic computation, is extended as follows. First, we demonstrate that the server components can be ...
SMI
2006
IEEE
14 years 6 months ago
2006
IEEE
Symbolic computation of NURBS plays an important role in many areas of NURBS-based geometric computation and design. However, any nontrivial symbolic computation, especially when ...
PDCAT
2009
Springer
14 years 7 months ago
2009
Springer
Abstract— In symbolic computation, polynomial multiplication is a fundamental operation akin to matrix multiplication in numerical computation. We present efficient implementati...