PROYECTOS I+D
Proyecto MTM2014-54151-P ForCAS
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.
De ámbito Nacional.
Investigadores/as
Publicaciones relacionadas con el proyecto (17)
Mostrar por anualidadArtículo
-
A Systematic Review of Provenance Systems
2018
Knowledge and Information Systems
-
DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains
2018
BMC Bioinformatics
-
A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem
2017
Journal of Automated Reasoning
-
SynapcountJ: A validated tool for analyzing synaptic densities in neurons
2017
Communications in Computer and Information Science
-
Antibiogramj: A tool for analysing images from disk diffusion tests
2017
Computer Methods and Programs in Biomedicine
-
IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine
2017
Computers in Biology and Medicine
-
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
2016
Formal Aspects of Computing
-
A survey of tools for analysing DNA fingerprints
2016
Briefings in Bioinformatics
-
Effective homology of filtered digital images
2016
Pattern Recognition Letters
-
QR Decomposition
2015
Archive of Formal Proofs
-
Echelon Form
2015
Archive of Formal Proofs
-
Hermite Normal Form
2015
Archive of Formal Proofs
-
GelJ - a tool for analyzing DNA fingerprint gel images
2015
BMC Bioinformatics
-
Surveying and Benchmarking Techniques to Analyse DNA Gel Fingerprint Images
2015
Briefings in Bioinformatics
-
Zigzag persistent homology for processing neuronal images
2015
Pattern Recognition Letters
-
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
2015
Journal of Functional Programming
Tesis
-
Formalisation and execution of Linear Algebra: theorems and algorithms
2016
Divasón Mallagaray, Jose