Resumen
El presente trabajo tiene como propósito presentar las bases teóricas y la comprobación experimental parcial de un razonador numérico. Esto es, un programa que asista al investigador matemático que diseña métodos para algún dominio del análisis númerico, con la verificación automática de sus métodos, en la fase del diseño lógico y conceptual del algoritmo con que espera resolver los problemas del análisis numérico para el que su método es propuesto.