BAIG - Belgrade Group
BAIG PROJECT
This project was developed at the School of Electrical Engineering, University of Belgrade, and it is dedicated to the development of automatic inequality provers and general questions related to the application of the Theory of analytical inequalities.Who are we?
Prof. Dr.
Branko Malešević
Departman of Applied Mathematics, School of Electrical Engineering, Belgrade
Assist. Prof. Dr.
Bojana Mihailović
Departman of Applied Mathematics, School of Electrical Engineering, Belgrade
Prof. Dr.
Tatjana Lutovac
Departman of Applied Mathematics, School of Electrical Engineering, Belgrade
Prof. Dr.
Marija Rašajski
Departman of Applied Mathematics, School of Electrical Engineering, Belgrade
Assoc. Prof. Dr.
Maja Petrović
Faculty of Transport and Traffic Engineering, Belgrade
Dr. Marija Nenezić Jović
Ph.D. in Applied Mathematics, School of Electrical Engineering, Belgrade
Assist. Prof. Dr.
Bojan Banjac
Computer Graphics Chair, Faculty of Technical Sciences, Novi Sad
Miloš Mićović, MS.c.
Ph.D. Student in Applied Mathematics, School of Electrical Engineering, Belgrade
Our work
Some of the papers published by project members are listed here. For more information, visit team members' websites.- B. Malesevic, D. Jovanovic: Frame's Types of Inequalities and Stratification, Accepted in CUBO, A Mathematical Journal (2024)
- B. Malesevic, M. Micovic: Exponential Polynomials and Stratification in the Theory of Analytic Inequalities, Journal Of Science And Arts 23:3 (2023), 659-670. DOI: 10.46939/J.Sci.Arts-23.3-a07
- C.-P. Chen, B. Malesevic: Sharp inequalities related to the Adamovic-Mitrinovic, Cusa, Wilker and Huygens results, Filomat 37:19 (2023), 6319-6334. DOI: 10.2298/FIL2319319C
- L. Zhu, B. Malesevic: New inequalities of Huygens-type involving tangent and sine functions, Hacettepe Journal of Mathematics and Statistics 52:1 (2023), 36-61. DOI: 10.15672/hujms.951700
- Y. J. Bagul, C. Chesneau, M. Kostic, T. Lutovac, B. Malesevic, M. Rasajski: Convexity and double-sided Taylor's approximations, Hacettepe Journal of Mathematics and Statistics 52:1 (2023), 560-571. DOI: 10.15672/hujms.1096357
- C.-P. Chen, B. Malesevic: A method to prove inequalities and its applications, Journal of Mathematical Inequalities 16:3 (2022), 923-945. DOI: 10.7153/jmi-2022-16-63
- C. Qian, X.-D. Chen, B. Malesevic: Tighter bounds for the inequalities of Sinc function based on reparameterization, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas 116:29 (2022), 1-38. DOI: 10.1007/s13398-021-01170-9
- B. Malesevic, B. Mihailovic: A minimax approximant in the theory of analytic inequalities, Applicable Analysis and Discrete Mathematics 15:2 (2021), 486-509. DOI: 10.2298/AADM210511032M
- L. Zhu, B. Malesevic: Optimal bounds for the sine and hyperbolic tangent means by arithmetic and centroidal means in exponential type, AIMS Mathematics 6:12 (2021), 13024-13040. DOI: 10.3934/math.202175
- B. Malesevic, M. Nenezic, L. Zhu, B. Banjac, M. Petrovic: Some new estimates of precision of Cusa-Huygens and Huygens approximations, Applicable Analysis and Discrete Mathematics 15:1 (2021), 243-259. DOI: 10.2298/AADM190904055M
- Y. Bagul, B. Banjac, C. Chesneau, M. Kostic, B. Malesevic: New Refinements of Cusa-Huygens Inequality, Results in mathematics 76:107 (2021), 1-16. DOI: 10.1007/s00025-021-01392-8
- L. Zhu, B. Malesevic: New Wilker-type and Huygens-type inequalities, Hacettepe Journal of Mathematics and Statistics 50:1 (2021), 46-62. DOI: 10.15672/hujms.550184
- B. Malesevic, T. Lutovac, M. Rasajski, B. Banjac: Error-Functions in Double-Sided Taylor's Approximations, Applicable Analysis and Discrete Mathematics 14:3 (2020), 599-613. DOI: 10.2298/AADM200114040M
- C.-P. Chen, B. Malesevic: Inequalities related to certain inverse trigonometric and inverse hyperbolic functions, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas 114:105 (2020), 1-11. DOI: 10.1007/s13398-020-00836-0
- L. Zhu, B. Malesevic: Natural approximation of Masjed-Jamei's inequality, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas 114:25 (2020), 1-11. DOI: 10.1007/s13398-019-00735-z
- L. Zhu, B. Malesevic: Inequalities between the inverse hyperbolic tangent and the inverse sine and the analogue for corresponding functions, Journal of Inequalities and Applications 2019:93 (2019), 1-10. DOI: 110.1186/s13660-019-2046-2
- B. Malesevic, T. Lutovac, B. Banjac: One method for proving some classes of exponential analytical inequalities, Filomat 32:20 (2018), 6921-6925. DOI: 10.2298/FIL1820921M
- B. Malesevic, Y. Hu, C. Mortici: Accurate estimates of (1+x)^{1/x} Involved in Carleman Inequality and Keller Limit, Filomat Vol 32:13 (2018), 1-5.
- B. Malesevic, M. Rasajski, T. Lutovac: A Refined estimates and generalizations of inequalities related to the arctangent function and Shafer's inequality, Mathematical Problems in Engineering, Volume 2018, Article ID 4178629, (2018) 1-8. DOI: 10.1155/2018/4178629
- B. Malesevic, T. Lutovac, B. Banjac: A proof of an open problem of Yusuke Nishizawa for a power-exponential function, Journal of Mathematical Inequalities, Volume 12, Number 2 (2018), 473-485. DOI:10.7153/jmi-2018-12-35
- M. Rasajski, T. Lutovac, B. Malesevic: About some exponential inequalities related to the sinc function, Journal of Inequalities and Applications 2018:150, (2018), 1-10. DOI: 10.1186/s13660-018-1740-9
- T. Lutovac, B. Malesevic, M. Rasajski: A New Method for Proving Some Inequalities Related to Several Special Functions, Results in Mathematics 73:100, (2018), 1-15. DOI: 10.1007/s00025-018-0862-1
- M. Rasajski, T. Lutovac, B. Malesevic: Sharpening and generalizations of Shafer-Fink and Wilker type inequalities: a new approach, Journal of Nonlinear Sciences and Applications, Volume 11, Issue 7, (2018), 885-893. DOI:10.22436/jnsa.011.07.02
- B. Malesevic, T. Lutovac, M. Rasajski, C. Mortici: Extensions of the natural approach to refinements, and generalizations of some trigonometric inequalities, Advances in Difference Equations 2018:90, (2018), 1-15. DOI: 10.1186/s13662-018-1545-7
- M. Nenezic, L. Zhu: Some improvements of Jordan-Steckin and Becker-Stark inequalities, Applicable Analysis and Discrete Mathematics, Volume 12, Issue 1, (2018), Pages: 244-256, DOI:10.2298/aadm1801244n
- L. Zhu & M. Nenezić: New approximation inequalities for circular functions, Journal of Inequalities and Applications (2018)
- B. Malesevic, M. Rasajski, T. Lutovac: Refinements and generalizations of some inequalities of Shafer-Fink's type for the inverse sine function, Journal of Inequalities and Applications 2017:275, (2017), 1-9. DOI: 10.1186/s13660-017-1554-1
- T. Lutovac, B. Malesevic, C. Mortici: The natural algorithmic approach of mixed trigonometric-polynomial problems, Journal of Inequalities and Applications 2017:116, (2017) 1-16. DOI: 10.1186/s13660-017-1392-1
- B. Malesevic, B. Banjac, I. Jovovic: A proof of two conjectures of Chao-Ping Chen for inverse trigonometric functions, Journal of Mathematical Inequalities, Volume 11, Number 1 (2017), 151-162. DOI: 10.7153/jmi-11-15
- B. Malesevic, M. Makragic: A Method for Proving Some Inequalities on Mixed Trigonometric Polynomial Functions, Journal of Mathematical Inequalities, Volume 10, Number 3 (2016), 849-876. DOI: 10.7153/jmi-10-69
- M. Nenezic, B. Malesevic, C. Mortici: New approximations of some expressions involving trigonometric functions, Applied Mathematics and Computation, Volume 283 (2016), 299-315. DOI: 10.1016/j.amc.2016.02.035
- B. Banjac, M. Makragic, B. Malesevic: Some notes on a method for proving inequalities by computer, Results in Mathematics, Volume 69, Issue 1, (2016), 161-176. DOI: 10.1007/s00025-015-0485-8
- Banjac, B.: System for automatic proving of some classes of analytic inequalities, Doctoral dissertation 289 (in Serbian), School of Electrical Engineering, Belgrade. http://baig.etf.rs/ (2019)
SimTheP
As a result of our research, two doctoral dissertations were successfully defended:M. Makragic: On trigonometric polynomial ring with applications in the theory of analytic inequalities, Doctoral dissertation (in Serbian), Mathematics Faculty, Belgrade, June 2018. (supervisor B. Malesevic)
B. Banjac: System for automatic proving of some classes of analytic inequalities, Doctoral dissertation (in Serbian), School of Electrical Engineering, Belgrade, May 2019. (supervisor B. Malesevic)
In these dissertations were set mathematical foundations for computer implementation of Direct automatic prover of analytical inequalities over the class of Mixed Trigonometric Polynomial functions. Computer realization is developed under the application SimTheP in the doctoral dissertation of Bojan Banjac.
For all questions about possible cooperation, you can contact us through Prof. Dr. Branko Malešević at malesevic@etf.rs.