Classification of Finite Fields with Applications
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-9485-1
Abstract: We present a formalisation of the theory of finite fields, from basic axioms to their classification, both existence and uniqueness, in HOL4 using the notion of subfields. The tools developed are applied to the characterisation… read more here.
Keywords: fields applications; classification finite; finite fields;
A Geometric Theory for Binary Classification of Finite Datasets by DNNs with Relu Activations
Sign Up to like & getrecommendations! Published in 2024 at "Neural Processing Letters"
DOI: 10.1007/s11063-024-11612-1
Abstract: In this paper we investigate deep neural networks for binary classification of datasets from geometric perspective in order to understand the working mechanism of deep neural networks. First, we establish a geometrical result on injectivity… read more here.
Keywords: classification; geometric theory; hidden layers; theory binary ... See more keywords