Showing 41 - 52 results of 52 for search '"Computer algebra"', query time: 0.13s Refine Results
  1. 41
    article
    UN PROGRAMA PARA CALCULAR LAS REPRESENTACIONES IRREDUCIBLES DE SN, EN LA FORMA SEMINORMAL DE YOUNG 1 MATEMÁTICA COMPUTACIONAL COMO APOYO A LA DOCENCIA
    Published in 2013
    Repositorio Repositorio Universidad Javeriana
    “... representations of the symmetricgroup in the Young's serninormal form. This prograrn runs on the Computational...”
    Get full text
    Get full text
  2. 42
    Article of journal
    UN PROGRAMA PARA CALCULAR LAS REPRESENTACIONES IRREDUCIBLES DE SN, EN LA FORMA SEMINORMAL DE YOUNG 1 MATEMÁTICA COMPUTACIONAL COMO APOYO A LA DOCENCIA
    Por Duque Hoyos, Alvaro; Departamento de Matemáticas Facultad de Ciencias Pontificia Universidad Javeriana, Bogotá; Hernández Rodríguez, Martha Patricia; Departamento de Matemáticas Facultad de Ciencias Pontificia Universidad Javeriana, Bogotá; Novoa, Fernando; Departamento de Matemáticas Facultad de Ciencias Pontificia Universidad Javeriana, Bogotá
    Published in 2013
    Repositorio Repositorio Universidad Javeriana

    “... representations of the symmetricgroup in the Young's serninormal form. This prograrn runs on the Computational...”
    Get full text
    Get full text
  3. 43
    Transcritical Bifurcations and Algebraic Aspects of Quadratic Multiparametric Families
    Por Rodríguez Contreras, Jorge
    Published in 2021
    Repositorio Repositorio Uniatlantico

    Get full text
  4. 44
    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
  5. 45
    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
  6. 46
    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
  7. 47
    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
  8. 48
    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
  9. 49
    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
  10. 50
    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
  11. 51
    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
  12. 52
    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