Search for tag: "theorem proving software systems"

Thumbnail for SIAM_IP8_1:30pm_08/03/2017

SIAM_IP8_1:30pm_08/03/2017

duration 53 minutes 10 seconds

SIAM_IP8_1:30pm_08/03/2017

SIAM_IP8_1:30pm_08/03/2017

SIAM_IP8_1:30pm_08/03/2017

IP8 Open Problems in Finite Frame Theory

logarithms
+107 More
From  Anton Leykin August 3rd, 2017 60 plays 0  
name
Dustin Mixon, Air Force Institute of Technology, USA
Date
August 3rd, 2017