FORMA (sistema de manipulación simbólica)


FORM es un sistema de manipulación simbólica. Lee archivos de texto que contienen definiciones de expresiones matemáticas, así como declaraciones que le indican cómo manipular estas expresiones. Su autor original es Jos Vermaseren de Nikhef , el instituto holandés de física subatómica. Es ampliamente utilizado en la comunidad de física teórica de partículas, pero no está restringido a aplicaciones en este campo específico. [1]

le diría a FORM que cree una expresión llamada myexpr , reemplace en ella el símbolo y por x , e imprima el resultado en la pantalla. El resultado se daría como

FORM se inició en 1984 como sucesor de Schoonschip , un motor de álgebra desarrollado por M. Veltman . Inicialmente se codificó en FORTRAN 77 , pero se reescribió en C antes del lanzamiento de la versión 1.0 en 1989. La versión 2.0 se lanzó en 1991. La versión 3.0 de FORM se publicó en 2000. Se hizo de código abierto el 27 de agosto de 2010 bajo la licencia GPL .