UNAM
Usted está aquí: Inicio / Actividades académicas / Coloquios / Coloquio de Ciudad Universitaria / Actividades del Coloquio / Cálculos numéricos rigurosos: acotando conjuntos con la computadora

Cálculos numéricos rigurosos: acotando conjuntos con la computadora

Ponente: David P. Sanders
Institución: Facultad de Ciencias, UNAM

Cuándo 06/03/2018
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
Agregar evento al calendario vCal
iCal
Presentaré una introducción a los métodos de cálculo numérico riguroso, basado en extender la aritmética y las funciones usuales a trabajar sobre intervalos de números reales, representados en la computadora por números de punto flotante. 
De esta forma, podemos acotar de forma matemáticamente rigurosa los conjuntos, por ejemplo el rango de una función sobre un intervalo, o más generalmente sobre un conjunto en \(\mathbf{R}^n\).
Presentaré ejemplos utilizando los paquetes de software libre que hemos desarrollado con el lenguaje de programación Julia, así como algunas aplicaciones: encontrar todas las raíces de una función de forma garantizada; calcular integrales con cotas garantizadas; y caracterizar el conjunto que satisface un sistema de desigualdades no lineales, así como aplicaciones a los sistemas dinámicos no lineales.
Trabajo conjunto con Luis Benet (Instituto de Ciencias Físicas, UNAM).
archivado en: