Algebraic Extensions.

Christoph Schwarzweller Agnieszka Rowinska-Schwarzweller

Published in: Formaliz. Math. (2021)

Keyphrases

default logic
object recognition
efficient implementation
linear algebra
metadata
preprocessing
default theories
set theoretic
algebraic operators