CTAN Comprehensive TeX Archive Network

Search theorem

The search found 16 of 55 hits in 8ms.

Obsolete version of ntheorem
Last modified in Catalogue: 2023-08-10 21:41
Goodies for theorems and proofs
Last modified in Catalogue: 2023-08-10 21:41
Plain macros for Physicists
Last modified in Catalogue: 2024-01-30 08:36
Adds forward-referencing functionality to the cleveref package
Last modified in Catalogue: 2024-02-26 13:33
Tools for writing teaching material
Last modified in Catalogue: 2024-04-12 07:35
Simpler Wick contractions
Last modified in Catalogue: 2024-07-25 14:33
Add a custom symbol at the end of an environment
Last modified in Catalogue: 2024-10-25 16:35
Colors definitions, theorems, corollaries, lemmas, and propositions
Last modified in Catalogue: 2024-12-16 08:35
Customized theorem environments for computer science documents
Last modified in Catalogue: 2025-01-18 08:35
A document class for quickly drafting nice looking lecture notes
Last modified in Catalogue: 2025-03-15 18:35
A colourful boxed theorem environment
Last modified in Catalogue: 2025-04-01 08:35
A package for adding theorem environments quickly
Last modified in Catalogue: 2025-05-26 15:35
Hyperlinked theorem–proof environments for
Last modified in Catalogue: 2025-07-25 06:35
Repetition of theorem environments
Last modified in Catalogue: 2025-09-03 17:35
Proofs in appendix
Last modified in Catalogue: 2025-09-30 12:35
The standard tools bundle
Last modified in Catalogue: 2025-10-31 14:35

Tips for the Search

TL;DR: the extended search tries to interprete some words and characters specially. This is not just Google.

The CTAN search provides some powerful features to express the query. You can use these features to get better results. Some of the features are described here. This feature list is by far not complete. It will be extended when required.

Prefix Search

The search term is split into words. The search engine finds the items containing all search terms at the beginning of words. The comparison is performed case-insensitive.

This is the same as adding the wildcard character * to the end of all words.

Word-based Search

The search term is split into words. The search engine finds the items containing all search terms as words. The order of the words just influences the order of the hits. The comparison is performed case-insensitive.

Wildcard Search

The meta-characters * and ? can be contained in the search term to denote an arbitrary number of characters and a single character respective.

bibtool*

Note that wildcards are not allowed at the beginning of a word.

Excluding words

Prefixing a word by - or NOT (in upper case) will exclude all hits for this word from the results.

sudoku -related

sudoku NOT related

Boolean Combinations

A boolean query can be formulated with the operators AND, OR, and NOT. Parentheses can be used to group sub-expressions.

tex AND NOT knuth

Fuzzy Search

If you are not sure about the spelling of your search you can initiate a fuzzy search. For this purpose append a ~ to the search word. This search also returns hits which are not literal matches but variations thereof.

bibtol~

Note that fuzzy search usually returns lots of hits. Thus be careful.

Guest Book Sitemap Contact Contact Author