Subdefinite Computations and Symbolic Transformations in the UniCalc Solver.

Alexander L. Semenov Alexander B. Babichev Alexander S. Leshchenko

Published in: AISMC (1994)

Keyphrases

constraint programming
symbolic representation
connectionist learning
symbolic reasoning
data sets
data structure
geometric transformations
intermediate level
neural learning
website
high level
object recognition
artificial neural networks
matrix multiplication