Lenguaje Julia y Conjuntos de Julia

Ponente: Luis Javier Hernández Paricio (Catedrático de Geometría y Topología, Universidad de La Rioja)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 03 de diciembre, 13:00

Resumen: En esta sesión se presentará una introducción al Lenguaje Julia desde una perspectiva de usuario que ha implementado en Julia algunos algoritmos matemáticos.

Se dará una idea general de las características de algunos Entornos de Desarrollo Integrados (IDE) para Julia (Athom, Jupyter)  y  algunas de las propiedades del lenguaje: rapidez de ejecución, tipos, métodos y “multiple dispatch”, relaciones con otros lenguajes, etc. También  se comentarán algunos temas como paralelización,  futuro uso en Big Data, etc.  

Se pondrá como ejemplo un paquete que hemos implementado para la visualización de fractales asociados a la iteración de una función racional. En este paquete se definen numerosas funciones que  utilizan diversos tipos (principalmente basados  en números complejos y arrays de dimensión múltiple)  y otros paquetes como Polynomial.jl, Color.jl, PyPlot.jl, etc. 

Nota: puedes acceder a las transparencias de la charla a través del siguiente enlace.

Rigorous Numerics and Linear Algebra in Isabelle/HOL

 

Ponente: Fabian Immler (Technische Universität München)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: miércoles 15 de noviembre, 14:00

Resumen: In this talk, I will present which concepts and results from linear algebra are used in my verified rigorous numerical ODE solver. Instead of matrices I work with a type of bounded linear functions. Matrix operations are represented as (lists of) deeply embedded arithmetic expressions. I set up Lifting and Transfer to convert between the type class of Euclidean space and vectors or matrices.

The slides of the talk are available from the following link.