Sciweavers

4850 search results - page 50 / 970
» Proof and Computation in Geometry
Sort
View
ASAP
2006
IEEE
145views Hardware» more  ASAP 2006»
15 years 5 months ago
2D-VLIW: An Architecture Based on the Geometry of Computation
This work proposes a new architecture and execution model called 2D-VLIW. This architecture adopts an execution model based on large pieces of computation running over a matrix of...
Ricardo Santos, Rodolfo Azevedo, Guido Araujo
ISSAC
2007
Springer
112views Mathematics» more  ISSAC 2007»
15 years 5 months ago
Differential forms in computational algebraic geometry
Peter Bürgisser, Peter Scheiblechner
ADG
2004
Springer
101views Mathematics» more  ADG 2004»
15 years 4 months ago
Mechanical Theorem Proving in Computational Geometry
Laura I. Meikle, Jacques D. Fleuriot