Research project
MTM2014-54151-P
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
Julio
Rubio García
Responsable
Publications related to the project
Show by pub type2018
-
A Systematic Review of Provenance Systems
Knowledge and Information Systems
-
DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains
BMC Bioinformatics
2017
-
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
-
SynapcountJ: A validated tool for analyzing synaptic densities in neurons
Communications in Computer and Information Science
-
Antibiogramj: A tool for analysing images from disk diffusion tests
Computer Methods and Programs in Biomedicine
-
IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine
Computers in Biology and Medicine
2016
-
Formalisation and execution of Linear Algebra: theorems and algorithms
José Divasón Mallagaray
-
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
Formal Aspects of Computing
-
A survey of tools for analysing DNA fingerprints
Briefings in Bioinformatics
-
Effective homology of filtered digital images
Pattern Recognition Letters
2015
-
QR Decomposition
Archive of Formal Proofs
-
Echelon Form
Archive of Formal Proofs
-
Hermite Normal Form
Archive of Formal Proofs
-
GelJ - a tool for analyzing DNA fingerprint gel images
BMC Bioinformatics
-
Surveying and Benchmarking Techniques to Analyse DNA Gel Fingerprint Images
Briefings in Bioinformatics
-
Zigzag persistent homology for processing neuronal images
Pattern Recognition Letters
-
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
Journal of Functional Programming