activity
20072024
most citedA proof of an open problem of Yusuke Nishizawa for a power-exponential function

26 citations · 115 across the 16 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

math.GM2024★ 1 cited

The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification

Bojan Banjac, Branko Malesevic, Milos Micovic +2

In this paper, we generalize Cristinel Mortici's results on Wilker-Cusa-Huygens inequalities using stratified families of functions and SimTheP - a system for automated proving of…