Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"cálculo simbólico"”.
-
Especificación orientada a objetos de sistemas de cálculo simbólico
This work deals with the specification of symbolic computation systems in Algebraic Topology. In particular, two systems called EAT and Kenzo are studied. These programs obtain homology and homotopy groups of complex topological spaces, such as iterated loop spaces. These systems have provided …
-
Procedimientos optimizados utilizando métodos simbólicos para la simulación de sistemas dinámicos mediante Bond-Graph
… ningún tipo de decisión que pueda afectar al cálculo final, de tal forma que se resuelvan los problemas planteados a la hora de simular modelos con causalidad diferencial sin necesidad de tener que modificar el diagrama de grafos. Además, se reduce al máximo el conjunto de ecuaciones …
-
Desarrollo de nuevos algoritmos para el cálculo de la proyección Gauss-Krüger
… entre 1820 y 1830. Utilizamos un programa de cálculo simbólico, para obtener el desarrollo completo de todas las fórmulas y estudiar la influencia de cada término en el resultado final. De esta manera podemos saber qué términos pueden ser o no despreciados cuando queremos alcanzar una …
-
Gestión mecanizada del conocimiento matemático en topología algebraica
The work presented in this thesis tries to particularize Mathematical Knowledge Management to Algebraic Topology. Mathematical Knowledge Management is a branch of Computer Science whose main goal consists in developing integral assistants for Mathematics including computation, deduction and …
-
Computing the intersection of two quadrics through projection and lifting
… detrimento da precisão. Por outro lado, métodos simbólicos baseados na aritmética exata garantem a exatidão dos resultados, mas com tempos de execução altos. Portanto, a técnica a ser usada ao lidar com problemas de interseção deve ser cuidadosamente escolhida para obter tempos de execução …