Vivid

swMATH1316MaRDI QIDQ14056FDOQ14056

Author name not available (Why is that?)

Official website: http://kryten.mm.rpi.edu/vivid_120405.pdf

Described by source

• Vivid: a framework for heterogeneous problem solving

Cited In (6)

• Is universal computation a myth?
• CafePie
• GROVER
• SNARK
• Hyperproof
• Proof verification and proof discovery for relativity

This page was built for software: Vivid