Search for tag: "theorem proving software systems"

SIAM_IP8_1:30pm_08/03/2017

IP8 Open Problems in Finite Frame Theory

+107 More
From  Anton Leykin 60 plays 0