Thu, 28 Mar 2024 22:43:36 UTC | login

Information for RPM texlive-esrelation-9:svn37236.0-19.fc33.noarch.rpm

ID518247
Nametexlive-esrelation
Versionsvn37236.0
Release19.fc33
Epoch9
Archnoarch
SummaryProvides a symbol set for describing relations between ordered pairs
DescriptionAround 2008, researcher Byron Cook and several colleagues began developing a new set of interrelated algorithms capable of automatically reasoning about the behavior of computer programs and other systems (such as biological systems, circuit designs, etc). At the center of these algorithms were new ideas about the relationships between structures expressable as mathematical sets and relations. Using the language of mathematics and logic, the researchers communicated these new results to others in their community via published papers, research talks, etc. Unfortunately, they found the symbols already available for reasoning about relations lacking (in contrast to sets, which have a long-ago developed and robust symbol vocabulary). Early presentations were unnecessarily cluttered. To more elegantly express these ideas around relations, Cook recruited artist Tauba Auerbach to help develop a set of symbols. This package provides an math symbol font for describing relations between ordered pairs by using Metafont.
Build Time2020-03-12 14:01:41 GMT
Size54.89 KB
9b49a278ec740fd459e34b7cba95f636
LicenseLPPL 1.3
Provides
tex(esrelation.map) = 2019
tex(esrelation.sty) = 2019
tex(esrelation10.pfb) = 2019
tex(esrelation10.tfm) = 2019
tex(uesrelation.fd) = 2019
tex-esrelation = 2019
texlive-esrelation = 9:svn37236.0-19.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
tex-kpathsea
tex-tetex
texlive-base
texlive-kpathsea-bin
texlive-tetex-bin
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 14 of 14
Name ascending sort Size
/usr/share/licenses/texlive-esrelation0.00 B
/usr/share/licenses/texlive-esrelation/lppl1.3.txt18.66 KB
/usr/share/texlive/texmf-dist/fonts/map/dvips/esrelation0.00 B
/usr/share/texlive/texmf-dist/fonts/map/dvips/esrelation/esrelation.map44.00 B
/usr/share/texlive/texmf-dist/fonts/source/public/esrelation0.00 B
/usr/share/texlive/texmf-dist/fonts/source/public/esrelation/esrelation.mf9.49 KB
/usr/share/texlive/texmf-dist/fonts/source/public/esrelation/esrelation10.mf5.43 KB
/usr/share/texlive/texmf-dist/fonts/tfm/public/esrelation0.00 B
/usr/share/texlive/texmf-dist/fonts/tfm/public/esrelation/esrelation10.tfm280.00 B
/usr/share/texlive/texmf-dist/fonts/type1/public/esrelation0.00 B
/usr/share/texlive/texmf-dist/fonts/type1/public/esrelation/esrelation10.pfb27.51 KB
/usr/share/texlive/texmf-dist/tex/latex/esrelation0.00 B
/usr/share/texlive/texmf-dist/tex/latex/esrelation/esrelation.sty4.29 KB
/usr/share/texlive/texmf-dist/tex/latex/esrelation/uesrelation.fd773.00 B
Component of
1 through 1 of 1
Buildroot descending sort Created State
f33-build-125409-39805 2020-03-27 09:50:25 expired