Showing results (1-10 of 5) with videos related to
Sort By:
Pageof 1
Journal of Automated Reasoning|November 10, 2022
A Formalization of the Smith Normal Form in Higher-Order LogicJose Divasón, René ThiemannJournal of Automated Reasoning|April 10, 2020
A Verified Implementation of the Berlekamp-Zassenhaus Factorization AlgorithmJose Divasón, Sebastiaan J C Joosten, René Thiemann, et al.Sensors (Basel, Switzerland)|January 11, 2025
Intelligent Sensor Software for Robust and Energy-Sustainable Decision-Making in Welding of Steel Reinforcement for ConcreteJavier Ferreiro-Cabello, Francisco Javier Martinez-de-Pison, Esteban Fraile-Garcia, et al.Journal of Automated Reasoning|August 25, 2020
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOLRené Thiemann, Ralph Bottesch, Jose Divasón, et al.Sensors (Basel, Switzerland)|June 27, 2024
Analysis of Varroa Mite Colony Infestation Level Using New Open Software Based on Deep Learning TechniquesJose Divasón, Ana Romero, Francisco Javier Martinez-de-Pison, et al.Pageof 1