3BA

swMATH25685MaRDI QIDQ37423FDOQ37423

Author name not available (Why is that?)

Official website: https://rd.springer.com/chapter/10.1007%2F978-3-319-96418-8_25

Described by source

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

Cited In (9)

• Mathematical software -- ICMS 2018. 6th international conference, South Bend, IN, USA, July 24--27, 2018. Proceedings
• GBLA
• IntegerSequences
• Axl
• ATAME
• libtropicon
• Francy
• LELA
• Polytop

This page was built for software: 3BA