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
Any de publicació: 2002
Pàgines: 218-218
Tipus: Article