Proyectos de Investigación Terminados
(Como investigador)

    1. Desarrollo de Software Algebraico en Robótica, CAYCIT PA86-0471, (1987-1990)
    2. Algorithmen und Software für die Algebraische Geometrie, P6763 FFWF (Austria), (1988-1989)
    3. Software Algebraico-Simbólico en Robótica. Universidad de Alcalá. Proyecto 90/A18 (1990-1991).
    4. Study-Contract sobre Software Algebraico. Convenio IBM-Universidad. Proyecto IBM-10.90. (1990-1992).
    5. Construcciones Simbólicas en Algebra Computacional. Universidad de Alcalá. Proyecto 92/A36. (1992-1993).
    6. Acción Especial no AE00319/94 (Programa TEC) del II Plan Regional de Investigación de la Comunidad de Madrid. (1993)
    7. POSSO: Polynomial System Solving. ESPRIT/Bra 6843. (1993-1996)
    8. FRISCO: A Framework for Integrated Symbolic/Numeric Computation. ESPRIT-IV, LTR 21.024. (1996-1999)
    9. Sistemas de ecuaciones algebraicas: resolución y aplicaciones. DGES PB 95/0563 (1995-1998)
    10. SAC: Symbolic and Algebraic Computation. Human Capital and Mobility. HCMERBCHRX-CT94-0439 (1994-1997).
    11. CONSTRUCCIONES ALGEBRO-GEOMETRICAS: FUNDAMENTOS, ALGORITMOS Y APLICACIONES (MTM2014-54141-P)
    12. COMPUTACION SIMBOLICA: NUEVOS RETOS EN ALGEBRA Y GEOMETRIA Y SUS APLICACIONES. MTM2017-88796-P.