NLA99: Computer Algebra : The Fourth Symposium on Nonlinear Analysis, September 16-18, 1999 Josai University

Drawing the figure of the real zeros of a bivariate polynomial, in other words, the graphof a real algebraic function, is an old problem not easy to answer[4] . The problem to obtainthe real solution curves of a general bivariate function exactly is still a very hard one. Thispaper presents a method to plot the solution curves precisely, of an equation in termsof a bivariate polynomial with rational coefficients. The method is based on a principlefor a graph to be mathematically precise. According to the principle, an algorithm isgiven to obtain the solution curves. The effectiveness of the proposed principle and thepracticality of the algorithms are demonstrated by examples. The presented algorithmis implemented as an alternative implicit function plotting package for Risa/Asir, a noncommercialcomputer algebra system developed at Fujitsu Labs.NLA99: Computer Algebra : The Fourth Symposium on Nonlinear Analysis, September 16-18, 1999 Josai University, edited by Kiyoko Nishizawa (Josai University), Tomokatsu Saito (Sophia University), Teluhiko Hilano (Kanagawa Inst. Tec.