DeepAI AI Chat

A note about Euler's inequality and automated reasoning with dynamic geometry

07/31/2017

∙

by Zoltán Kovács, et al.

∙

∙

Using implicit loci in GeoGebra Euler's R≥ 2r inequality can be investigated in a novel way. Some unavoidable side effects of the implicit locus computation introduce unexpected algebraic curves. By using a mixture of symbolic and numerical methods a possible approach is sketched up to investigate the situation.

Zoltán Kovács
13 publications
Róbert Vajda
4 publications

∙ 11/29/2017

Detailed proof of Nazarov's inequality

The purpose of this note is to provide a detailed proof of Nazarov's ine...

0 Victor Chernozhukov, et al. ∙

∙ 04/30/2021

On the randomized Euler schemes for ODEs under inexact information

We analyse errors of randomized explicit and implicit Euler schemes for ...

0 Tomasz Bochacik, et al. ∙

∙ 04/10/2023

A generalization of tangent-based implicit curves

An approach to defining quadratic implicit curves is to prescribe two ta...

0 Ágoston Sipos, et al. ∙

∙ 02/12/2021

Unified Compact Numerical Quadrature Formulas for Hadamard Finite Parts of Singular Integrals of Periodic Functions

We consider the numerical computation of finite-range singular integrals...

0 Avram Sidi, et al. ∙

∙ 10/14/2020

Differentiable Implicit Layers

In this paper, we introduce an efficient backpropagation scheme for non-...

0 Andreas Look, et al. ∙

∙ 02/03/2022

On the properties of the exceptional set for the randomized Euler and Runge-Kutta schemes

We show that the probability of the exceptional set decays exponentially...

0 Tomasz Bochacik, et al. ∙

∙ 04/11/2017

Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method

In this paper, we propose a symbolic control synthesis method for nonlin...

0 Adrien Le Coënt, et al. ∙