Towards an automated proof of the Basic Perturbation Lemma (Abstract)
- Aransay Azofra, Jesús María
- Ballarín, C.
- Rubio García, Julio
Revista:
Communications in Computer Algebra (SIGSAM Bulletin)
ISSN: 0163-5824
Año de publicación: 2002
Páginas: 218-218
Tipo: Artículo