Resumen de Fundamentación de un sistema para la resolución automática de problemas
Francisco Saiz López 
SE DESCRIBE UN SISTEMA, PROGENES, QUE PERMITE RESOLVER AUTOMATICAMENTE UN ALTO PORCENTAJE DE PROBLEMAS Y DEMOSTRACIONES HABITUALES EN LIBROS DE MATEMATICAS, SON TECNICAS QUE PERMITEN INTEGRAR CAPACIDADES DEDUCTIVAS Y DE CALCULO. LA INTEGRACION DE ESTOS ASPECTOS ES MAS SISTEMATICA QUE EN SISTEMAS PREVIOS. COMO CONSECUENCIA DE ESTO, PROGENES PERMITE EL DESARROLLO DE BASES DE CONOCIMIENTO AMPLIABLES, MIENTRAS QUE OTROS SISTEMAS, COMO ANALYTICA, SOLO PUEDEN RAZONAR ACERCA DE FORMULAS MATEMATICAS Y OTROS OBJETOS PREDEFINIDOS FIJOS.
