Frex: dependently-typed algebraic simplification.

Guillaume Allais Edwin C. Brady Nathan Corbyn Ohad Kammar Jeremy Yallop

Published in: CoRR (2023)

Keyphrases

higher order
multiresolution
real time
lambda calculus
database
similarity measure
cooperative
multi agent systems
object recognition
preprocessing
expert systems
relational databases
management system
computer algebra