PROYECTOS I+D
Project 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.
Of National scope.
Researchers
Publications related to the project
Show by 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
Divasón Mallagaray, Jose
-
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