Jose Divasón
5PUBLICATIONS
12CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (5)
Sort by Publication Date:
|Jan 11, 2025
Intelligent Sensor Software for Robust and Energy-Sustainable Decision-Making in Welding of Steel Reinforcement for Concrete.Javier Ferreiro-Cabello, Francisco Javier Martinez-de-Pison, Esteban Fraile-Garcia
|Jun 27, 2024
Analysis of Varroa Mite Colony Infestation Level Using New Open Software Based on Deep Learning Techniques.Jose Divasón, Ana Romero, Francisco Javier Martinez-de-Pison
|Nov 10, 2022
A Formalization of the Smith Normal Form in Higher-Order Logic.Jose Divasón, René Thiemann
|Aug 25, 2020
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.René Thiemann, Ralph Bottesch, Jose Divasón
|Apr 10, 2020
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.Jose Divasón, Sebastiaan J C Joosten, René Thiemann
Pageof 1
Frequent Collaborators
3 joint publications
René Thiemann
2 joint publications
Sebastiaan J C Joosten
2 joint publications
Akihisa Yamada
2 joint publications
Francisco Javier Martinez-de-Pison
1 joint publications
Max W Haslbeck
1 joint publications
Ana Romero
1 joint publications
Miguel A Silvestre
1 joint publications
Pilar Santolaria
1 joint publications
Jesús L Yániz
1 joint publications
Javier Ferreiro-Cabello
