GrafEq Esse software canadense gera gráficos de equações e inequações de figuras planas com base numa forma generalizada de aritmética intervalar desenvolvida por Jeff Tupper. A "aritmética de Tupper", como agora é chamada, se encontra magistralmente exposta na sua tese Graphing Equations with Generalized Interval Arithmetic (disponível na sua página pessoal). Embora a utilização do programa não exija nenhum conhecimento de aritmética intervalar, recomendo fortemente a leitura desse belíssimo trabalho como um exemplo marcante de como a abstração e a sofisticação matemáticas podem produzir resultados práticos. Nesta animação mostramos a geração de um gráfico em coordenadas polares pela técnica de refinamentos sucessivos que é característica do GrafEq. Dos softwares aqui mencionados, este é o único capaz de gerar gráficos de sistemas de equações e inequações naturalmente (sem a intervenção do usuário). Por exemplo, é o único que detecta pontos isolados em gráficos descontínuos automaticamente. Na animação cima vemos o gráfico de uma desigualdade que somente o GrafEq é capaz de produzir com rapidez e perfeição. Trata-se do gráfico de mdc(x,y) < cos(x) + sen(x). Não é curioso que se possa obter um tabuleiro de xadrez dessa maneira? (Será mesmo um tabuleiro comum?) Você poderá apreciar o efeito espetacular da geração de gráficos no GrafEq em várias animações deste site. Aliás, a idéia de capturar esse efeito em animações GIF é uma exclusividade do Matemática para Gregos & Troianos. Correspondência com Jeff Tupper Carlos César de Araújo INTRODUÇÃO Sistemas de Álgebra por Computador Mathematica YACAS Softwares Gráficos DPGraph GrafEq Winplot Geometria Dinâmica C.a.R Cinderella Geometria Wingeom Produção e visualização de Documentos GSview Lyx MiKTeX Artigos O que é um CAS? Geometria Dinâmica CAS + Geometria Dinâmica