[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/383259.383267acmconferencesArticle/Chapter ViewAbstractPublication PagessiggraphConference Proceedingsconference-collections
Article

Reliable two-dimensional graphing methods for mathematical formulae with two free variables

Published: 01 August 2001 Publication History

Abstract

This paper presents a series of new algorithms for reliably graphing two-dimensional implicit equations and inequalities. A clear standard for interpreting the graphs generated by two-dimensional graphing software is introduced and used to evaluate the presented algorithms. The first approach presented uses a standard interval arithmetic library. This approach is shown to be faulty; an analysis of the failure reveals a limitation of standard interval arithmetic. Subsequent algorithms are developed in parallel with improvements and extensions to the interval arithmetic used by the graphing algorithms. Graphs exhibiting a variety of mathematical and artistic phenomena are shown to be graphed correctly by the presented algorithms. A brief comparison of the final algorithm presented to other graphing algorithms is included.

References

[1]
Ron Avitzur,Olaf Bachmann, and Norbert Kajler. From Honest to Intelligent Plotting.In A.H.M.Levelt,editor, Proc.of the International Symp.on Symbolic and Algebraic Computat on (ISSAC '95),Montreal,Canada, pages 32 - 41.ACM Press,1995.
[2]
Dennis S.Arnon.Topologically Reliable Display of Algebraic Curves.Computer Graphics (SIGGRAPH 83 Conference Proceed ngs),17(3):219 - 227,July 1983.
[3]
J.Comba and J.Stolfi Affine Arithmetic an its Applications to Computer Graphics.In Anais do VI Symposio Bras le ro de Computa, computacao Grafia e Processamento de Imagens (SIBGRAPI '93),pages 9 - 18,1993.
[4]
Jack J.Dongarra. Performance of Various Computers Using Standar Linear Equations Software. Technical Report CS-89-85,University of Tennessee, 2000.
[5]
Jack Dongarra, Ree Wade, and Paul McMahan. Linpack Benchmark - Java Version. http ://www.netlib.org /benchmark/linpackjava, 2000.
[6]
R.Fateman. Honest Plotting, Global Extrema an Interval Arithmetic.In P.S.Wang, editor, Proc. of the International Symp. on Symbolic and Algebra c Computat on (ISSAC '92), Berkeley, USA, pages 216 - 223. ACM Press, 1992.
[7]
Eldon Hansen. Global Optimization Using Interval Analysis - The Multi-Dimensional Case. Numerische Mathematik,34(3):247 - 270, 1980.
[8]
Timothy J. Hickey, Zhe Qiu, and Maarten H. van Emden. Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations. Reliable Computing,6(1):81 - 92, 2000.
[9]
IEEE Task P754.ANSI/IEEE 754-1985, Standard for Binary Floating-Point Arithmetic .IEEE, New York, NY, USA, August 1985. Revise 1990. A preliminary draft was published in the January 1980 issue of IEEE Computer,together with several companion articles.Also stan ardize as IEC 60559 (1989-01)B nary .oating-po nt arithmetic for microprocessor systems .
[10]
W.M.Kahan.A More Complete Interval Arithmetic.Lecture notes prepare for a summer course at the University of Michigan,June 17 - 21,1968.
[11]
Metrowerks.Macintosh Linpack Benchmark. http://www.metrowerks.com/benchmarks/desktop/ mac_linpack.html, 1999.
[12]
Tom Michiels.http://www.cs.kuleuven.ac.be/~tomm/ bench.html, 2000.
[13]
R.E.Moore.Interval Analysis . Prentice Hall, dEnglewood Cliffs, New Jersey, 1966.
[14]
R.E.Moore. Methods and Applications of Interval Analysis. SIAM, Philadelphia, 1979.
[15]
Pedagoguery Software Inc.GrafEq TM . http://www.peda.com/grafeq .
[16]
H. Ratschek an J. Rokne. New Computer Methods for Global Optimization .Ellis Horwoo Ltd.,Chichester, 1988.
[17]
John M. Snyder.Generative Modeling for Computer Graphics and CAD:Symbol c Shape Des gn Us ng Interval Analysis .Aca emic Press,San Diego,1992.
[18]
John M. Snyder. Interval Analysis for Computer Graphics. Computer Graphics (SIGGRAPH 92 Conference Proceedings), 26(2):121 - 130, July 1992.
[19]
Gabriel Taubin. An Accurate Algorithm for Rasterizing Algebraic Curves.In Second Symposium on Solid Modeling . ACM SIGGRAPH and IEEE Computer Society,May 1993.
[20]
Gabriel Taubin.Distance Approximations for Rasterizing Implicit Curves.ACM Transactions on Graphics, 13(1):3 - 42,January 1994.
[21]
Jeffrey Allen Tupper.Graphing Equations with Generalize Interval Arithmetic.Master 's thesis,University of Toronto,1996.

Cited By

View all
  • (2023)Temporal Set Inversion for Animated ImplicitsACM Transactions on Graphics10.1145/359244842:4(1-18)Online publication date: 26-Jul-2023
  • (2022)Fast High-Resolution Drawing of Algebraic CurvesProceedings of the 2022 International Symposium on Symbolic and Algebraic Computation10.1145/3476446.3535483(449-458)Online publication date: 4-Jul-2022
  • (2016)Rigorous bounds for polynomial Julia setsJournal of Computational Dynamics10.3934/jcd.20160063:2(113-137)Online publication date: Nov-2016
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
SIGGRAPH '01: Proceedings of the 28th annual conference on Computer graphics and interactive techniques
August 2001
600 pages
ISBN:158113374X
DOI:10.1145/383259
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 2001

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. GrafEq
  2. Tupper interval arithmetic
  3. algebraic curves
  4. formula graphing
  5. graphing
  6. implicit curves
  7. interval analysis
  8. interval arithmetic
  9. relation graphing

Qualifiers

  • Article

Conference

SIGGRAPH01
Sponsor:

Acceptance Rates

SIGGRAPH '01 Paper Acceptance Rate 65 of 300 submissions, 22%;
Overall Acceptance Rate 1,822 of 8,601 submissions, 21%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)20
  • Downloads (Last 6 weeks)6
Reflects downloads up to 31 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2023)Temporal Set Inversion for Animated ImplicitsACM Transactions on Graphics10.1145/359244842:4(1-18)Online publication date: 26-Jul-2023
  • (2022)Fast High-Resolution Drawing of Algebraic CurvesProceedings of the 2022 International Symposium on Symbolic and Algebraic Computation10.1145/3476446.3535483(449-458)Online publication date: 4-Jul-2022
  • (2016)Rigorous bounds for polynomial Julia setsJournal of Computational Dynamics10.3934/jcd.20160063:2(113-137)Online publication date: Nov-2016
  • (2010)A new framework for sharp and efficient resolution of NCSP with manifolds of solutionsConstraints10.1007/s10601-009-9082-315:2(190-212)Online publication date: 1-Apr-2010
  • (2009)A BSP-based algorithm for dimensionally nonhomogeneous planar implicit curves with topological guaranteesACM Transactions on Graphics10.1145/1516522.151652828:2(1-24)Online publication date: 13-May-2009
  • (2008)A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of SolutionsProceedings of the 14th international conference on Principles and Practice of Constraint Programming10.1007/978-3-540-85958-1_13(190-204)Online publication date: 14-Sep-2008
  • (2007)Useful computations need useful numbersACM Communications in Computer Algebra10.1145/1358190.135819241:3(75-99)Online publication date: 1-Sep-2007
  • (2006)Robust Plotting of Polar Algebraic Curves, Space Algebraic Curves, and Offsets of Planar Algebraic CurvesReliable Computing10.1007/s11155-006-9005-612:4(323-335)Online publication date: 29-Jul-2006
  • (2005)Resolution independent curve rendering using programmable graphics hardwareACM SIGGRAPH 2005 Papers10.1145/1186822.1073303(1000-1009)Online publication date: 31-Jul-2005
  • (2005)Resolution independent curve rendering using programmable graphics hardwareACM Transactions on Graphics10.1145/1073204.107330324:3(1000-1009)Online publication date: 1-Jul-2005
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media