Index of /mirrors/gentoo-portage/sci-mathematics

      Name                     Last modified      Size  Description
      Parent Directory                              -   
      4ti2/                    2024-09-17 05:44    -   
      Manifest.gz              2024-09-12 20:13   19K  
      abc/                     2024-09-17 05:44    -   
      acl2/                    2024-09-17 05:44    -   
      alectryon/               2024-09-17 05:44    -   
      alt-ergo/                2024-09-17 05:44    -   
      arb/                     2024-09-17 05:44    -   
      bertini/                 2024-09-17 05:44    -   
      boolector/               2024-09-17 05:44    -   
      btor2tools/              2024-09-17 05:44    -   
      cadabra/                 2024-09-17 05:44    -   
      cadical/                 2024-09-17 05:44    -   
      calc/                    2024-09-17 05:44    -   
      cgal/                    2024-09-17 05:44    -   
      cliquer/                 2024-09-17 05:44    -   
      coq-mathcomp/            2024-09-17 05:44    -   
      coq-serapi/              2024-09-17 05:44    -   
      coq/                     2024-09-17 05:44    -   
      cryptominisat/           2024-09-17 05:44    -   
      cubicle/                 2024-09-17 05:44    -   
      cudd/                    2024-09-17 05:44    -   
      cvc4/                    2024-09-17 05:44    -   
      dataplot/                2024-09-17 05:44    -   
      diagrtb/                 2024-09-17 05:44    -   
      dsfmt/                   2024-09-17 05:44    -   
      dunshire/                2024-09-17 05:44    -   
      easycrypt/               2024-09-17 05:44    -   
      eclib/                   2024-09-17 05:44    -   
      ent/                     2024-09-17 05:44    -   
      eprover/                 2024-09-17 05:44    -   
      euler/                   2024-09-17 05:44    -   
      fann/                    2024-09-17 05:44    -   
      flint/                   2024-09-17 05:44    -   
      flocq/                   2024-09-17 05:44    -   
      form/                    2024-09-17 05:44    -   
      fricas/                  2024-09-17 05:44    -   
      frobby/                  2024-09-17 05:44    -   
      gap/                     2024-09-17 05:44    -   
      gappa/                   2024-09-17 05:44    -   
      gappalib-coq/            2024-09-17 05:44    -   
      genius/                  2024-09-17 05:44    -   
      geogebra-bin/            2024-09-17 05:44    -   
      geomview/                2024-09-17 05:44    -   
      gfan/                    2024-09-17 05:44    -   
      giac/                    2024-09-17 05:44    -   
      gimps/                   2024-09-17 05:44    -   
      ginac/                   2024-09-17 05:44    -   
      glpk/                    2024-09-17 05:44    -   
      gmm/                     2024-09-17 05:44    -   
      gmp-ecm/                 2024-09-17 05:44    -   
      gp2c/                    2024-09-17 05:44    -   
      gretl/                   2024-09-17 05:44    -   
      gsl-shell/               2024-09-17 05:44    -   
      jags/                    2024-09-17 05:44    -   
      kind2/                   2024-09-17 05:44    -   
      kissat/                  2024-09-17 05:44    -   
      lcalc/                   2024-09-17 05:44    -   
      lean/                    2024-09-17 05:44    -   
      libpoly/                 2024-09-17 05:44    -   
      lpsolve/                 2024-09-17 05:44    -   
      lrcalc/                  2024-09-17 05:44    -   
      mathematica/             2024-09-17 05:44    -   
      mathlib-tools/           2024-09-17 05:44    -   
      mathmod/                 2024-09-17 05:44    -   
      mathomatic/              2024-09-17 05:44    -   
      maxima/                  2024-09-17 05:44    -   
      metadata.xml             2021-09-11 14:40  1.3K  
      metamath-databases/      2024-09-17 05:44    -   
      metamath/                2024-09-17 05:44    -   
      minisat/                 2024-09-17 05:44    -   
      msieve/                  2024-09-17 05:44    -   
      nauty/                   2024-09-17 05:44    -   
      nestedsums/              2024-09-17 05:44    -   
      normaliz/                2024-09-17 05:44    -   
      num-utils/               2024-09-17 05:44    -   
      octave-epstk/            2024-09-17 05:44    -   
      octave/                  2024-09-17 05:44    -   
      opensmt/                 2024-09-17 05:44    -   
      otter/                   2024-09-17 05:44    -   
      palp/                    2024-09-17 05:44    -   
      pari-data/               2024-09-17 05:44    -   
      pari/                    2024-09-17 05:44    -   
      petsc/                   2024-09-17 05:44    -   
      picosat/                 2024-09-17 05:44    -   
      planarity/               2024-09-17 05:44    -   
      plfit/                   2024-09-17 05:44    -   
      polymake/                2024-09-17 05:44    -   
      primecount/              2024-09-17 05:44    -   
      primesieve/              2024-09-17 05:44    -   
      prng/                    2024-09-17 05:44    -   
      prover9/                 2024-09-17 05:44    -   
      proverif/                2024-09-17 05:44    -   
      psmt2-frontend/          2024-09-17 05:44    -   
      pspp/                    2024-09-17 05:44    -   
      rkward/                  2024-09-17 05:44    -   
      rngstreams/              2024-09-17 05:44    -   
      rw/                      2024-09-17 05:44    -   
      sha1-polyml/             2024-09-17 05:44    -   
      singular/                2024-09-17 05:44    -   
      slepc/                   2024-09-17 05:44    -   
      smtinterpol/             2024-09-17 05:44    -   
      spin/                    2024-09-17 05:44    -   
      stp/                     2024-09-17 05:44    -   
      sympow/                  2024-09-17 05:44    -   
      topcom/                  2024-09-17 05:44    -   
      twelf/                   2024-09-17 05:44    -   
      unuran/                  2024-09-17 05:44    -   
      vampire/                 2024-09-17 05:44    -   
      verifpal/                2024-09-17 05:44    -   
      verit/                   2024-09-17 05:44    -   
      why3-for-spark/          2024-09-17 05:44    -   
      why3/                    2024-09-17 05:44    -   
      wxmaxima/                2024-09-17 05:44    -   
      yacas/                   2024-09-17 05:44    -   
      yafu/                    2024-09-17 05:44    -   
      yices2/                  2024-09-17 05:44    -   
      z3/                      2024-09-17 05:44    -