Computing sampling points in a semi-algebraic set defined by non-strict inequalities, application to Pattern-Matching Problems

• Autores: C. Le Guernic, Fabrice Rouillier, Mohab Safey El Din
• Localización: EACA 2004: Santander, 1-3 julio 2004, Universidad de Cantabria : Actas de los encuentros de álgebra computacional y aplicaciones, 2004 / coord. por Laureano González Vega, T. Recio, 2004, págs. 185-189
• Idioma: inglés
• Texto completo no disponible (Saber más ...)