Vivid

swMATH1316MaRDI QIDQ14056FDOQ14056

Author name not available (Why is that?)

Described by source

• Vivid: a framework for heterogeneous problem solving

Cited In (2)

• Is Universal Computation a Myth?
• Proof verification and proof discovery for relativity

This page was built for software: Vivid