texlive-science 2017.20170724-1 (amd64 binary) in ubuntu artful

 This package includes the following CTAN packages:
 .
 12many -- Generalising mathematical index sets
 .
 SIstyle -- Package to typeset SI units, numbers and angles
 .
 SIunits -- International System of Units
 .
 alg -- LaTeX environments for typesetting algorithms
 .
 algorithm2e -- Floating algorithm environment with algorithmic keywords
 .
 algorithmicx -- The algorithmic style you always wanted
 .
 algorithms -- A suite of tools for typesetting algorithms in pseudo-code
 .
 amstex -- American Mathematical Society plain TeX macros
 .
 apxproof -- Proofs in appendix
 .
 autobreak -- Simple line breaking of long formulae
 .
 axodraw2 -- Feynman diagrams in a LaTeX document
 .
 backnaur -- Typeset Backus Naur Form definitions
 .
 begriff -- Typeset Begriffschrift
 .
 binomexp -- Calculate Pascal's triangle
 .
 biocon -- Typesetting biological species names
 .
 bitpattern -- Typeset bit pattern diagrams
 .
 bohr -- Simple atom representation according to the Bohr model
 .
 boldtensors -- Bold latin and greek characters through simple prefix
 characters
 .
 bosisio -- A collection of packages by Francesco Bosisio
 .
 bpchem -- Typeset chemical names, formulae, etc
 .
 bropd -- Simplified brackets and differentials in LaTeX
 .
 bytefield -- Create illustrations for network protocol specifications
 .
 calculation -- Typesetting reasoned calculations, also called calculational
 proofs
 .
 ccfonts -- Support for Concrete text and math fonts in LaTeX
 .
 chemarrow -- Arrows for use in chemistry
 .
 chemcompounds -- Simple consecutive numbering of chemical compounds
 .
 chemcono -- Support for compound numbers in chemistry documents
 .
 chemexec -- Creating (chemical) exercise sheets
 .
 chemformula -- Command for typesetting chemical formulas and reactions
 .
 chemgreek -- Upright Greek letters in chemistry
 .
 chemmacros -- A collection of macros to support typesetting chemistry
 documents
 .
 chemnum -- A method of numbering chemical compounds
 .
 chemschemex -- Typeset and cross-reference chemical schemes based on TikZ
 code
 .
 chemstyle -- Writing chemistry with style
 .
 clrscode -- Typesets pseudocode as in Introduction to Algorithms
 .
 clrscode3e -- Typesets pseudocode as in Introduction to Algorithms
 .
 commath -- Mathematics typesetting support
 .
 complexity -- Computational complexity class names
 .
 computational-complexity -- Class for the journal Computational Complexity
 .
 concmath -- Concrete Math fonts
 .
 concrete -- Concrete Roman fonts
 .
 conteq -- Typeset multiline continued equalities
 .
 correctmathalign -- correct spacing of the alignment in expressions
 .
 cryptocode -- Typesetting pseudocode, protocols, game-based proofs and
 black-box reductions in cryptography
 .
 delim -- Simplify typesetting mathematical delimiters
 .
 delimset -- Typeset and declare sets of delimiters with convenient size
 control
 .
 delimseasy -- Delimiter commands that are easy to use and resize
 .
 diffcoeff -- Write differential coefficients easily
 .
 digiconfigs -- Writing "configurations"
 .
 drawmatrix -- Draw visual representations of matrices in LaTeX
 .
 drawstack -- Draw execution stacks
 .
 dyntree -- Construct Dynkin tree diagrams
 .
 ebproof -- Formal proofs in the style of sequent calculus
 .
 econometrics -- defines some commands that simplify mathematic notation in
 economic and econometric writing
 .
 eltex -- Simple circuit diagrams in LaTeX picture mode
 .
 emf -- Support for the EMF symbol
 .
 endiagram -- Easy creation of potential energy curve diagrams
 .
 engtlc -- Support for users in Telecommunications Engineering
 .
 eqnarray -- More generalised equation arrays with numbering
 .
 extarrows -- Extra Arrows beyond those provided in amsmath
 .
 extpfeil -- Extensible arrows in mathematics
 .
 faktor -- Typeset quotient structures with LaTeX
 .
 fnspe -- Macros for supporting mainly students of FNSPE CTU in Prague
 .
 fouridx -- Left sub- and superscripts in maths mode
 .
 functan -- Macros for functional analysis and PDE theory
 .
 galois -- Typeset Galois connections
 .
 gastex -- Graphs and Automata Simplified in TeX
 .
 gene-logic -- Typeset logic formulae, etc
 .
 ghsystem -- Globally harmonised system of chemical (etc) naming
 .
 gotoh -- An implementation of the Gotoh sequence alignment algorithm
 .
 grundgesetze -- Typeset Frege's Grundgesetze der Arithmetik
 .
 gu -- Typeset crystallographic group-subgroup-schemes
 .
 hep -- A "convenience wrapper" for High Energy Physics packages
 .
 hepnames -- Pre-defined high energy particle names
 .
 hepparticles -- Macros for typesetting high energy physics particle names
 .
 hepthesis -- A class for academic reports, especially PhD theses
 .
 hepunits -- A set of units useful in high energy physics applications
 .
 interval -- Format mathematical intervals, ensuring proper spacing
 .
 ionumbers -- Restyle numbers in maths mode
 .
 isomath -- Mathematics style for science and technology
 .
 karnaugh -- Typeset Karnaugh-Veitch-maps
 .
 karnaugh-map -- LaTeX package for drawing karnaugh maps with up to 6
 variables
 .
 karnaughmap -- Typeset Karnaugh maps
 .
 logicproof -- Box proofs for propositional and predicate logic
 .
 longdivision -- Long division arithmetic problems
 .
 lpform -- Typesetting linear programming formulations and sets of equations
 .
 lplfitch -- Fitch-style natural deduction proofs
 .
 lstbayes -- Listings language driver for Bayesian modeling languages
 .
 mathcomp -- Text symbols in maths mode
 .
 mathpartir -- Typesetting sequences of math formulas, e.g. type inference
 rules
 .
 mathpunctspace -- Control the space after punctuation in math expressions
 .
 matlab-prettifier -- Pretty-print Matlab source code
 .
 mattens -- Matrices/tensor typesetting
 .
 mgltex -- High-quality graphics from MGL scripts embedded in LaTeX documents
 .
 mhchem -- Typeset chemical formulae/equations and Risk and Safety phrases
 .
 mhequ -- Multicolumn equations, tags, labels, sub-numbering
 .
 miller -- Typeset miller indices
 .
 multiobjective -- Symbols for multiobjective optimisation etc
 .
 mychemistry -- Create reaction schemes with LaTeX and ChemFig
 .
 natded -- Typeset natural deduction proofs
 .
 nath -- Natural mathematics notation
 .
 nuc -- Notation for nuclear isotopes
 .
 nucleardata -- Provides data about atomic nuclides for documents
 .
 objectz -- Macros for typesetting Object Z
 .
 oplotsymbl -- some symbols, which are not easily available
 .
 ot-tableau -- Optimality Theory tableaux in LaTeX
 .
 oubraces -- Braces over and under a formula
 .
 perfectcut -- Delimiters whose size adjusts to the nesting
 .
 physics -- Macros supporting the Mathematics of Physics
 .
 prftree -- Macros for building proof trees
 .
 proba -- Shortcuts commands to symbols used in probability texts
 .
 prooftrees -- Forest-based proof trees (symbolic logic)
 .
 pseudocode -- LaTeX environment for specifying algorithms in a natural way
 .
 pygmentex -- Use Pygments to format code listings in documents
 .
 pythonhighlight -- Highlighting of Python code, based on the listings
 package
 .
 rec-thy -- Commands to typeset recursion theory papers
 .
 revquantum -- Hacks to make writing quantum papers for revtex4-1 less
 painful
 .
 ribbonproofs -- Drawing ribbon proofs
 .
 rmathbr -- Repeating of math operator at the broken line and the new line in
 inline equations
 .
 sasnrdisplay -- Typeset SAS or R code or output
 .
 sciposter -- Make posters of ISO A3 size and larger
 .
 sclang-prettifier -- Prettyprinting SuperCollider source code
 .
 sesamanuel -- Class and package for sesamath books or paper
 .
 sfg -- Draw signal flow graphs
 .
 shuffle -- A symbol for the shuffle product
 .
 simpler-wick -- Simpler Wick contractions
 .
 simplewick -- Simple Wick contractions
 .
 siunitx -- A comprehensive (SI) units package
 .
 skmath -- Extensions to the maths command repertoir
 .
 spalign -- Typeset matrices and arrays with spaces and semicolons as
 delimiters.
 .
 stanli -- TikZ Library for Structural Analysis
 .
 statex -- Statistics style
 .
 statex2 -- Statistics style
 .
 steinmetz -- Print Steinmetz notation
 .
 stmaryrd -- St Mary Road symbols for theoretical computer science
 .
 struktex -- Draw Nassi-Shneidermann charts
 .
 substances -- A database of chemicals
 .
 subsupscripts -- A range of sub- and superscript commands
 .
 susy -- Macros for SuperSymmetry-related work
 .
 syllogism -- Typeset syllogisms in LaTeX
 .
 sympytexpackage --
 .
 synproof -- Easy drawing of syntactic proofs
 .
 t-angles -- Draw tangles, trees, Hopf algebra operations and other pictures
 .
 tablor -- Create tables of signs and of variations
 .
 tensor -- Typeset tensors
 .
 tex-ewd -- Macros to typeset calculational proofs and programs in Dijkstra's
 style
 .
 textgreek -- Upright greek letters in text
 .
 textopo -- Annotated membrane protein topology plots
 .
 thmbox -- Decorate theorem statements
 .
 turnstile -- Typeset the (logic) turnstile notation
 .
 ulqda -- Support of Qualitative Data Analysis
 .
 unitsdef -- Typesetting units in LaTeX
 .
 venn -- Creating Venn diagrams with MetaPost
 .
 xymtex -- Typesetting chemical structures
 .
 yhmath -- Extended maths fonts for LaTeX
 .
 youngtab -- Typeset Young-Tableaux
 .
 ytableau -- Many-featured Young tableaux and Young diagrams