Jose Divasón

Universidad Internacional de La Rioja

Spain

Research Interests

Explore related searches

Professors in Spain

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (10)

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2021

Year:

2020

Year:

2020

Year:

2020

Collaborators (7)

Pilar Santolaria

Universidad de Extremadura Escuela Politécnica

SPAIN

View details

Miguel Angel Silvestre

Associate Professor

Universitat Politècnica de València

SPAIN

View details

Eduardo Sáenz-de-Cabezón

University of La Rioja

SPAIN

View details

Alpha Pernia-Espinoza

Full Professor

University of La Rioja

SPAIN

View details

Ana Romero

University of La Rioja

SPAIN

View details

Andrés Sanz-García

Assistant Professor

Universidad de Salamanca

SPAIN

View details

Jesús L. Yániz

Universidad de Zaragoza

SPAIN

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Jose Divasón

Research Interests

Explore related searches

Contact this professor

Articles (10)

In vitro maintenance of drones and development of a new software for sperm quality analysis facilitate the study of honey bee reproductive quality

Artificial Intelligence Models for Assessing the Evaluation Process of Complex Student Projects

PSO-PARSIMONY: A method for finding parsimonious and accurate machine learning models with particle swarm optimization. Application for predicting force–displacement curves in T-stub steel connections

Effective Homology of Universal Covers

A Formalization of the Smith Normal Form in Higher-Order Logic

Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic

Integration of the Kenzo System within SageMath for New Algebraic Topology Computations

Computing invariants for multipersistence via spectral systems and effective homology

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL

A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm

Collaborators (7)

Pilar Santolaria

Miguel Angel Silvestre

Eduardo Sáenz-de-Cabezón

Alpha Pernia-Espinoza

Ana Romero

Andrés Sanz-García

Jesús L. Yániz

Make your next move.