StatePolytope Cited in 7 Documents (2011–2020) Software Authors: Morrison, Ian; Swinarski, David Related Software: Macaulay2; GITquinticSurfaces; SageMath; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)
Vivid Cited in 3 Documents (2009–2017) Software Authors: Arkoudas, Konstantine; Bringsjord, Selmer Related Software: SNARK; Mizar; Mathematica; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)