• Logo Biblioteca de la Universidad de Sevilla
  • Páginas

  • Categorías

  • RSS GME RSS

    • Se ha producido un error; es probable que la fuente esté fuera de servicio. Vuelve a intentarlo más tarde.
  • Archivo de MATBUS

  • Comentarios recientes

    Nahomi Lucero Azuara… en Nahomi Lucero Azuara, de Tamau…
    La Guía de Matemátic… en La Guía de Matemáticas cumple…
    Los Juegos Panameric… en Los Juegos Panamericanos, una…
  • Escribe tu dirección de correo electrónico para suscribirte a este blog, y recibir notificaciones de nuevos mensajes por correo.

    Únete a otros 114 seguidores

  • Anuncios

Google ha creado una Inteligencia Artificial matemática que ya ha logrado demostrar más de 1200 teoremas

Un grupo de investigación amparado por Google ha sido capaz de crear un programa de Inteligencia Artificial capaz de demostrar más de 1200 teoremas matemáticos.

El equipo de Google la entrenó recurriendo a un dataset que contenía más de 10.000 pruebas matemáticas redactadas por humanos, junto al razonamiento que respaldaba cada uno de los pasos.

La aplicación probó con éxito 1253 teoremas, descomponiendo cada uno en varios elementos más pequeños y basándose en los pasos ya aprendidos para razonarlos.

Christian Szegedy, uno de los investigadores de Google asignados a este proyecto, explica que el siguiente pasoconsistirá en mejorar la traducción automática para que a los matemáticos les resulte más fácil interactuar con este sistema.

Fuente:

https://www.xataka.com/inteligencia-artificial/google-ha-creado-ia-matematica-que-ha-logrado-demostrar-1200-teoremas

Anuncios

Programa de actividades del IMUS (Instituto de Matemáticas de la Universidad de Sevilla) para mayo de 2019

Workshops y Congresos “The first EuroYoung Workshop”

2 al 3 de mayo de 2019 en el Instituto de Matemáticas de la Universidad de Sevilla (IMUS)

Web: https://euroyoung.github.io/workshop19.html#about-ws

Organización: Marina Leal Palazón y Moisés Rodríguez Madrena

https://www.imus.us.es/es/actividad/2235

Actividad del Programa de Doctorado “Geometría y relatividad general”

2 al 3 de mayo de 2019 en la Sala de Grados, Facultad de Matemáticas

Autor: Alfonso Romero Sarabia

Organización: Luis Manuel Fernández Fernández

https://www.imus.us.es/es/actividad/2286

Presentación de la Tesis Doctoral “Leaps of the chain of m-integrable derivations in the sense of Hasse-Schmidt”

2 de mayo de 2019 (12,30 horas) en el Instituto de Matemáticas de la Universidad de Sevilla (IMUS)

Autora: María de la Paz Tirado Hernández

Director y tutor: Luis Narváez Macarro

Linea de Investigación: Estructuras algebraicas y aplicaciones

https://www.imus.us.es/es/actividad/2280

Actividad del Programa de Doctorado “2OR v ~2OR? (that’s the question)”

2 de mayo de 2019 (15 a 16 horas) en el Instituto de Matemáticas de la Universidad de Sevilla (IMUS)

Autora: Ana Viana

Organización: Moisés Rodríguez Madrena y Marina Leal Palazón

https://www.imus.us.es/es/actividad/2244

Jornadas “Mini-encuentro Singular”

3 de mayo de 2019 (9,30 a 12,15 horas) en el Seminario del Departamento de Álgebra, Facultad de Matemáticas

Organización: Luis Narváez Macarro

https://www.imus.us.es/es/actividad/2287

Actividad del Programa de Doctorado “Exact methods for hard problems”

3 de mayo de 2019 (12,30 a 13,30 horas) en el Instituto de Matemáticas de la Universidad de Sevilla (IMUS)

Autor: Federico Perea Rojas-Marcos

Organización: Marina Leal Palazón y Moisés Rodríguez Madrena

https://www.imus.us.es/es/actividad/2245

Presentación de la Tesis Doctoral “Contributions to robust and bilevel optimization models for decision-making”

13 de mayo de 2019 (11,30 horas) en el Instituto de Matemáticas de la Universidad de Sevilla (IMUS)

Autora: Marina Leal Palazón

Directores: Justo Puerto Albandoz y Eduardo Conde Sánchez

Tutor: Justo Puerto Albandoz

Linea de Investigación: Optimización, Teoría de Juegos, Métodos y modelos de la Estadística y la Investigación Operativa

https://www.imus.us.es/es/actividad/2293

Conversaciones Fluidas “Navier-Stokes equations: regularity, Onsager’s conjecture, and non-uniqueness”

14 al 16 de mayo de 2019 en el Seminario I (IMUS), Edificio Celestino Mutis

Autor: Alexey Cheskidov

Organización: Francisco Gancedo García

https://www.imus.us.es/es/actividad/2297

Seminario PHD “Existence and uniform bounds of pullback attractors for semilinear evolution equations with almost sectorial operators”

14 de mayo de 2019 (16,30 horas) en el Seminario I (IMUS), Edificio Celestino Mutis

Autor: Maykel Boldrin Belluzi

Organización: Marina Leal Palazón, Cristina Caravaca García, Moisés Rodríguez Madrena y Tanausú Aguilar Hernández

https://www.imus.us.es/es/actividad/2296

Presentación del libro “¡Que las matemáticas te acompañen!. Clara I. Grima”

15 de mayo de 2019 (19 a 20 horas) en la Librería Caótica

Web: http://caotica.es/2019/05/10/ciclo-matematicas-15-de-mayo/

https://www.imus.us.es/es/actividad/2298

Conferencia “LMSI 10 – “Season FInale”

17 de mayo de 2019 (11,02 a 11,30 horas) en el Instituto de Matemáticas de la Universidad de Sevilla (IMUS)

https://www.imus.us.es/es/actividad/2301

Seminario IMUS “Elliptic Special Weingarten surfaces in R^3 of finite total curvature”

21 de mayo de 2019 (11 horas) en el Seminario I (IMUS), Edificio Celestino Mutis

Autor: José María Espinar García

Organización: José María Tornero Sánchez

https://www.imus.us.es/es/actividad/2292

Workshops y Congresos “Conceptos básicos de computación acelerada mediante CUDA C/C++”

22 de mayo de 2019 (10 a 18 horas) en el Seminario I (IMUS), Edificio Celestino Mutis

https://www.cs.us.es/~mdelamor/curso_gpu.html

http://www.gcn.us.es/gpu_training_5_2019

https://www.imus.us.es/es/actividad/2284

Presentación de la Tesis Doctoral “Quantum algorithms for the combinatorial invariants of numerical semigroups”

22 de mayo de 2019 (11 horas) en la Sala de Grados, Facultad de Matemáticas

Autor: Joaquín Ossorio Castillo

Director y tutor: José María Tornero Sánchez

Linea de Investigación: Estructuras algebraicas y aplicaciones

https://www.imus.us.es/es/actividad/2299

Actividad del Programa de Doctorado “Seminario Luca Bonaventura”

23 de mayo de 2019 (10 horas) en el Seminario I (IMUS), Edificio Celestino Mutis

https://www.imus.us.es/es/actividad/2288

Seminario de Ecuaciones Diferenciales y Análisis Numérico “Existence of positive solutions for a class of semipositone quasilinear problems through Orclicz-Spbolev spaces”

27 de mayo de 2019 (10,30 a 11,30 horas) en el Seminario del Departamento de EDAN, Facultad de Matemáticas

https://www.imus.us.es/es/actividad/2309

Conferencia “A limiting free boundary problem in Orclicz-Spbolev spaces”

27 de mayo de 2019 (11,30 horas) en el Seminario del Departamento de EDAN, Facultad de Matemáticas

https://www.imus.us.es/es/actividad/2310

Seminario PHD “Remarks on the box-counting (fractal) dimension of attractors”

28 de mayo de 2019 (16,30 horas) en el Seminario I (IMUS), Edificio Celestino Mutis

Autor: Arthur Cavalcante Cunha

Organización: Cristina Caravaca García, Moisés Rodríguez Madrena, Marina Leal Palazón y Tanausú Aguilar Hernández

https://www.imus.us.es/es/actividad/2306

Conferencia “Maximal algebrability of the family of extendable functions”

29 de mayo de 2019 (11 horas) en la Sala de reuniones del IMUS, Edificio Celestino Mutis

Autor: Daniel Luis Rodríguez-Vidanes

Organización: Luis Bernal González

https://www.imus.us.es/es/actividad/2294

Seminario IMUS “Computación distribuida: el modelo Congested Clique”

31 de mayo de 2019 (12 horas) en el Seminario I (IMUS), Edificio Celestino Mutis

Autor: Iván Rapaport

Organización: José María Tornero Sánchez

https://www.imus.us.es/es/actividad/2311

Instituto Politécnico Nacional de México imparte maestrías y doctorados de matemáticas en línea

Expertos del Instituto Politécnico Nacional (IPN) de México imparten la Maestría y el Doctorado en Matemática Educativa, posgrado en línea y a distancia en esta área del conocimiento para profesionalizar a maestros de matemáticas en activo desde el nivel básico hasta universitario.

El Programa de Matemática Educativa en Línea (PROME), se imparte en el Centro de Investigación en Ciencia Aplicada y Tecnología Avanzada (CICATA), Unidad Legaria, para atender de manera personalizada a los interesados en profesionalizarse en esta área.

El PROME, acepta anualmente 20 participantes para el Programa de Maestría y 10 para el de Doctorado, de cualquier parte de México o el resto de América Latina.

El programa también constituye una reflexión teórica y un reto en el que es necesario documentar los procesos de la práctica educativa.

Leer más:

https://www.contrareplica.mx/nota-IPN-imparte-maestrias-y-doctorados-de-matematicas-en-linea-20192444

Presentada la Feria de Ciencia, Tecnología, Arte y Matemáticas F-STEAM Plasencia 2019

El secretario general de Educación de la Junta de Extremadura, Rafael Rodríguez de la Cruz, ha presentado la Feria de Ciencia, Tecnología, Arte y Matemáticas F-STEAM Plasencia 2019, con la que el IES ‘Gabriel y Galán’ de Plasencia (Cáceres) concluye su proyecto Erasmus+ ‘STEAMcooking: descubriendo las ciencias y las matemáticas a través de la cocina’.

El evento reunirá en Plasencia, entre el 29 de abril y el 2 de mayo, a unos 3.000 estudiantes y docentes de toda Extremadura con el objetivo de acercar la ciencia a todos los ciudadanos.

La coordinadora del Proyecto Internacional Erasmus+ STEAMCooking, Isabel Queralt, ha destacado que se trata de una feria internacional, pues asistirán estudiantes y docentes de los centros de Croacia, Francia e Irlanda con los que han desarrollado el proyecto Erasmus.

Los asistentes tendrán la oportunidad de escuchar charlas y conferencias y asistir a talleres impartidos por un total de 120 ponentes, entre los que destaca la presencia de María Victoria Gil, medalla de Extremadura, que pronunciará la conferencia inaugural El conocimiento científico te hará libre.

Fuente:

https://www.regiondigital.com/noticias/juventud/309709-presentada-la-feria-de-ciencia-tecnologia-arte-y-matematicas-f-steam-plasencia-2019.html

La UPO y la Real Sociedad Matemática Española promoverán actividades conjuntas

El rector de la Universidad Pablo de Olavide (UPO), Vicente Guzmán, y el presidente de la Real Sociedad Matemática Española, Francisco Marcellán, han firmado un acuerdo de colaboración, por el que ambas instituciones cooperarán en actividades culturales y científicas en el campo de las matemáticas.

Ambos han destacado la importancia de este protocolo que propicia la simbiosis entre la UPO y esta sociedad científica, pues fomenta el debate de las ideas, un debate necesario para hacer una sociedad más justa.

Leer más:

https://www.20minutos.es/noticia/3620912/0/upo-real-sociedad-matematica-espanola-promoveran-actividades-conjuntas/

Las matemáticas que mejoran los sistemas europeos de navegación por satélite

Las matemáticas son indispensables para dotar a las empresas de ventajas competitivas.

Según el tipo de negocio, la influencia de las matemáticas es mayor o menor. En el sector de los sistemas de navegación por satélite, son esenciales. Esta tecnología permite calcular la posición de cualquier punto sobre la superficie de la Tierra a partir de las distancias medidas a tres satélites de la red.

En Europa, el programa de radionavegación y posicionamiento Galileo pretende dotar a la Unión de una tecnología independiente del GPS estadounidense y el GLONASS ruso.

Para mejorar la precisión de la posición calculada del usuario es necesario aumentar la exactitud de la posición y reloj del sistema de satélites. Estos datos se estiman usando medidas a estaciones de referencia, cuya posición es conocida. Cuantas más medidas se empleen, mejor será la aproximación, pero, a la vez, mayor es el tiempo de procesado.

Esta información se debe actualizar y proporcionar a los usuarios cada 10 minutos, así que el tiempo para realizar el cálculo es muy limitado. La creatividad matemática fue clave para aumentar la cantidad de datos a procesar en el tiempo disponible. Las matemáticas permitieron descomponer las matrices involucradas en el proceso de estimación de manera que fuesen más manejables computacionalmente.

GMV colabora en el sistema europeo EGNOS, que proporciona correcciones para mejorar la información de posiciones de satélites y relojes del sistema GPS. EGNOS hace una estimación del retraso introducido en la señal por el efecto de la ionosfera y además una estimación de la fiabilidad de estas correcciones, lo que se conoce como integridad.

Estos programas dejan claro que para superar los límites conocidos en ciencia e ingeniería se requieren máquinas e instrumentos más potentes y fiables, que permitan recoger mayor cantidad de datos y con mejor calidad, pero también mejoras en los algoritmos que procesan esos datos.

Fuente:

https://elpais.com/elpais/2019/04/16/ciencia/1555430238_214917.html

El IES Gonzalo de Berceo, de Alfaro (La Rioja) convoca un concurso de fotos matemáticas

El instituto Gonzalo de Berceo, de Alfaro (La Rioja), ha convocado el concurso de Fotografía matemática, dirigido tanto a sus alumnos como a sus profesores y personal no docente.

Esta primera edición contempla varias categorías: una para 1º y 2º de Educación Secundaria, otra para 3º y 4º de ESO y Formación Profesional Básica, la tercera para 1º y 2º de Bachillerato y los ciclos formativos que oferta y una cuarta dirigda para profesores y personal no docente que trabaja en el centro.

El plazo para presentar los trabajos es hasta este Miércoles Santo y con esta actividad el instituto busca dinamizar la inquietud de sus alumnos más allá de las actividades educativas que acoge.

Leer más:

https://www.larioja.com/comarcas/alfaro/gonzalo-berceo-convoca-20190415010924-ntvo.html

A %d blogueros les gusta esto: