3BA

swMATH25685MaRDI QIDQ37423FDOQ37423

Author name not available (Why is that?)

Described by source

• 3BA: a border bases solver with a SAT extension

Cited In (1)

• Mathematical software -- ICMS 2018. 6th international conference, South Bend, IN, USA, July 24--27, 2018. Proceedings

This page was built for software: 3BA