Login / Signup
Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5.
Artem Revenko
Published in:
ICFCA (2014)
Keyphrases
</>
computer algebra
theoretical basis
theoretical framework
algebraic structure
conceptual framework
scales linearly
algebraic geometry
data sets
neural network
decision making
multiscale
data structure
special case
small size
general theory
set theory