A review of symbolic solvers

DOI10.1145/231191.231193zbMath1097.68674OpenAlexW2057998317WikidataQ131129612 ScholiaQ131129612MaRDI QIDQ4810130

Laurent Benardin

Publication date: 1 September 2004

Published in: ACM SIGSAM Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/231191.231193

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Uses Software

• AXIOM

This page was built for publication: A review of symbolic solvers