Sciweavers

3025 search results - page 48 / 605

» Computational geometry: a retrospective

28

ISSAC
2009
Springer

141views Mathematics» more ISSAC 2009»

Exact numerical computation in algebra and geometry

14 years 4 months ago

Exact numerical computation in algebra and geometry

Download www.cs.nyu.edu

Chee-Keng Yap

claim paper

Read More »

16

ISSAC
2007
Springer

112views Mathematics» more ISSAC 2007»

Differential forms in computational algebraic geometry

14 years 4 months ago

Differential forms in computational algebraic geometry

Download www-math.uni-paderborn.de

Peter Bürgisser, Peter Scheiblechner

claim paper

Read More »

22

TARK
2007
Springer

79views Automated Reasoning» more TARK 2007»

Games, geometry, and the computational complexity of finding equilibria

14 years 4 months ago

Games, geometry, and the computational complexity of finding equilibria

Download www.maths.lse.ac.uk

Bernhard von Stengel

claim paper

Read More »

33

ADG
2004
Springer

101views Mathematics» more ADG 2004»

Mechanical Theorem Proving in Computational Geometry

14 years 3 months ago

Mechanical Theorem Proving in Computational Geometry

Download homepages.inf.ed.ac.uk

Laura I. Meikle, Jacques D. Fleuriot

claim paper

Read More »

26

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

14 years 3 months ago

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

Download www-verimag.imag.fr

Philippe Gerner, Thao Dang

claim paper

Read More »

« Prev « First page 48 / 605 Last » Next »