swMATH46673MaRDI QIDQ5972840FDOQ5972840
Author name not available (Why is that?)
Official website: https://iss.oden.utexas.edu/?p=projects/galois
Source code repository: https://github.com/IntelligentSoftwareSystems/Galois
Cited In (1)
This page was built for software: Galois
