swMATH45492MaRDI QIDQ5974109FDOQ5974109
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/2207.07539
Source code repository: https://github.com/TrustAI/3DVerifier
Cited In (4)
This page was built for software: 3DVerifier
