Soraya Carrasquel

According to our database, Soraya Carrasquel authored at least 2 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Interactive Theorem Assistant for Learning Calculational Logic in the style of "A Logical Approach to Discrete Math".

Federico Flaviani, Soraya Carrasquel, David Coronado

Proceedings of the LI Latin American Computer Conference, 2025

2022

An ordering of fuzzy numbers based on the Zadeh extension principle.

Ana Isabel Aguilera, Soraya Carrasquel, David Coronado, Ricardo Monascal, Rosseline Rodríguez, Leonid Tineo

Soft Comput., 2022