
Formalizing Galois Theory
We describe a project to formalize Galois theory using the Lean theorem ...
read it

Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
Confluence denotes the property of a state transition system that states...
read it

Asymptotic equivalence for nonparametric regression with dependent errors: GaussMarkov processes
For the class of GaussMarkov processes we study the problem of asymptot...
read it

Cox's Theorem Revisited
The assumptions needed to prove Cox's Theorem are discussed and examined...
read it

A convex approach to optimum design of experiments with correlated observations
Optimal design of experiments for correlated processes is an increasingl...
read it

Kuhn's Equivalence Theorem for Games in Intrinsic Form
We state and prove Kuhn's equivalence theorem for a new representation o...
read it

On Solving Ambiguity Resolution with Robust Chinese Remainder Theorem for Multiple Numbers
Chinese Remainder Theorem (CRT) is a powerful approach to solve ambiguit...
read it
The Frisch–Waugh–Lovell Theorem for Standard Errors
The Frisch–Waugh–Lovell Theorem states the equivalence of the coefficients from the full and partial regressions. I further show the equivalence between various standard errors. Applying the new result to stratified experiments reveals the discrepancy between modelbased and designbased standard errors.
READ FULL TEXT
Comments
There are no comments yet.