Login / Signup
The Flower Calculus.
Pablo Donato
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