1209 search results - page 167 / 242 » Universal Algebra and Computer Science |
120
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Let f be a univariate polynomial with real coefficients, f ∈ R[X]. Subdivision algorithms based on algebraic techniques (e.g., Sturm or Descartes methods) are widely used for is...
132
click to vote
HPDC
1993
IEEE
15 years 6 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
CCA
2005
Springer
15 years 8 months ago
2005
Springer
A function f is continuous iff the pre-image f −1[V ] of any open setV is open again. Dual to this topological7 property, f is called open iff the image f [U] of any open set U ...
106
click to vote
VISUALIZATION
2003
IEEE
15 years 7 months ago
2003
IEEE
The goal of this paper is to transfer image processing to vector fields and flow visualization by defining a suitable convolution operation. For this, a multiplication of vecto...
143
click to vote
CADE
1990
Springer
15 years 6 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...