Poincaré-Birkhoff-Witt theorem for Leibniz n.

José Manuel Casas Manuel A. Insua Manuel Ladra

Published in: J. Symb. Comput. (2007)

Keyphrases

conceptual clustering
digital topology
decision making
multiscale
von neumann
interactive theorem proving