Notation by work

IUT Valuation Hulls

All notation · Glossary · Source coverage

0 symbol spellings in 0 mathematical passages across 3 selected source files. Subscripts and superscripts have their own entries alongside their base symbols.

The same symbol can have several meanings here. A passage classified as a definition may define another part of its expression. Read the linked context before assigning a meaning.

Source coverage

Automatic extraction covers TeX and Markdown math delimiters and common equation environments in these selected files. It does not interpret diagrams, images, PDF text, program identifiers, or historical archives. Occurrences are navigation aids, not a proof review.

Download all entries, passages and source checksums (JSON) · Collection coverage

research/iut-valuation-hulls/HANDOFF_B05.md · 0 mathematical passages
research/iut-valuation-hulls/README.md · 0 mathematical passages
research/iut-valuation-hulls/formalization/lean/README.md · 0 mathematical passages