Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations.

Grégoire Lecerf

Published in: ICMS (2010)

Keyphrases

numeric attributes
symbolic data
real life
programming language
real world
small scale
artificial neural networks
high level
symbolic representation
databases
connectionist models
high level language
search algorithm
information retrieval
programming course
machine learning
numeric data