Towards an automated proof of the Basic Perturbation Lemma (Abstract)
- Aransay Azofra, Jesús María
- Ballarín, C.
- Rubio García, Julio
Zeitschrift:
Communications in Computer Algebra (SIGSAM Bulletin)
ISSN: 0163-5824
Datum der Publikation: 2002
Seiten: 218-218
Art: Artikel