activity
20012026
most citedSLOCC classification of n qubits invoking the proportional relationships for spectrums and for standard Jordan normal forms

156 citations · 514 across the 41 of their papers we have counts for

collaborators
Showing 2023 · math.LOShow all

1 paper · 2 filters

math.LO2023

Simplifying the axiomatization for the ordered affine geometry via a theorem prover

Dafa Li

Based on an ordering with directed lines and using constructions instead of existential axioms, von Plato proposed a constructive axiomatization of the ordered affine geometry. The…