Renamings and a Condition-free Formalization of Kronecker's Construction.

Christoph Schwarzweller

Published in: Formaliz. Math. (2020)

Keyphrases

sufficient conditions
construction process
genetic algorithm
operational semantics
search engine
feature selection
knowledge base
website
face recognition
multiresolution
knowledge representation
automatic construction