Search for tag: "theorem proving software systems"

2016 Introduction to PARADIM

2016 PARADIM SUMMER SCHOOL Darrell Schlom

From  James Overhiser 80 plays

02 - 1D mechanics; Balls cones & friction Session 2

2013-01-24 08:57:50+00

From  [email protected] 35 plays

29 - Determinants (Part 1) Session 29

2009-04-01 09:08:08+00

From  [email protected] 44 plays

39 - Symmetric matrices eigenthings and examples Session 39

2009-04-24 12:03:37+00

From  [email protected] 42 plays