Formalización de las matemáticas: aplicaciones en cálculo simbólico y álgebra computacional. Formalization of mathematics. applications to symbolic computation and computer algebra.

Financed by Ministerio de Economía y Competitividad
Duration of the 01 of January of 2015 to 31 of December of 2018

Researchers

Foto de Julio
Julio
Rubio García
Responsable
Foto de Jesús María
Jesús María
Aransay Azofra
Foto de César
César
Domínguez Pérez
Foto de Laureano
Laureano
Lambán Pardo
Foto de María Vico
María Vico
Pascual Martínez-Losa

Publications related to the project

Show by pub type

2018

  1. A Systematic Review of Provenance Systems

    Knowledge and Information Systems

  2. DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains

    BMC Bioinformatics

2017

  1. A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem

    Journal of Automated Reasoning

  2. SynapcountJ: A validated tool for analyzing synaptic densities in neurons

    Communications in Computer and Information Science

  3. Antibiogramj: A tool for analysing images from disk diffusion tests

    Computer Methods and Programs in Biomedicine

  4. IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine

    Computers in Biology and Medicine

2016

  1. Formalisation and execution of Linear Algebra: theorems and algorithms

    José Divasón Mallagaray

  2. Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL

    Formal Aspects of Computing

  3. A survey of tools for analysing DNA fingerprints

    Briefings in Bioinformatics

  4. Effective homology of filtered digital images

    Pattern Recognition Letters

2015

  1. QR Decomposition

    Archive of Formal Proofs

  2. Echelon Form

    Archive of Formal Proofs

  3. Hermite Normal Form

    Archive of Formal Proofs

  4. GelJ - a tool for analyzing DNA fingerprint gel images

    BMC Bioinformatics

  5. Surveying and Benchmarking Techniques to Analyse DNA Gel Fingerprint Images

    Briefings in Bioinformatics

  6. Zigzag persistent homology for processing neuronal images

    Pattern Recognition Letters

  7. Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm

    Journal of Functional Programming