Showing 1–6 of 6 results for author: Malesevic, B

The natural algorithmic approach of mixed trigonometric-polynomial problems

Authors: Tatjana Lutovac, Branko Malesevic, Cristinel Mortici

Abstract: The aim of this paper is to present a new algorithm for proving mixed trigonometric-polynomial inequalities by reducing to polynomial inequalities. Finally, we show the great applicability of this algorithm and as examples, we use it to analyze some new rational (Pade) approximations of the function $\cos^2(x)$, and to improve a class of inequalities by Z.-H. Yang. The results of our analysis coul… ▽ More The aim of this paper is to present a new algorithm for proving mixed trigonometric-polynomial inequalities by reducing to polynomial inequalities. Finally, we show the great applicability of this algorithm and as examples, we use it to analyze some new rational (Pade) approximations of the function $\cos^2(x)$, and to improve a class of inequalities by Z.-H. Yang. The results of our analysis could be implemented by means of an automated proof assistant, so our work is a contribution to the library of automatic support tools for proving various analytic inequalities. △ Less

Submitted 25 February, 2017; originally announced February 2017.

MSC Class: 41A10; 26D05; 12L05; 41A58

Journal ref: Journal of Inequalities and Applications 2017:116, (2017)

Visualization in teaching and learning mathematics in elementary, secondary and higher education

Authors: Branko Malesevic, Ivana Jovovic, Bojan Banjac

Abstract: In this paper we present our experience in using visualization in mathematics education. The experience with our university courses: "Computer tools in matematics" and "Symbolic algebra" provides the basis for mathematics teacher education program http://vizuelizacija.etf.rs/. The program is intended for elementary and high school teachers. The education program deals with modern techniques of vis… ▽ More In this paper we present our experience in using visualization in mathematics education. The experience with our university courses: "Computer tools in matematics" and "Symbolic algebra" provides the basis for mathematics teacher education program http://vizuelizacija.etf.rs/. The program is intended for elementary and high school teachers. The education program deals with modern techniques of visualization by using technologies such as GeoGegebra, JAVA and HTML. △ Less

Submitted 22 November, 2015; originally announced November 2015.

Report number: Proceedings of International Conference on Engineering Graphics and Design, pp. 37-40, Timisoara, Romania, 13-15 june 2013

Journal ref: Bulletin of the "Politehnica" University of Timisoara, Romania, Tom 58 (72), Fascicola 1, 2013

Application of polynomial texture mapping in process of digitalization of cultural heritage

Authors: Branko Malesevic, Ratko Obradovic, Bojan Banjac, Ivana Jovovic, Milica Makragic

Abstract: In this paper we present modern texture mapping techniques and several applications of polynomial texture mapping in cultural heritage programs. We also consider some well-known and some new methods for mathematical procedure that is involved in generation of polynomial texture maps. In this paper we present modern texture mapping techniques and several applications of polynomial texture mapping in cultural heritage programs. We also consider some well-known and some new methods for mathematical procedure that is involved in generation of polynomial texture maps. △ Less

Submitted 25 December, 2013; originally announced December 2013.

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