Login / Signup
Divisible formal weight enumerators and extremal polynomials not satisfying the Riemann hypothesis.
Koji Chinen
Published in:
Discret. Math. (2019)
Keyphrases
</>
graph theory
hypothesis space
multiscale
formal model
formal methods
low order
formal specification
formal analysis