• Computational arithmetic : an updated view 

      Diverio, Tiaraju Asmuz; Claudio, Dalcidio Moraes (1996) [Artigo de periódico]
      'This paper begins with a review of the fioating-point system, where fioating-point numbers are characterized. It reveals the need of a stan dard in order to solve the problem of production of different results in different ...
    • High performance with high accuracy laboratory 

      Diverio, Tiaraju Asmuz; Navaux, Philippe Olivier Alexandre; Claudio, Dalcidio Moraes; Holbig, Carlos Amaral; Fernandes, Ursula Adriane Lisboa; Sagula, Rafael Linden (1996) [Artigo de periódico]
      ln order to obtain high performance with high accuracy in the so lution of scientific computational problems, a computational tool has been developed, called High Performance with High Accuracy Labora tory. ln this paper ...
    • Sistema para a aprendizagem de demonstrações da geometria euclidiana plana : LEEG 

      Notare, Márcia Rodrigues; Diverio, Tiaraju Asmuz (2003) [Artigo de periódico]
      O presente artigo apresenta o sistema para a aprendizagem de demonstrações da Geometria Euclidiana Plana LEEG (Learning Environment on Euclidean Geometry). Esse sistema foi formalizado e implementado sobre o protocolo de ...