Search for tag: "theorem proving software systems"

2016 Introduction to PARADIM

2016 PARADIM SUMMER SCHOOL Darrell Schlom

From  James Overhiser 91 plays

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

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

From  mjp337@cornell.edu 58 plays

29 - Determinants (Part 1) Session 29

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

From  mjp337@cornell.edu 53 plays

39 - Symmetric matrices eigenthings and examples Session 39

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

From  mjp337@cornell.edu 56 plays