The Flower Calculus.

Published in: CoRR (2024)

Keyphrases

algebraic structure
information systems
website
relational databases
automated deduction
provably correct
computer algebra
real world
knowledge base
case study
image segmentation
real numbers
formal language