Sign in
Recurrent Relations and Speed-up of Computations Using Computer Algebra Systems.
Eugene V. Zima
Published in:
DISCO (1992)
Keyphrases
</>
computer algebra systems
computer algebra
recurrent neural networks
theorem proving
databases
multi unit combinatorial auctions
theorem prover
data mining
spatial information
feed forward
semantic relations
medical images
information systems
learning algorithm
binary relations
neural network
real time