Tesis doctoral de Angel Cobo Ortega
La tesis presenta la construccion de un sistema computacional de resolucion simbolica de ecuaciones funcionales. Previamente, presenta la base teorica de los algoritmos diseñados consistentes en resultados acerca de metodos de resolucion de ecuaciones funcionales. el programa incluye el diseño de estructuras de representacion interna de ecuaciones funcionales, haciendo un tratamiento completo y riguroso de los tres elementos que componen una ecuacion funcional: la evaluacion, el dominio y la clase de funciones. Distingue los conceptos de solucion general, solucion particular y solucion candidata. ademas, el sistema permite el manejo de ecuaciones, dominios y clases de funciones admisibles, la resolucion paralela e independiente de distintas ecuaciones y el acceso a una determinada base de datos de ecuaciones funcionales con sus soluciones, una de las cuales se presenta en la tesis. el sistema permite tambien un trabajo interactivo con el usuario, ademas de realizar algunas acciones inteligentes como son la sustitucion automatica sobre ecuaciones, el uso de tecnicas inductivas, el tratamiento de variables como constantes de forma automatica y la identificacion de patrones. el programa de resolucion de ecuaciones funcionales ha sido implementada en el lenguaje «pascal» con programacion orientada al objeto, en la version «think pascal tcl 4.0» de ese lenguaje. Para su interfase de comunicacion con el usuario se utilizo la aplicacion «appmaker».
Datos académicos de la tesis doctoral «Ecuaciones funcionales: genesis, desarrollo e implementacion de un paquete para su resolucion simbolica.«
- Título de la tesis: Ecuaciones funcionales: genesis, desarrollo e implementacion de un paquete para su resolucion simbolica.
- Autor: Angel Cobo Ortega
- Universidad: Cantabria
- Fecha de lectura de la tesis: 01/01/1993
Dirección y tribunal
- Director de la tesis
- Enrique Castillo Ron
- Tribunal
- Presidente del tribunal: Jaime Puig-pey Echebeste
- Tomas Recio Muñiz (vocal)
- Claudi Alsina Catala (vocal)
- Juan Llovet Verdugo (vocal)