Formalizing Norm Extensions and Applications to Number Theory.

María Inés de Frutos-Fernández

Published in: CoRR (2023)

Keyphrases

small number
artificial intelligence
theoretical framework
database systems
image restoration
theoretical foundation
computational effort
fixed number
formal theory