A Unification of Liouvillian Extensions.

Manuel Bronstein

Published in: Appl. Algebra Eng. Commun. Comput. (1990)

Keyphrases

theorem proving
efficient implementation
higher order
website
equational theories
neural network
real world
computer vision
three dimensional
mobile robot
knuth bendix