Por Austin Roche.

VerifyTools es un paquete que ha estado disponible en Maple durante aproximadamente 24 años, pero hasta ahora nunca se había documentado, ya que originalmente estaba destinado solo para uso interno. La documentación correspondiente se incluirá en la próxima versión de Maple. Aquí presentamos una vista previa:

VerifyTools es similar al paquete TypeTools. Un tipo es esencialmente un predicado que una sola expresión puede satisfacer o no. Análogamente, una verificación es un predicado que se aplica a un par de expresiones, comparándolas. Así como los tipos se pueden combinar para producir tipos compuestos, las verificaciones también se pueden combinar para producir verificaciones compuestas. Se pueden crear, recuperar, consultar o eliminar nuevos tipos utilizando los comandos AddType, GetType (o GetTypes), Exists y…

La conferencia Maple de este año incluye tres sesiones de capacitación práctica en profundidad que no querrá perderse.

  • Su código no funciona. ¿Y ahora qué? Una sesión de formación esencial para cualquier persona que escriba código en Maple. Aprenderá trucos y consejos de depuración, así como las mejores prácticas para aumentar las probabilidades de que su código funcione correctamente la primera vez.
  • Cálculo de series y límites en Maple. Aproveche al máximo los comandos series, limit, y asympt con esta sesión de capacitación que se encuentra en la funcionalidad de Maple para calcular expansiones y límites de series truncadas.
  • Uso de Maple con Jupyter y Python. Aprenda a crear cuadernos Jupyter que utilicen Maple para realizar cálculos, así como a ejecutar código Python desde Maple y código Maple desde Python.

Si bien estas sesiones de…

¿Buscas una lectura de verano? Echa un vistazo al último número del Maple Transactions Journal.

El artículo principal de este número argumenta que los versos del poema "Raven Travelling" (El viaje del cuervo), del poeta Haida Skaay de los Qquuna Qiighawaay, pueden usarse para visualizar el proceso de descubrimiento matemático, una afirmación respaldada por ejemplos de la teoría de Ramsey y la definición de Bailey-Borwein de matemáticas experimentales.

Nos complace anunciar que se ha abierto la inscripción para la Conferencia Maple 2024. El evento es nuevamente virtual a través de Zoom Events y gratuito este año, para permitir que participe la mayor cantidad de personas posible. Si conoce a alguien que esté interesado en asistir, difunda la información. Puede indicar a las personas que se registren en el sitio web principal de la conferencia.

La convocatoria de presentaciones ya ha concluido, con presentaciones de países de todo el mundo, incluidos España, China, Hungría, EE. UU., Canadá y más. La revisión de las presentaciones mostró que las contribuciones han sido de alta calidad y amplitud, por lo que estamos en camino de ofrecer un gran programa nuevamente este año.

Hemos añadido una sección de Sesiones al sitio web de la conferencia, donde encontrará información sobre el formato de…