Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Number Theory
Vinogradov Trigonometric Sums and the Circle Method
cvts
Next ⟩
df-vts
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cvts
Description:
The Vinogradov trigonometric sums.
Ref
Expression
Assertion
cvts
class
vts