Dierk Schleicher | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Christoph Benzmüller
37 publications
Simon Schmitt
11 publications
Jonas Bayer
3 publications
Lawrence Paulson
3 publications
Benedikt Stock
3 publications
Marco David
3 publications
Leslie Lamport
2 publications
Dzmitry Rumiantsau
2 publications
Kevin Buzzard
2 publications
Bernhard Reinke
2 publications
Yuri Matiyasevich
1 publication

research

∙ 07/08/2022

Mathematical Proof Between Generations

A proof is one of the most important concepts of mathematics. However, t...

0 Jonas Bayer, et al. ∙

research

∙ 04/09/2020

The Weierstrass root finder is not generally convergent

Finding roots of univariate polynomials is one of the fundamental tasks ...

0 Bernhard Reinke, et al. ∙

research

∙ 04/07/2020

Finding polynomial roots by dynamical systems – a case study

We investigate two well known dynamical systems that are designed to fin...

0 Sergey Shemyakov, et al. ∙