Sigma-Labeled Calculus.

Tetsuya Mizutani Shigeru Igarashi Yasuwo Ikeda Masayuki Shio

Published in: AICI (2009)

Keyphrases

supervised learning
training data
manually labeled
computer algebra
manual labeling
real time
data sets
image sequences
data structure
database
neural network
social networks
pairwise
automated theorem proving
algebraic structure