Sciweavers

202 search results - page 12 / 41
» Algebra and Geometry
Sort
View
COMPGEOM
2008
ACM
13 years 9 months ago
Visualizing and exploring planar algebraic arrangements: a web application
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...
Pavel Emeliyanenko, Michael Kerber
COMPGEOM
2009
ACM
14 years 2 months ago
On the topology of planar algebraic curves
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
Jinsan Cheng, Sylvain Lazard, Luis Mariano Pe&ntil...
CADE
2004
Springer
14 years 7 months ago
Dr.Doodle: A Diagrammatic Theorem Prover
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
Daniel Winterstein, Alan Bundy, Corin A. Gurr
ICCV
2009
IEEE
15 years 14 days ago
Diagram Techniques for Multiple View Geometry
Multilinear algebra is a powerful theoretical tool for visual geometry, but widespread usage of traditional typographical notation often hides its conceptual elegance and simpli...
Alberto Ruiz, Pedro E. Lopez-de-Teruel
CGF
2000
106views more  CGF 2000»
13 years 7 months ago
Constructive Volume Geometry
: Having evolved from volume visualisation, volume graphics is emerging as an important sub-field of computer graphics. This paper focuses on a fundamental aspect of volume graphic...
Min Chen, J. V. Tucker