| Wed, 17 Feb 2010 18:33:45 +0100 | himmelma | Added integration to Multivariate-Analysis (upto FTC) | file | diff | annotate |
| Tue, 17 Nov 2009 18:52:30 +0100 | hoelzl | Added derivation and Brouwer's fixpoint theorem in Multivariate Analysis (translated by Robert Himmelmann from HOL-light) | file | diff | annotate |