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