Robuta

https://www.illc.uva.nl/Research/Publications/Publications-by-year/publication/3302/Basic-Arrow-Logic-with-Relation-Algebraic-Operators Basic Arrow Logic with Relation Algebraic Operators | Institute for Logic, Language and Computation for language basic arrow logic relation https://research.jku.at/en/publications/gr%C3%B6bner-bases-and-algebraic-computation-in-geometry/ Gröbner Bases and Algebraic Computation in Geometry - JKU & KUK Research Portal algebraic computation research portal bases geometry jku