Login / Signup

Certifying properties of an efficient functional program for computing Gröbner bases.

J. Santiago JorgeVíctor M. GulíasJosé Luis Freire
Published in: J. Symb. Comput. (2009)
Keyphrases
  • numerically stable
  • desirable properties
  • machine learning
  • artificial intelligence
  • databases
  • search engine
  • social networks
  • image analysis
  • topological properties
  • program execution