Write in a clean editor, then format for Forum of Mathematics Pi in one click — DocuGuru applies the official Cambridge University Press template with numbered references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
Forum of Mathematics Pi is a peer-reviewed journal published by Cambridge University Press, covering Algebraic Geometry and Number Theory, Advanced Algebra and Geometry, Algebraic structures and combinatorial models.
| Publisher | Cambridge University Press |
|---|---|
| Reference style | Numbered Numbered — [1], [2] in the text [1] A. Smith, B. Jones, and C. Lee, A representative article title, Forum of Mathematics Pi 12 (2023) 45–58.
Formats any DOI in the closest standard style — Forum of Mathematics Pi has no published style definition, so this is an approximation. No sign-up. |
| Publishes research in | Algebraic Geometry and Number Theory Advanced Algebra and Geometry Algebraic structures and combinatorial models Homotopy and Cohomology in Algebraic Topology Geometry and complex manifolds |
| ISSN | 2050-5086 |
| Citation impact (2-yr) | 2.66 |
| h-index | 26 |
| i10-index | 80 |
| Total citations | 2,938 |
| Open access | Yes |
| Top institutions publishing here | Centre National de la Recherche Scientifique |
| Journal website | www.cambridge.org |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Citations each year’s papers have accumulated so far — the most recent years are still building up.
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
Abstract We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on the theory of perfectoid spaces. Another new ingredient is the pro-étale site, which makes all constructions completely functorial.
Abstract Define the Collatz map ${\operatorname {Col}} \colon \mathbb {N}+1 \to \mathbb {N}+1$ on the positive integers $\mathbb {N}+1 = \{1,2,3,\dots \}$ by setting ${\operatorname {Col}}(N)$ equal to $3N+1$ when N is odd and $N/2$ when N is even, and let ${\operatorname {Col}}_{\min }(N) := \inf _{n \in \mathbb {N}} {\operatorname {Col}}^n(N)$ denote the minimal…
Let $\unicode[STIX]{x1D706}$ denote the Liouville function. The Chowla conjecture, in the two-point correlation case, asserts that $$\begin{eqnarray}\mathop{\sum }_{n\leqslant x}\unicode[STIX]{x1D706}(a_{1}n+b_{1})\unicode[STIX]{x1D706}(a_{2}n+b_{2})=o(x)\end{eqnarray}$$ as $x\rightarrow \infty$ , for any fixed natural numbers $a_{1},a_{2}$ and nonnegative integer $b_{1},b_{2}$ with $a_{1}b_{2}-a_{2}b_{1}\neq 0$ . In this paper we establish the logarithmically averaged version $$\begin{eqnarray}\mathop{\sum }_{x/\unicode[STIX]{x1D714}(x)<n\leqslant x}\frac{\unicode[STIX]{x1D706}(a_{1}n+b_{1})\unicode[STIX]{x1D706}(a_{2}n+b_{2})}{n}=o(\log \unicode[STIX]{x1D714}(x))\end{eqnarray}$$ of the Chowla conjecture as…
Let $\mathbb{F}_{q}^{n}$ be a vector space of dimension $n$ over the finite field $\mathbb{F}_{q}$ . A $q$ -analog of a Steiner system (also known as a $q$ - Steiner system ), denoted ${\mathcal{S}}_{q}(t,\!k,\!n)$ , is a set ${\mathcal{S}}$ of $k$ -dimensional subspaces of $\mathbb{F}_{q}^{n}$ such that each $t$ -dimensional subspace of $\mathbb{F}_{q}^{n}$ is contained in…
