Guessing with Little Data

02/16/2022
by   Manuel Kauers, et al.
0

Reconstructing a hypothetical recurrence equation from the first terms of an infinite sequence is a classical and well-known technique in experimental mathematics. We propose a variation of this technique which can succeed with fewer input terms.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/16/2018

A random walk through experimental mathematics

We describe our adventures in creating a new first-year course in Experi...
research
10/03/2020

An Infinite, Converging, Sequence of Brocard Porisms

The Brocard porism is a known 1d family of triangles inscribed in a circ...
research
10/13/2021

Where are the logs?

The commonly quoted error rates for QMC integration with an infinite low...
research
03/10/2020

Beyond sets with atoms: definability in first order logic

Sets with atoms serve as an alternative to ZFC foundations for mathemati...
research
01/01/2021

Formalizing Hall's Marriage Theorem in Lean

We formalize Hall's Marriage Theorem in the Lean theorem prover for incl...
research
04/07/2021

A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence

We propose a novel construction for the well-known prefer-max De Bruijn ...

Please sign up or login with your details

Forgot password? Click here to reset