Login / Signup
A Formalization of Complete Discrete Valuation Rings and Local Fields.
María Inés de Frutos-Fernández
Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio
Published in:
CPP (2024)
Keyphrases
</>
expert systems
formal model
databases
machine learning
discrete data
knowledge representation
linearly ordered
discrete version
discrete geometry
discrete space
continuous data
formal analysis
special case
decision trees
image processing
computer vision
genetic algorithm
neural network