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