Login / Signup
Certified symbolic manipulation: bivariate simplicial polynomials.
Laureano Lambán
Francisco-Jesús Martín-Mateos
Julio Rubio
José-Luis Ruiz-Reina
Published in:
ISSAC (2013)
Keyphrases
</>
symbolic representation
hermite transform
real world
tensor product
symbolic description
algebraic geometry
betti numbers
artificial neural networks
special case
technical support
binary decision diagrams
neural learning
symbolic reasoning
gamma distributions