Login / Signup

Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm.

Jesús AransayJose Divasón
Published in: J. Funct. Program. (2015)
Keyphrases
  • machine learning
  • similarity measure
  • probabilistic model
  • database
  • databases
  • web services
  • data analysis
  • expert systems