Posted on abril 30, 2019 by Biblioteca de Matemáticas
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.
Posted on abril 25, 2019 by Biblioteca de Matemáticas
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.
Posted on abril 24, 2019 by Biblioteca de Matemáticas
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.
Posted on abril 23, 2019 by Biblioteca de Matemáticas
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.
Posted on abril 22, 2019 by Biblioteca de Matemáticas
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.
Posted on abril 15, 2019 by Biblioteca de 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.
