Proving Information Inequalities and Identities with Symbolic Computation.

Laigang Guo Raymond W. Yeung Xiao-Shan Gao

Published in: CoRR (2022)

Keyphrases

databases
information processing
prior knowledge
information extraction
data sets
information content
structural information
contextual information
linear programming
end users
domain knowledge
user interface
image retrieval
web services
web documents
neural network
web content
real time
information services