Showing 1–3 of 3 results for author: Malesevic, B J

Groebner bases in Java with applications in computer graphics

Authors: Branko J. Malesevic, Ivana V. Jovovic, Milan Z. Campara

Abstract: In this paper we present a Java implementation of the algorithm that computes Buchbereger's and reduced Groebner's basis step by step. The Java application enables graphical representation of the intersection of two surfaces in 3-dimensional space and determines conditions of existence and planarity of the intersection. In this paper we present a Java implementation of the algorithm that computes Buchbereger's and reduced Groebner's basis step by step. The Java application enables graphical representation of the intersection of two surfaces in 3-dimensional space and determines conditions of existence and planarity of the intersection. △ Less

Submitted 26 June, 2010; v1 submitted 19 May, 2010; originally announced May 2010.

Comments: International convention on Descriptive Geometry and Engineering Graphics moNGeometrija 2010, http://www.mongeometrija.org/

Some notes on a method for proving inequalities by computer

Authors: Bojan D. Banjac, Milica D. Makragic, Branko J. Malesevic

Abstract: In this article we consider mathematical fundamentals of one method for proving inequalities by computer, based on the Remez algorithm. Using the well-known results of undecidability of the existence of zeros of real elementary functions, we demonstrate that the considered method generally in practice becomes one heuristic for the verification of inequalities. We give some improvements of the ineq… ▽ More In this article we consider mathematical fundamentals of one method for proving inequalities by computer, based on the Remez algorithm. Using the well-known results of undecidability of the existence of zeros of real elementary functions, we demonstrate that the considered method generally in practice becomes one heuristic for the verification of inequalities. We give some improvements of the inequalities considered in the theorems for which the existing proofs have been based on the numerical verifications of Remez algorithm. △ Less

Submitted 14 July, 2015; v1 submitted 31 December, 2006; originally announced January 2007.

Comments: in Results in Mathematics 07/2015

MSC Class: 26D05; 26D15; 41A10

One method for proving inequalities by computer

Authors: Branko J. Malesevic

Abstract: In this article we consider a method for proving a class of analytical inequalities via minimax rational approximations. All numerical calculations in this paper are given by Maple computer program. In this article we consider a method for proving a class of analytical inequalities via minimax rational approximations. All numerical calculations in this paper are given by Maple computer program. △ Less

Submitted 11 November, 2006; v1 submitted 31 August, 2006; originally announced August 2006.

Comments: Accepted in Journal of Inequalities and Applications

MSC Class: 26Dxx; 33F05; 41A20