3BA

MaRDI QIDQ37423swMATHFDO

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