
A Simple Derivation of the Heap's Law from the Generalized Zipf's Law
I reproduce a rather simple formal derivation of the Heaps' law from the...
read it

SimilarityBased Equational Inference in Physics
Derivation in physics, in the form of derivation reconstruction of publi...
read it

A Simple Derivation of AMP and its State Evolution via FirstOrder Cancellation
We consider the linear regression problem, where the goal is to recover ...
read it

Automatic Derivation Of Formulas Using Reforcement Learning
This paper presents an artificial intelligence algorithm that can be use...
read it

Display to Labelled Proofs and Back Again for Tense Logics
We introduce translations between display calculus proofs and labelled c...
read it

The AbsentMinded Passengers Problem: A Motivating Challenge Solved by Computer Algebra
In (S.B. Ekhad and D. Zeilberger, 2020) an exciting case study has been ...
read it

Deductive semiparametric estimation in DoubleSampling Designs with application to PEPFAR
Robust estimators in missing data problems often use semiparametric esti...
read it
A Simple ReDerivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
In this case study, we illustrate the great potential of experimental mathematics and symbolic computation, by rederiving, ab initio, Onsager's celebrated solution of the twodimensional Ising model in zero magnetic field. Onsager's derivation is extremely complicated and ad hoc, as are all the subsequent proofs. Unlike Onsager's, our derivation is not rigorous, yet it is absolutely certain (even if Onsager did not do it before), and should have been acceptable to physicists who do not share mathematicians' fanatical (and often misplaced) insistence on rigor.
READ FULL TEXT
Comments
There are no comments yet.