Reflexive Tactics for Algebra, Revisited.

Kazuhiko Sakaguchi

Published in: ITP (2022)

Keyphrases

clustering algorithm
relational algebra
query language
data model
boolean algebra
algebraic expressions
real numbers
real time
genetic algorithm
website
face recognition
data analysis
fuzzy logic
algebraic geometry
banach space