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