Communications on Pure and Applied Mathematics

Paper

13 Oct 2006

A note on monte carlo primality tests and algorithmic information theory

View publication

Abstract

No abstract available.

Related

Conference paper

Global observer design for Navier-Stokes equations in 2D

Conference paper

Rate-improved Inexact Augmented Lagrangian Method for Constrained Nonconvex Optimization

Conference paper

A Single-Loop Gradient Descent and Perturbed Ascent Algorithm for Nonconvex Functional Constrained Optimization

Conference paper

CertRL: Formalizing convergence proofs for value and policy iteration in Coq

View all publications