Proving Properties of phi-Representations with the Walnut Theorem-Prover
math.NT, cs.DM, cs.FL
Submitted: 2023-05-04
Updated: 2024-09-06
Terminology
Related papers
- Coefficient choice in Galois-ring lifts of APN permutations: sharp unit-direction spectra and one-term optimal lifts
- The twisted convolution identity and ghost r-SICs from finite quantum dilogarithms
- Smoothness of Shortest Isogenies to Frobenius Conjugates
- Supersingularity and Superspeciality Verification of Abelian Surfaces
- Optimal Reduced Representatives of Quadratic APN Permutations in Odd Dimension
- Second order Recurrences, quadratic number fields and cyclic codes