-calculus.

Ning Ge Silvano Dal-Zilio Hongyu Liu Li Zhang Lianyi Zhang

Published in: Sci. Comput. Program. (2021)

Keyphrases

databases
automated deduction
algebraic structure
computer algebra
website
proof procedure
database
real time
data sets
genetic algorithm
artificial intelligence
video sequences
artificial neural networks