Search for tag: "theorem proving software systems"

SIAM_IP8_1:30pm_08/03/2017

IP8 Open Problems in Finite Frame Theory

From  Anton Leykin on August 3rd, 2017 53 plays 0  

SMQS_Module_101.08_Structure_Blocks_and_Parametrics

From  Richard D Wise on February 17th, 2017 69 plays 0  

ASE-6005-Q_SMQS_Module_10108_Part_2

From  Richard D Wise on February 17th, 2017 3 plays 0