Overview of the Mathemagix Type System.

Joris van der Hoeven

Published in: ASCM (2012)

Keyphrases

information retrieval
decision making
pattern recognition
object recognition
user interface
type checking
database
real time
genetic algorithm
information systems
website
case study
end users