Arith / CONCEPT
Auxiliary Polynomial
Construct a nonzero auxiliary polynomial with bounded index and logarithmic height.
Closed
DIRECT PREREQUISITES7
DIRECT CONSEQUENCES1
PROOF DEPTH11
DOCUMENT LINKS1
Auxiliary Polynomial
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Auxiliary Polynomial Fixed Degreetruth-dependency · Closed
- Bombieri Vaaler Relativetruth-dependency · Closed
- Box Monomialtruth-dependency · Closed
- Counting Volumetruth-dependency · Closed
- Gauss Lemmatruth-dependency · Closed
- Mv Hasse Derivtruth-dependency · Closed
- Polynomial Indextruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Auxiliary Polynomial Fixed Degreestructural-affinity · Closed
- Bombieri Vaaler Max Normstructural-affinity · Closed
- Bombieri Vaaler Relativestructural-affinity · Closed
- Box Monomialstructural-affinity · Closed
- Counting Volumestructural-affinity · Closed
- Gauss Lemmastructural-affinity · Closed
- Mv Hasse Derivstructural-affinity · Closed
- Places Over Finitestructural-affinity · Closed
- Places Over Infinitestructural-affinity · Closed
- Polynomial Indexstructural-affinity · Closed
- Roth Auxiliarystructural-affinity · Closed
- Roth Moving Chainstructural-affinity · Closed
- Roth Theoremstructural-affinity · Closed
- The two-prime cubic Thue descentstructural-affinity · Closed
- Thue Equationstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance