| Mon, 09 Feb 2009 16:57:10 +0000 | chaieb | Fixed theorem reference | changeset | files |
| Mon, 09 Feb 2009 16:54:03 +0000 | chaieb | (Real) Vectors in Euclidean space, and elementary linear algebra. | changeset | files |
| Mon, 09 Feb 2009 16:43:52 +0000 | chaieb | A generic decision procedure for linear rea arithmetic and normed vector spaces | changeset | files |
| Mon, 09 Feb 2009 16:42:15 +0000 | chaieb | Permutations, both general and specifically on finite sets. | changeset | files |