Login / Signup

Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials.

Laureano LambánFrancisco-Jesús Martín-MateosJulio RubioJosé-Luis Ruiz-Reina
Published in: ITP (2011)
Keyphrases
  • algebraic geometry
  • algebraic curves
  • learning algorithm
  • computer vision
  • higher order
  • databases
  • multiscale
  • multi agent systems
  • small world
  • topology preserving