Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
Fabián Fernando Serrano Suarez
Universidad de Manizales
Universidad Nacional de Colombia
Perfil externo:
Citaciones:
29
Productos:
6
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
6 Productos
Más citado
CSV
API
Comparison of Sliding and Overset Mesh Techniques in the Simulation of a Vertical Axis Turbine for Hydrokinetic Applications
Acceso Abierto
Fuente: Processes
Omar Dario López Mejía
Oscar E Mejia
Karol M Escorcia
Fabián Fernando Serrano Suarez
Santiago Lain
Temas:
Computational fluid dynamics
Tidal power
Computer science
Marine engineering
Turbine
Turbulence
Aerospace engineering
Renewable energy
Mesh generation
Vertical axis
Mechanical engineering
Simulation
Engineering
Meteorology
Finite element method
Engineering drawing
Physics
Structural engineering
Electrical engineering
Publicado: 2021
Citaciones:
27
Altmétricas:
0
Artículo de revista
Formalising Basic Topology for Computational Logic in Simple Type Theory
Acceso Cerrado
Fuente: Lecture notes in computer science
David Fuenmayor
Fabián Fernando Serrano Suarez
Temas:
HOL
Mathematical proof
Type theory
Leverage (statistics)
Set theory
Closure (psychology)
Computer science
Simple (philosophy)
Proof theory
Proof assistant
Focus (optics)
Theoretical computer science
Type (biology)
Mathematics
Discrete mathematics
Algebra over a field
Programming language
Set (abstract data type)
Pure mathematics
Artificial intelligence
Epistemology
Ecology
Philosophy
Physics
Geometry
Optics
Economics
Market economy
Biology
Publicado: 2022
Citaciones:
1
Altmétricas:
0
Capítulo de libro
Hall’s Theorem for Enumerable Families of Finite Sets
Acceso Cerrado
Fuente: Lecture notes in computer science
Fabián Fernando Serrano Suarez
Mauricio Ayala Rincon
Thaynara Arielly de Lima
Temas:
Recursively enumerable language
Discrete mathematics
HOL
Subfamily
Recursively enumerable set
Mathematics
Automated theorem proving
Computer science
Algorithm
Biochemistry
Chemistry
Geometry
Gene
Publicado: 2022
Citaciones:
1
Altmétricas:
0
Capítulo de libro
La enseñanza de la Lógica Proposicional usando Geogebra.
Acceso Cerrado
Fuente: [2019] Congreso Internacional de Educación y Aprendizaje
Leonel Libardo Palomá Parra
Fabián Fernando Serrano Suarez
Carlos Daniel Acosta Medina
Temas:
Humanities
Philosophy
Publicado: 2019
Citaciones:
0
Artículo de revista
Construcción de secciones cónicas con GeoGebra, para estudiantes de grado noveno en la I.E. Jorge Villamil Ortega (zona rural de Gigante, Huila)
Fabian Fernando Serrano Suárez
(Asesor)
Davier Giraldo Diaz
Publicado: 2017
Citaciones:
0
Tesis de posgrado
Elaboración de un objeto virtual de aprendizaje para el desarrollo del pensamiento lógico matemático a través del ajedrez en estudiantes de la Institución Educativa Pio XII en Neira (Caldas)
Fabián Fernando Serrano Suarez
(Asesor)
Jhon Harold Pineda Gutiérrez
Publicado: 2023
Citaciones:
0
Tesis de posgrado
1
NaN
