← All Papers · Formal Verification

Newton task — Algebraic exploration of candidate pivotal-scaling formulas in the LR-to-SR crossover of percolation

Dr. Tamás Nagy Short Draft Formal Verification
Unreviewed draft. This paper has not been human-reviewed. Mathematical claims may be unverified. Use with appropriate caution.
View in Graph BibTeX
Length
1,966 words
Status
Done

Browse all Formal Verification papers →