Arith / CONCEPT
Mv Hasse Deriv
The multivariate Hasse derivative acts on monomials by binomial coefficients.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES7
PROOF DEPTH0
DOCUMENT LINKS1
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
- Auxiliary Polynomialtruth-dependency · Closed
- Auxiliary Polynomial Fixed Degreetruth-dependency · Closed
- Box Monomialtruth-dependency · Closed
- Generalized Wronskiantruth-dependency · Closed
- Mv Polynomial Eval Boundtruth-dependency · Closed
- Polynomial Indextruth-dependency · Closed
- Roth Lemmatruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Auxiliary Polynomialstructural-affinity · Closed
- Auxiliary Polynomial Fixed Degreestructural-affinity · Closed
- Box Monomialstructural-affinity · Closed
- Generalized Wronskianstructural-affinity · Closed
- Mv Polynomial Eval Boundstructural-affinity · Closed
- Polynomial Indexstructural-affinity · Closed
- Roth Lemmastructural-affinity · Closed
- Weighted Orderstructural-affinity · Closed
- Wronskianstructural-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