Miguel A. Ab\'anades

Identifiers

• name variant Miguel A. Ab\'anades 0.60 · backfill

Papers (2)

1. A dynamic symbolic geometry environment based on the Gr\"obnerCover algorithm for the computation of geometric loci and envelopes math.AG · 2013 · author #1
2. Automatic Deduction in Dynamic Geometry using Sage cs.MS · 2012 · author #2

Mentions

• 1306.1900 #1 · arxiv_oai · confidence 0.70 Miguel A. Ab\'anades
• 1202.4830 #2 · arxiv_oai · confidence 0.70 Miguel A. Ab\'anades
• 1306.1900 #1 · backfill · confidence 0.70 Miguel A. Ab\'anades
• 1202.4830 #2 · backfill · confidence 0.70 Miguel A. Ab\'anades

Frequent Coauthors

• Francisco Botana 2 shared papers