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:
CoRR (2023)
Keyphrases
</>
image segmentation
formal model
discrete geometry
database
data sets
databases
data mining
artificial intelligence
computer vision
information systems
image processing
decision trees
knowledge representation
denoising
discrete space
discrete version