Search Sciweavers | Sciweavers

4850 search results - page 50 / 970

» Proof and Computation in Geometry

136

click to vote

ASAP
2006
IEEE

145views Hardware» more ASAP 2006»

2D-VLIW: An Architecture Based on the Geometry of Computation

16 years 10 days ago

Download www.lsc.ic.unicamp.br

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

claim paper

Read More »

132

click to vote

ISSAC
2009
Springer

141views Mathematics» more ISSAC 2009»

Exact numerical computation in algebra and geometry

16 years 25 days ago

Download www.cs.nyu.edu

Chee-Keng Yap

claim paper

Read More »

100

click to vote

ISSAC
2007
Springer

112views Mathematics» more ISSAC 2007»

Differential forms in computational algebraic geometry

16 years 12 days ago

Download www-math.uni-paderborn.de

Peter Bürgisser, Peter Scheiblechner

claim paper

Read More »

126

click to vote

TARK
2007
Springer

79views Automated Reasoning» more TARK 2007»

Games, geometry, and the computational complexity of finding equilibria

16 years 11 days ago

Download www.maths.lse.ac.uk

Bernhard von Stengel

claim paper

Read More »

139

click to vote

ADG
2004
Springer

101views Mathematics» more ADG 2004»

Mechanical Theorem Proving in Computational Geometry

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers