Formalization of coding theory using lean.

Manabu Hagiwara Kyosuke Nakano Justin Kong

Published in: ISITA (2016)

Keyphrases

knowledge representation
formal model
operational semantics
database
logical language
knowledge base
multi agent
cooperative
data analysis
expert systems
active learning
special case
social media
formal analysis