Template:Sample document

 This document is part of a corpus of sample documents. These documents can be used for evaluating mathematical knowledge management tools. Note that not every document in this corpus needs to be mathematically sound. While this would, e.g., make sense for testing automated theorem provers, it is not always necessary for testing document management tools.