- -

Listar por palabra clave "Polynomial"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Polynomial"

Ordenar por:Orden:Resultados:

  • Icon
    Algoritmos para SAT basados en la representación de tablas booleanas 
    Collado Ponce, Manuel (Universitat Politècnica de València, 2024-10-23)
    [ES] El problema SAT (satisfacibilidad en lógica proposicional) es muy importante, ya que fue el primer problema que se probó que era NP-completo y muchos otros problemas se resuelven mediante su reducción a SAT. Es por ...
  • thumb
    Efficient evaluation of matrix polynomials 
    Sastre, Jorge (Elsevier, 2018)
    [EN] This paper presents a new family of methods for evaluating matrix polynomials more efficiently than the state-of-the-art Paterson-Stockmeyer method. Examples of the application of the methods to the Taylor polynomial ...