AI Chat AI Image Generator AI Video Text to Speech

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

research

∙ 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. ∙

research

∙ 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. ∙

research

∙ 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. ∙

research

∙ 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. ∙

research

∙ 10/14/2020

Differentiable Implicit Layers

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

0 Andreas Look, et al. ∙

research

∙ 04/16/2021

Signed Distance Function Computation from an Implicit Surface

We describe in this short note a technique to convert an implicit surfac...

0 Pierre-Alain Fayolle, et al. ∙

research

∙ 01/07/2021

Distributed Quantum Faithful Simulation and Function Computation Using Algebraic Structured Measurements

In this work, we consider the task of faithfully simulating a distribute...

0 Touheed Anwar Atif, et al. ∙