Cálculos numéricos rigurosos: acotando conjuntos con la computadora
Ponente: David P. Sanders
Institución: Facultad de Ciencias, UNAM
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).