En este número le ofrecemos las siguientes noticias:
Desde el año 1977 y con carácter anual e itinerante, el Comité Español de Automática organiza las Jornadas de Automática como un importante punto de encuentro entre la práctica totalidad de los miembros del área de Ingeniería de Sistemas y Automática de las diferentes universidades españolas y un considerable número de empresas y profesionales del ámbito industrial relacionados con esta temática. El CAE delega su organización en miembros de dicho Comité pertenecientes a alguna Universidad o Centro de Investigación nacional, siendo esta la primera ocasión en la que se celebran en la Universidad de Almería.

Como en otros eventos de Control en España, Addlink Software Científico es empresa patrocinadora participará activamente en las jornadas de automática de Almería mostrando las últimas novedades en control de las herramientas de COMSOL, Wolfram Research, MathCore y National Instruments. En nuestro expositor, punto de contacto y divulgación, nuestro personal especializado en ingeniería de control pondrán a disposición de los asistentes información de COMSOL, Mathematica Link for LabVIEW (librería de interconexión de Mathematica con LabVIEW), BlockBuilder for Simulink (librería de Maple para modelado físico y generación posterior de bloques de Simulink), MathModelica (herramienta de modelado virtual y la simulación de sistemas dinámicos), MultiSIM (simulador electrónico - SPICE/VHDL/Verilog/RF - que permite captura esquemática y programación lógica) y del resto de productos que representamos para España y Portugal.
José Carlos Díaz Ramos del Departamento de Geometría y Topología de la Universidad de Santiago de Compostela y galardonado con el Premio Addlink y el Premio Wolfram en la Primera Edición de los Premios fórum Tecnológico, Categoría Software Matemático (denominada SOFMAT-04) fallada el 19 de julio de 2004, presentará durante la celebración del Congreso Internacional de Matemáticos (ICM 2006) bajo el título A Mathematica Package for Studying Riemannian Geometry of Geometric Spheres la librería de Mathematica por la que fue galardonado en la mencionada competición en la sección Mathematical Software.

El objetivo de esta librería, o paquete de funciones, de Mathematica es proveer los principales algoritmos para expresar el desarrollo en serie de potencias de objetos geométricos definidos en esferas geodésicas que han sido utilizados para caracterizar variedades Riemannianas. En particular permite expresar el desarrollo en serie de potencias del tensor de curvatura de una esfera geodésica. Una vez conocido, las propiedades geométricas que interesa calcular son funciones que pueden ser escritas como contracciones de este o las integrales de dichas funciones.

El concepto de esfera geodésica puede ser extendido a variedades Lorentzianas obteniendo las denominadas esferas celestiales geodésicas. Utilizando este mismo paquete se puede obtener un desarrollo en serie de potencias para el volumen de las esferas celestiales geodésicas. Este desarrollo permite caracterizar variedades Lorentizianas localmente isotrópicas como aquellas variedades en el que el volumen de las esferas celestiales geodésicas es independiente del observador infinitesimal.

Detalles de la conferencia:
  • FECHA: Miércoles, 23 de Agosto.
  • HORARIO: de 17:00 a 17:25.
  • SALA: R401.
  • CONFERENCIANTE: José Carlos Díaz-Ramos (Universidad de Santiago de Compostela).
  • TÍTULO: A Mathematica package for studying Riemaniann geometry of geodesic spheres.
  • CHAIR: Laureano González-Vega.
Alfredo Deaño del Departamento de Matemáticas de la Universidad Carlos III de Madrid presentará durante la celebración del Congreso Internacional de Matemáticos (ICM 2006) bajo el título A Maple Package for the computation of real zeros of hypergeometric functions en la sección Mathematical Software un conjunto de rutinas de Maple para el cálculo de los ceros reales de funciones hipergeométricas clásicas, desarrolladas conjuntamente con Amparo Gil y Javier Segura, ambos del Departamento de Matemáticas, Estadística y Computación de la Universidad de Cantabria.

Los algoritmos implementados están basados en un método de punto fijo construido para relaciones de funciones especiales y aprovecha propiedades generales de ecuaciones diferenciales hipergeométricas y ecuaciones diferenciales en diferencias (DDE) de primer orden que relaciona dos funciones de la misma familia con sus derivadas.

El problema del cálculo de ceros reales de funciones hipergeométricas surge en diferentes contextos, desde aplicaciones físicas a problemas de análisis numérico, como el caso de cálculo de las reglas de cuadratura gaussianas. Diversos algoritmos como métodos matriciales, iteraciones de tipo Newton y aproximaciones asintóticas son propuestas existentes para este problema, pero parece no existir un algoritmo general adecuado para diferentes familias de funciones hipergeométricas. El método de punto fijo propuesto en este trabajo es aplicable a un amplio espectro de funciones especiales clásicas dado que los ingredientes básicos son comunes a muchas de ellas. Los casos considerados incluyen polinomios ortogonales de Jacobi, Laguerre y Hermite, funciones de onda Coulomb, funciones Bessel, funciones hipergeométricas confluentes o de Kummer y funciones hipergeométricas de Gauss.

Detalles de la conferencia:
  • FECHA: Lunes, 28 de Agosto.
  • HORARIO: de 15:30 a 15:55.
  • SALA: R401.
  • CONFERENCIANTE: Alfredo Deaño Cabrera (Universidad Carlos III de Madrid).
  • TÍTULO: A Maple Package for the computation of real zeros of hypergeometric functions.
  • CHAIR: Rafael Bravo de la Parra.
Manuel Avelino Insua del Departamento de Álgebra de la Universidad de Santiago de Compostela presentará durante la celebración del Congreso Internacional de Matemáticos (ICM 2006) bajo el título Smith Normal Form can be computed using Gröbner bases en la sección Mathematical Software la librería SmithGroebner para Mathematica, orientada a dominios de ideales principales, para la obtención de la Forma Normal de Smith de una matriz mediante la descomposición de Bases de Gröebner.

En 1965 Bruno Buchberger introdujo el concepto de Base de Gröbner para un ideal del anillo de polinomios conmutativos y proporcionó un algoritmo de cálculo para calcular dichas bases. Desde entonces, la teoría de Bases de Gröbner ha experimentado un notable desarrollo, tanto en el terreno de sus aplicaciones que son abundantes y variadas, como en la extensión del concepto inicial de Base de Gröbner a otras estructuras matemáticas más complejas que el anillo de polinomios conmutativos.

El objetivo de este trabajo es encontrar la relación entre las Bases de Gröbner y la Forma Normal de Smith suscitada por el hecho de que es posible descomponer un módulo utilizando Bases de Gröbner y a su vez, se puede obtner la Forma Normal de Smith de una matriz a partir de la descomposición de un módulo. La idea clave que va a permitir hacer este cálculo vía Bases de Gröbner es el hecho de que estas bases proporcionan una matriz equivalente en filas con la matriz inicial.

Detalles de la conferencia:
  • FECHA: Viernes, 25 de Agosto.
  • HORARIO: de 16:30 a 16:55.
  • SALA: R401.
  • CONFERENCIANTE: Manuel Avelino Insua Hermo (Universidad de Santiago de Compostela).
  • TÍTULO: Smith Normal Form can be computed using Gröbner bases.
  • CHAIR: Antonio Montes.
Como ya anunciamos el pasado 31 de mayo, los asistentes al International Congress of Mathematicians (ICM) 2006 tendrán la ocasión de trasladar directamente a nuestro personal cualquier cuestión relacionada con las herramientas de cálculo matemático, estadística e ingeniería que representamos, entre las que destaca Mathematica.

Además, en esta ocasión compartiremos el expositor con personal de una de las firmas que representamos desde hace 15 años, Wolfram Research, desarrolladores de Mathematica, gridMathematica, webMathematica, Wolfram Workbench, Mathematica CalcCenter y de librerías verticales para los productos anteriores. En particular nos acompañarán:
Esta es una buena ocasión para que podamos conocernos personalmente. No olvide visitarnos en el expositor nº14 del Palacio Municipal de Congresos de Madrid.
Título: Modern Differential Geometry of Curves and Surfaces with Mathematica, Third Edition
Autores: Alfred Gray, Elsa Abbena, Simon Salamon
ISBN: 1584884487
Editorial: Chapman & Hall/CRC
Fecha de publicación: 21-junio-2006

Este libro explica la teoría clásica de geometría diferencial de curvas y superficies, cómo definir y calcular funciones geométricas estándares y cómo aplicar técnicas de análisis. A través de 300 ilustraciones, 300 miniprogramas y muchos ejemplos, el texto destaca la importancia de los teoremas minimizando la tediosidad de los cálculos como la curvatura y torsión de una curva en el espacio.

La tercera edición de este clásico mantiene su acercamiento intuitivo, introduce nuevos temas como los cuaterniones y reorganiza todo el material para clarificar la división entre el texto y el código de Mathematica añadiendo al final de cada capítulo un notebook de Mathematica como apéndice. Estos notebooks de Mathematica puede obtenerse desde la página web creada por los autores

CONTENIDOS: Curves in the Plane | Famous Plane Curves | Alternative Ways of Plotting Curves | New Curves from Old | Determining a Plane Curve from Its Curvature | Global Properties of Plane Curves | Curves in Space | Construction of Space Curves | Calculus on Euclidean Space | Surfaces in Euclidean Space | Nonorientable Surfaces | Metrics on Surfaces | Shape and Curvature | Ruled Surfaces | Surfaces of Revolution and Constant Curvature | A Selection of Minimal Surfaces | Intrinsic Surface Geometry | Asymptotic Curves and Geodesics on Surfaces | Principal Curves and Umbilic Points | Canal Surfaces and Cyclides of Dupin | The Theory of Surfaces of Constant Negative Curvature | Minimal Surfaces via Complex Variables | Rotation and Animation Using Quaternions | Differentiable Manifolds | Riemannian Manifolds | Abstract Surfaces and Their Geodesics | The Gauss-Bonnet Theorem.