Expositor: David P. Sanders
Institución: Facultad de Ciencias, UNAM
06/03/2018 de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
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 Rn.
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).
Temas: