Sat Solvers and computer algebra systems: a powerful combination for mathematics

• Autores: Vijay Ganesh Hariharan
• Localización: Applications of Computer Algebra: proceedings / coord. por Francisco Botana Ferreiro, Felipe Gago Couso, Manuel Ladra González, 2018, ISBN 978-84-16954-87-2, págs. 18-19
• Idioma: inglés
• Texto completo no disponible (Saber más ...)