Showing 41 - 49 results of 49 for search '"Computer algebra"', query time: 0.09s Refine Results
  1. 41
    Trabajo de grado de pregrado
    Heurísticas de búsqueda de prueba automática en la herramienta de análisis invariante de maude
    Por Rocha, Camilo
    Published in 2013
    Repositorio Repositorio UNAB

    Get full text
  2. 42
    Part of book
    Automatic proof-search heuristics in the Maude invariant analyzer tool
    Por Rocha, Camilo
    Published in 2013
    Repositorio Repositorio Institucional ECI

    Get full text
  3. 43
    Part of book
    Order-Sorted Equality Enrichments Modulo Axioms
    Por Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo
    Published in 2012
    Repositorio Repositorio Institucional ECI

    Get full text
  4. 44
    Trabajo de grado de pregrado
    Resolviendo ecuaciones polinomiales
    Por González Cabrera, Juan Camilo
    Published in 2023
    Repositorio Séneca: repositorio Uniandes

    Get full text
  5. 45
    Part of book
    Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
    Por Rocha, Camilo; Meseguer, José
    Published in 2014
    Repositorio Repositorio Institucional ECI

    Get full text
  6. 46
    Consideraciones acerca de la conjetura de Artin sobre raíces primitivas.
    Por Alzate Restrepo, Juan David
    Published in 2021
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  7. 47
    Decays of heavy mesons: a theoretical perspective using effective field theories
    Por Barón Ospina, David Alejandro
    Published in 2024
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  8. 48
    Article of investigation
    Efficient ZHFE Key Generation
    Por Baena Giraldo, John Bayron; Cabarcas Jaramillo, Daniel; Porras Barrera, Jaiberth; Verbel Herrera, Javier Alfonso
    Published in 2016
    Repositorio Repositorio Tdea

    Get full text
  9. 49
    Trabajo de grado de pregrado
    Metodología para la identificación y cuantificación del volumen cerebral a partir de imágenes de resonancia magnética
    Por León Bravo, Nataly; Villarraga Rincón, Steeven
    Published in 2017
    Repositorio Repositorio Institucional ECCI

    Get full text
Search Tools: Get RSS Feed — Email this Search