@ARTICLE{
author={Micovic Milos,Malesevic Branko J,Lutovac Tatjana A,Mihailovic Bojana Lj},
year={2025},
title={A Novel Parametric Method for Proving Some Analytic Inequalities and Determining Minimax Approximations},
journal={JOURNAL OF MATHEMATICAL INEQUALITIES},
volume={19},
number={4},
pages={1327-1347},
document_type={Article},
} 

@ARTICLE{
author={Malesevic Branko J,Micovic Milos,Lutovac Tatjana A},
year={2025},
title={New Inequalities and Approximations of Cusa-Huygens Type},
journal={AXIOMS},
volume={14},
number={12},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Malesevic Branko J,Micovic Milos,Mihailovic Bojana Lj,Lutovac Tatjana A,Sesum-Cavic Vesna},
year={2025},
title={The best constants in some new sharp bounds for sinc function},
journal={AFRIKA MATEMATIKA},
volume={36},
number={2},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Malesevic Branko J,Micovic Milos,Mihailovic Bojana Lj,Lutovac Tatjana A},
year={2025},
title={A New Approach to Selecting Constants for Some Analytic Inequalities},
journal={JOURNAL OF MATHEMATICAL INEQUALITIES},
volume={19},
number={1},
pages={223-245},
document_type={Article},
} 

@ARTICLE{
author={Bagul Yogesh J,Chesneau Christophe,Kostic M,Lutovac Tatjana A,Malesevic Branko J,Rasajski Marija S},
year={2023},
title={Convexity and double-sided Taylor's approximations},
journal={HACETTEPE JOURNAL OF MATHEMATICS AND STATISTICS},
volume={52},
number={3},
pages={560-571},
document_type={Article},
} 

@ARTICLE{
author={Malesevic Branko J,Lutovac Tatjana A,Rasajski Marija S,Banjac Bojan D},
year={2020},
title={Error-Functions in Double-Sided Taylor'S Approximations},
journal={APPLICABLE ANALYSIS AND DISCRETE MATHEMATICS},
volume={14},
number={3},
pages={599-613},
document_type={Article},
} 

@ARTICLE{
author={Malesevic Branko J,Lutovac Tatjana A,Banjac Bojan D},
year={2018},
title={One Method for Proving Some Classes of Exponential Analytical Inequalities},
journal={FILOMAT},
volume={32},
number={20},
pages={6921-6925},
document_type={Article; Proceedings Paper},
} 

@ARTICLE{
author={Malesevic Branko J,Rasajski Marija S,Lutovac Tatjana A},
year={2018},
title={Refined Estimates and Generalizations of Inequalities Related to the Arctangent Function and Shafer's Inequality},
journal={MATHEMATICAL PROBLEMS IN ENGINEERING},
volume={},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Rasajski Marija S,Lutovac Tatjana A,Malesevic Branko J},
year={2018},
title={About some exponential inequalities related to the sinc function},
journal={JOURNAL OF INEQUALITIES AND APPLICATIONS},
volume={},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Lutovac Tatjana A,Malesevic Branko J,Rasajski Marija S},
year={2018},
title={A New Method for Proving Some Inequalities Related to Several Special Functions},
journal={RESULTS IN MATHEMATICS},
volume={73},
number={3},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Malesevic Branko J,Lutovac Tatjana A,Banjac Bojan D},
year={2018},
title={A Proof of An Open Problem of Yusuke Nisihzawa for a Power-Exponential Function},
journal={JOURNAL OF MATHEMATICAL INEQUALITIES},
volume={12},
number={2},
pages={473-485},
document_type={Article},
} 

@ARTICLE{
author={Dozic Slavica Z,Lutovac Tatjana A,Kalic Milica Dj},
year={2018},
title={Fuzzy AHP approach to passenger aircraft type selection},
journal={JOURNAL OF AIR TRANSPORT MANAGEMENT},
volume={68},
number={},
pages={165-175},
document_type={Article},
} 

@ARTICLE{
author={Malesevic Branko J,Lutovac Tatjana A,Rasajski Marija S,Mortici Cristinel},
year={2018},
title={Extensions of the natural approach to refinements and generalizations of some trigonometric inequalities},
journal={ADVANCES IN DIFFERENCE EQUATIONS},
volume={},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Malesevic Branko J,Rasajski Marija S,Lutovac Tatjana A},
year={2017},
title={Refinements and generalizations of some inequalities of Shafer-Fink's type for the inverse sine function},
journal={JOURNAL OF INEQUALITIES AND APPLICATIONS},
volume={},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Lutovac Tatjana A,Malesevic Branko J,Mortici Cristinel},
year={2017},
title={The natural algorithmic approach of mixed trigonometric-polynomial problems},
journal={JOURNAL OF INEQUALITIES AND APPLICATIONS},
volume={},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Lutovac Tatjana A,Harland J},
year={2014},
title={Detection and analysis of some redundancies in linear logic sequent proofs},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={24},
number={1},
pages={187-232},
document_type={Article},
} 

@ARTICLE{
author={Lutovac Tatjana A,Harland J},
year={2013},
title={A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={10},
number={3},
pages={1185-1210},
document_type={Article},
} 

@ARTICLE{
author={Lutovac Tatjana A,Harland J},
year={2006},
title={Detecting loops during proof search in propositional affine logic},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={16},
number={1},
pages={61-133},
document_type={Article},
} 

@ARTICLE{
author={Lutovac Tatjana A,Harland J},
year={2005},
title={A redundancy analysis of sequent proofs},
journal={AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS},
volume={3702},
number={},
pages={185-200},
document_type={Article},
}