Towards an automated proof of the Basic Perturbation Lemma (Abstract)

  1. Aransay Azofra, Jesús María
  2. Ballarín, C.
  3. Rubio García, Julio
Revista:
Communications in Computer Algebra (SIGSAM Bulletin)

ISSN: 0163-5824

Ano de publicación: 2002

Páxinas: 218-218

Tipo: Artigo

GOOGLE SCHOLAR

Outras publicacións en: Communications in Computer Algebra (SIGSAM Bulletin)