Recurrence / CONCEPT
Hanna's Square-Composition Congruence
An integral power-series solution has residue two modulo four exactly at shifted powers of two above degree one.
Closed
DIRECT PREREQUISITES5
DIRECT CONSEQUENCES0
PROOF DEPTH2
DOCUMENT LINKS0
The A372527 congruence theorem
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Alternating Dyadic Reversion Modulo Fourtruth-dependency · Closed
- Hanna's Absolute Reciprocal Geometric Paritytruth-dependency · Closed
- Hanna's Cubic Substitution Parity Conjecturetruth-dependency · Closed
- Normalized coefficient contractionstruth-dependency · Closed
- Unit Reversion and Square Paritytruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Alternating Dyadic Reversion Modulo Fourstructural-affinity · Closed
- Dyadic parity for Hanna's cubic seriesstructural-affinity · Closed
- Hanna's A375449 Diagonal Derivative Paritystructural-affinity · Closed
- Hanna's A375452 Diagonal Derivative Paritystructural-affinity · Closed
- Hanna's A382319 Congruence Modulo Threestructural-affinity · Closed
- Hanna's A393173 Power-of-Two Paritystructural-affinity · Closed
- Hanna's Absolute Reciprocal Geometric Paritystructural-affinity · Closed
- Hanna's Cubic Substitution Parity Conjecturestructural-affinity · Closed
- Hanna’s A377100 mod-three conjecturestructural-affinity · Closed
- Normalized coefficient contractionsstructural-affinity · Closed
- OEIS A193236: congruences modulo five and sevenstructural-affinity · Closed
- OEIS A193237: congruences modulo five and sevenstructural-affinity · Closed
- Prime exponents characterize Somos integralitystructural-affinity · Closed
- Scaled Quadratic Reversion Modulo Sixteenstructural-affinity · Closed
- Unit Reversion and Square Paritystructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance