The natural algorithmic approach of mixed trigonometric-polynomial problems (Q2012330): Difference between revisions

@@ Property / author @@
-Branko J. Malešević
@@ Property / author: Branko J. Malešević / rank @@
-Normal rank
@@ Property / author @@
+Branko J. Malešević
@@ Property / author: Branko J. Malešević / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2594365760
@@ Property / OpenAlex ID: W2594365760 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q33705457
@@ Property / Wikidata QID: Q33705457 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07911
@@ Property / arXiv ID: 1702.07911 / rank @@
+Normal rank
@@ Property / cites work @@
+A new elementary proof of Wilker's inequalities
@@ Property / cites work: A new elementary proof of Wilker's inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+On Jordan type inequalities for hyperbolic functions
+Normal rank
@@ Property / cites work @@
+The natural approach of Wilker-Cusa-Huygens inequalities
+Normal rank
@@ Property / cites work @@
+Sharp Wilker- and Huygens-type inequalities for inverse trigonometric and inverse hyperbolic functions
+Normal rank
@@ Property / cites work @@
+Analytic Number Theory, Approximation Theory, and Special Functions
+Normal rank
@@ Property / cites work @@
+New sharp Jordan type inequalities and their applications
+Normal rank
@@ Property / cites work @@
+Padé approximant related to remarkable inequalities involving trigonometric functions
+Normal rank
@@ Property / cites work @@
+A method for proving some inequalities on mixed trigonometric polynomial functions
+Normal rank
@@ Property / cites work @@
+Some notes on a method for proving inequalities by computer
+Normal rank
@@ Property / cites work @@
+New approximations of some expressions involving trigonometric functions
+Normal rank
@@ Property / cites work @@
+A proof of an open problem of Yusuke Nishizawa for a power-exponential function
+Normal rank
@@ Property / cites work @@
+A proof of two conjectures of Chao-Ping Chen for inverse trigonometric functions
+Normal rank
@@ Property / cites work @@
+The natural approach of trigonometric inequalities - Padé approximant
+Normal rank
@@ Property / cites work @@
+A symmetric homotopy and hybrid polynomial system solving method for mixed trigonometric polynomial systems
+Normal rank
@@ Property / cites work @@
+Analytic Inequalities
@@ Property / cites work: Analytic Inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4861743
@@ Property / cites work: Q4861743 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3327746
@@ Property / cites work: Q3327746 / rank @@
+Normal rank
@@ Property / cites work @@
+Certified Computer Algebra on Top of an Interactive Theorem Prover
+Normal rank
@@ Property / cites work @@
+The Undecidability of the Existence of Zeros of Real Elementary Functions
+Normal rank
@@ Property / cites work @@
+Interpreting Gödel
@@ Property / cites work: Interpreting Gödel / rank @@
+Normal rank
@@ Property / cites work @@
+The removal of $\pi $ from some undecidable problems involving elementary functions
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
+Normal rank
@@ Property / cites work @@
+Q3893911
@@ Property / cites work: Q3893911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4275389
@@ Property / cites work: Q4275389 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof assistants: history, ideas and future
@@ Property / cites work: Proof assistants: history, ideas and future / rank @@
+Normal rank
@@ Property / cites work @@
+Q5271422
@@ Property / cites work: Q5271422 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2012330