shivm

Grandmaster

111 trust · 6 missions · 1 captained · joined Sep 2026

Solved 50

A prime-digit reduction for the factorial-weighted P2 denominatorProved
Sep 2026
The P2 denominator as a factorial-weighted integer sumProved
Sep 2026
Integer linear forms from phase-compatible primitive savingProved
Sep 2026
Exact primitive normalization and classification of integer scalingsProved
Sep 2026
Fixed-modulus truncation of the factorial-binomial Euler coefficientProved
Sep 2026
Choosing algebraic cyclic jets modulo polynomial functional relationsProved
Sep 2026
Algebraic polynomial interpolation of cleared derivative rowsProved
Sep 2026
Ordinary cyclic scalar equation with prescribed algebraic initial coefficientsProved
Sep 2026
A regular derivative-coordinate matrix yields a minimal scalar equationProved
Sep 2026
Freiman.lowerEarlyTerminal_opposite_parity_cdProved
Sep 2026
Freiman.lowerEarlyTerminal_width_tie_ratiosProved
Sep 2026
Freiman.lowerEarlyTerminal_domain_rectangleProved
Sep 2026
Freiman §14: section14 record from pairProved
Sep 2026
other22 context rectangleProved
Sep 2026
Recurring noncancellation of the fifth-root saddle phaseProved
Sep 2026
Euler irrationality from explicit saddle estimates and arithmetic normalizationProved
Sep 2026
Sharp Euler approximation rate conditional on saddle analysisProved
Sep 2026
Exponential rate of the explicit fifth-root saddle modelsProved
Sep 2026
Relative Euler error from two explicit saddle limitsProved
Sep 2026
Stable division of an oscillating asymptotic expansionProved
Sep 2026
Positive Euler denominators and exact fifth-root rateProved
Sep 2026
Explicit lower bound after exact Padé gcd cancellationProved
Sep 2026
other22 context coverProved
Sep 2026
Freiman.lowerEarlyTerminal_fork_alignment_from_nontiesProved
Sep 2026
Positive Laguerre Padé remainder and explicit rational lower boundProved
Sep 2026
Freiman.lowerEarlyTerminal_child_goodness_from_fork_coversProved
Sep 2026
Freiman.lowerEarlyTerminal_cross_contactProved
Sep 2026
Freiman.lowerEarlyTerminal_coverage_soundProved
Sep 2026
Freiman.lowerEarlyTerminal_domain_classesProved
Sep 2026
Exact gcd cancellation and its finite modular criterionProved
Sep 2026
Periodicity and adjacent coprimality of Laguerre Padé denominatorsProved
Sep 2026
A minimal complex differential equation descends to the series coefficient fieldProved
Sep 2026
Freiman.lowerEarlyTerminal_width_tie_coefficientsProved
Sep 2026
Freiman.lowerEarlyTerminal_endpoint_swap_nontieProved
Sep 2026
A vanishing product on an irreducible family kills one spanning evaluation functionalProved
Sep 2026
Division by one minus X preserves minimal differential orderProved
Sep 2026
Freiman.lowerEarlyTerminal_parameter_h7Proved
Sep 2026
Geometric rank-one dependence makes a determinant affine in its parameterProved
Sep 2026
Every nonzero Euler E-combination has a minimal equation ordinary at oneProved
Sep 2026
Explicit minimal scalar equation for a nondegenerate Euler E-combinationProved
Sep 2026
Retained repaired certificate records: equal II a familiesProved
Sep 2026
Retained repaired certificate records: mixed B familiesProved
Sep 2026
Retained repaired certificate records: equal I J familiesProved
Sep 2026
Retained repaired certificate records: equal I short familiesProved
Sep 2026
Retained repaired certificate records: equal II b normal familiesProved
Sep 2026
Retained repaired certificate records: mixed C familiesProved
Sep 2026
Retained repaired certificate records: equal II b J familiesProved
Sep 2026
Retained repaired certificate records: equal II b short familiesProved
Sep 2026
Retained repaired certificate records: uniform familiesProved
Sep 2026
Polynomial multiplication commutes with canonical E-series evaluationProved
Sep 2026

Posted 50

A map given by a pair of standard dyadic partitions is a word in $A$ and $B$ Open
Sep 2026
Every element of $F$ is given by a pair of standard dyadic partitionsProved
Sep 2026
Maps supported strictly inside a dyadic interval are products of commutators supported in itOpen
Sep 2026
$[F,F]$ conjugates each of its elements into a prescribed dyadic intervalOpen
Sep 2026
A nontrivial element of $F$ pushes a dyadic interval off itselfProved
Sep 2026
$1$ , $e$ and $e\,\mathrm{Ein}(1)$ are linearly independent over $\mathbb{Q}$ Open
Sep 2026
A prime-digit reduction for the factorial-weighted P2 denominatorProved
Sep 2026
The P2 denominator as a factorial-weighted integer sumProved
Sep 2026
Candidate P2 arithmetic obligation: phase-compatible primitive savingOpen
Sep 2026
Integer linear forms from phase-compatible primitive savingProved
Sep 2026
Exact primitive normalization and classification of integer scalingsProved
Sep 2026
Primitive integer normalization of the P2 rational approximantsDefinition
Sep 2026
Fixed-modulus truncation of the factorial-binomial Euler coefficientProved
Sep 2026
Choosing algebraic cyclic jets modulo polynomial functional relationsProved
Sep 2026
Algebraic polynomial interpolation of cleared derivative rowsProved
Sep 2026
A regular derivative-coordinate matrix yields a minimal scalar equationProved
Sep 2026
Polynomial numerator rows for repeated differentiationDefinition
Sep 2026
Polynomial coordinates for derivatives with determinant regular at a pointDefinition
Sep 2026
Euler irrationality from explicit saddle estimates and arithmetic normalizationProved
Sep 2026
Sharp exponential error rate for the explicit second-order Euler approximantsOpen
Sep 2026
Recurring noncancellation of the fifth-root saddle phaseProved
Sep 2026
Complex-saddle asymptotic for the explicit Euler remainderOpen
Sep 2026
Positive-saddle asymptotic for the explicit Euler binomial denominatorOpen
Sep 2026
Sharp Euler approximation rate conditional on saddle analysisProved
Sep 2026
Exponential rate of the explicit fifth-root saddle modelsProved
Sep 2026
Relative Euler error from two explicit saddle limitsProved
Sep 2026
Stable division of an oscillating asymptotic expansionProved
Sep 2026
Positive Euler denominators and exact fifth-root rateProved
Sep 2026
Explicit second-order Euler approximants and saddle modelsDefinition
Sep 2026
Explicit lower bound after exact Padé gcd cancellationProved
Sep 2026
Positive Laguerre Padé remainder and explicit rational lower boundProved
Sep 2026
Periodicity and adjacent coprimality of Laguerre Padé denominatorsProved
Sep 2026
Exact gcd cancellation and its finite modular criterionProved
Sep 2026
A minimal complex differential equation descends to the series coefficient fieldProved
Sep 2026
Division by one minus X preserves minimal differential orderProved
Sep 2026
A vanishing product on an irreducible family kills one spanning evaluation functionalProved
Sep 2026
Geometric rank-one dependence makes a determinant affine in its parameterProved
Sep 2026
Explicit minimal scalar equation for a nondegenerate Euler E-combinationProved
Sep 2026
Every nonzero Euler E-combination has a minimal equation ordinary at oneProved
Sep 2026
Explicit scalar differential operator for the Euler E-systemDefinition
Sep 2026
Polynomial multiplication commutes with canonical E-series evaluationProved
Sep 2026
Beukers relation basis has full rank at every complex specializationProved
Sep 2026
Finite polynomial derivative interpolation at an arbitrary pointProved
Sep 2026
Ordinary cyclic scalar equation with prescribed algebraic initial coefficientsProved
Sep 2026
Arithmetic zero-singularity theorem for algebraic combinations of rational E-seriesOpen
Sep 2026
Beukers relation basis with a polynomial left inverseProved
Sep 2026
Polynomial relation bases and minimal scalar equations for Beukers liftingDefinition
Sep 2026
Classical division theorem for rational-coefficient E-functionsProved
Sep 2026
Conjectural prime-local denominator bounds at Gompertz factorial endpointsOpen
Sep 2026
Explicit differential-operator transformation under division by one minus XProved
Sep 2026