SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 

texlive-esrelation rpm build for : OpenSuSE. For other distributions click texlive-esrelation.

Name : texlive-esrelation
Version : 2017.132.svn37236 Vendor : openSUSE
Release : 33.1 Date : 2017-11-24 13:00:00
Group : Productivity/Publishing/TeX/Base Source RPM : texlive-specs-i-2017-33.1.src.rpm
Size : 0.02 MB
Packager : http://bugs_opensuse_org
Summary : Provides a symbol set for describing relations between ordered pairs
Description :
Around 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.

date: 2016-06-24 17:18:15 +0000

RPM found in directory: /mirror/ftp.opensuse.org/ports/aarch64/tumbleweed/repo/oss/suse/noarch

Content of RPM  Changelog  Provides Requires

Download
mirror.switch.ch  texlive-esrelation-2017.132.svn37236-33.1.noarch.rpm
ftp.icm.edu.pl  texlive-esrelation-2017.132.svn37236-33.1.noarch.rpm
ftp.icm.edu.pl  texlive-esrelation-2017.132.svn37236-33.1.noarch.rpm
ftp.icm.edu.pl  texlive-esrelation-2017.132.svn37236-33.1.noarch.rpm
ftp.pbone.net  texlive-esrelation-2017.132.svn37236-33.1.noarch.rpm
ftp.icm.edu.pl  texlive-esrelation-2017.132.svn37236-33.1.noarch.rpm
ftp.icm.edu.pl  texlive-esrelation-2017.132.svn37236-33.1.noarch.rpm
     

Provides :
tex(esrelation.map)
tex(esrelation.sty)
tex(esrelation10.tfm)
tex(uesrelation.fd)
texlive-esrelation

Requires :
/bin/sh
/bin/sh
/bin/sh
coreutils
coreutils
findutils
findutils
findutils
grep
grep
grep
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
sed
sed
sed
tex(updmap.cfg)
tex(updmap.cfg)
texlive >= 2017
texlive >= 2017
texlive >= 2017
texlive >= 2017
texlive-esrelation-fonts >= 2017


Content of RPM :
/usr/share/texmf/fonts/map/dvips/esrelation/esrelation.map
/usr/share/texmf/fonts/source/public/esrelation/esrelation.mf
/usr/share/texmf/fonts/source/public/esrelation/esrelation10.mf
/usr/share/texmf/fonts/tfm/public/esrelation/esrelation10.tfm
/usr/share/texmf/fonts/type1/public/esrelation/esrelation10.pfb
/usr/share/texmf/tex/latex/esrelation/esrelation.sty
/usr/share/texmf/tex/latex/esrelation/uesrelation.fd