Skip to main content
HEXAGON
beta
Submit
About
Who we are
Sign in
hexagon:2610.00695v2
/
Source files
A trace upper-bound certificate with complex-root auxiliaries
Contributed by Ricardo Pinho
Source files
Download source .zip
root file
c86.tex · root file
8 KiB · SHA-256 c91ad814acfa39d3… · view text
Back to the main record