pith.

Research Integrity Review Pre-print

sign in

Physics Mathematics Computer Science Biology Finance Statistics Systems Economics

authors / Jean-Raymond Abrial

Jean-Raymond Abrial

Identifiers

No identifiers captured yet.

Papers (1)

Formal Proof of the Weak Goodstein Theorem cs.SE · 2016 · author #1

Mentions

No mention provenance yet.

pith.science · pre-print review infrastructure · authors keep copyright · arXiv keeps the PDF

Pith is a project of Recognition Physics Research Institute, a not-for-profit entity in Texas.

Research · Integrity · Review · Pre-prints · Pre-print policy · Recent Asks · Citations · Graph · Extension · Sitemap

Pith Reports are machine-assisted referee-style reports. They are not journal acceptance, and they do not replace expert scrutiny.