-
arXiv:1504.08345 [pdf, ps, other]
A Method of Proving a Class of Inequalities of Mixed Trigonometric Polynomial Functions
Abstract: In this article we consider a method of proving a class of inequalities of the form (1). The method is based on the precise approximations of the sine and cosine functions by Maclaurin polynomials of given order. By using this method we present new proofs of some inequalities from the articles C.-P. Chen, W.-S. Cheung [J. Inequal. Appl. 2012:72 (2012)] and Z.-J. Sun, L. Zhu [ISRN Math. Anal. (2011… ▽ More
Submitted 23 October, 2015; v1 submitted 30 April, 2015; originally announced April 2015.
Journal ref: Journal of Mathematical Inequalities, Volume 10, Number 3 (2016)
-
Application of polynomial texture mapping in process of digitalization of cultural heritage
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.
Submitted 25 December, 2013; originally announced December 2013.
-
arXiv:1304.7890 [pdf, ps, other]
A note on solutions of linear systems
Abstract: In this paper we will consider Rohde's general form of {1}-inverse of a matrix A. The necessary and sufficient condition for consistency of a linear system Ax=c will be represented. We will also be concerned with the minimal number of free parameters in Penrose's formula x = A^(1) c + (I - A^(1)A)y for obtaining the general solution of the linear system. This results will be applied for finding th… ▽ More
Submitted 21 July, 2013; v1 submitted 30 April, 2013; originally announced April 2013.
Comments: Published in the ISRN Algebra, Vol. 2013
-
arXiv:math/0701020 [pdf, ps, other]
Some notes on a method for proving inequalities by computer
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
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