Towards an automated proof of the Basic Perturbation Lemma (Abstract)
- Aransay Azofra, Jesús María
- Ballarín, C.
- Rubio García, Julio
Revue:
Communications in Computer Algebra (SIGSAM Bulletin)
ISSN: 0163-5824
Année de publication: 2002
Pages: 218-218
Type: Article