Sciweavers

4850 search results - page 213 / 970
» Proof and Computation in Geometry
Sort
View
TC
2011
15 years 1 months ago
Exact and Approximated Error of the FMA
Abstract—The fused multiply accumulate-add (FMA) instruction, specified by the IEEE 754-2008 Standard for Floating-Point Arithmetic, eases some calculations, and is already avai...
Sylvie Boldo, Jean-Michel Muller
SC
2004
ACM
15 years 12 months ago
GYRO: A 5-D Gyrokinetic-Maxwell Solver
GYRO solves the 5-dimensional gyrokinetic-Maxwell equations in shaped plasma geometry, using either a local (fluxtube) or global radial domain. It has been ported to a variety of...
Mark R. Fahey, Jeff Candy
IMR
2004
Springer
15 years 12 months ago
A Comparison of Inexact Newton and Coordinate Descent Mesh Optimization Techniques
We compare inexact Newton and coordinate descent methods for optimizing the quality of a mesh by repositioning the vertices, where quality is measured by the harmonic mean of the ...
Lori Freitag Diachin, Patrick M. Knupp, Todd S. Mu...
CIE
2010
Springer
15 years 11 months ago
Processes in Space
We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity th...
Luca Cardelli, Philippa Gardner
IMR
1998
Springer
15 years 10 months ago
Mesh Graph Structure for Longest-Edge Refinement Algorithms
In this paper we introduce and discuss a graph structure associated with longest-edge algorithms (algorithms based on the bisection of triangles by the longest-edge) which can be u...
Angel Plaza, José P. Suárez, Miguel ...