sci-mathematics

stable unstable hardmask

4ti2-1.6.7-r1 abc-0_p20230313 acl2-8.5-r1 alectryon-1.4.0-r1 alt-ergo-2.4.3 arb-2.23.0 bertini-1.6 boolector-3.2.2_p20220110 btor2tools-1.0.0_pre20220518-r1 cadabra-2.4.4.1 cadical-1.5.3-r1 calc-2.13.0.1 cgal-5.5.2 cliquer-1.22 coq-8.18.0 coq-mathcomp-1.16.0-r1 coq-serapi-0.17.0 cryptominisat-5.11.14 cubicle-1.2.0-r2 cudd-3.0.0 cvc4-1.8-r4 dataplot-20131220 diagrtb-2.64 dsfmt-2.2.4 dunshire-0.1.1-r3 easycrypt-2023.09 eclib-20230424 ent-101202 eprover-3.0_pre008 euler-1.61.0-r1 fann-2.2.0-r1 flint-2.9.0 flocq-4.1.1 form-4.3.1 fricas-1.3.9 frobby-0.9.0-r4 gappa-1.4.1 gappalib-coq-1.5.3

genius-1.0.27 geogebra-bin-5.0.752.0 geomview-1.9.5-r1 gfan-0.6.2-r4 giac-1.9.0.55-r1 gimps-30.8.17 ginac-1.8.7 glpk-5.0-r1 gmm-5.4.2 gmp-ecm-7.0.5-r1 gp2c-0.0.12 gretl-2021d gsl-shell-2.3.5 jags-4.3.1 kind2-1.9.0 kissat-3.1.0 lcalc-2.0.5-r2 lean-3.9999 libpoly-0.1.11 lpsolve-5.5.2.11-r2 lrcalc-2.1 mathematica-13.3.1 mathlib-tools-1.3.2_p1 mathmod-4.1-r1 mathomatic-16.0.5-r1 maxima-5.47.0 metamath-0.198 metamath-databases-20220303 minisat-2.2.1-r1 msieve-1.53-r1 nauty-2.8.6-r1 nestedsums-1.5.2-r1 normaliz-3.10.1 num-utils-0.5-r2 octave-8.3.0 octave-epstk-2.4 opensmt-2.5.2 otter-3.3-r4

pari-2.15.4-r1 pari-data-20191216 petsc-3.19.4 picosat-965 planarity-3.0.2.0 plfit-0.9.3 primecount-7.6 primesieve-11.0 prng-3.0.2-r3 prover9-2009.11a proverif-2.04 psmt2-frontend-0.4.0 pspp-1.6.2-r2 rkward-0.7.5 rngstreams-1.0.1 rw-0.9 sha1-polyml-5.9 singular-4.3.2_p1 slepc-3.19.1 smtinterpol-2.5_p20211018 spin-6.5.2-r1 stp-2.3.3-r3 sympow-2.023.6 topcom-0.17.8-r3 twelf-1.7.1-r2 unuran-1.9.0 vampire-4.8 verifpal-0.27.0 verit-2021.06.2 why3-1.6.0 why3-for-spark-2021-r1 wxmaxima-23.07.0 yacas-1.9.1-r1 yafu-1.34.3-r1 yices2-2.6.4-r1 z3-4.12.1

Also available in: Atom

About Project
History
Screenshots
Logos and themes
Video
Reviews
Introduction
Contact Us
Donations

Development
News
Calculate Linux

Products
Calculate Directory Server
Calculate Linux Desktop
Calculate Linux Scratch
Support
Downloads
License

Documentation
Installing Calculate
Working with Calculate
Working with Portage
Calculate Utilities
Server Configuration
Workstation Setup
Calculate Network Configuration
Hardware Setup
Manuals
Guides

Services
Newest Packages
GLSA
Browse Packages
USE Flags
All Licenses

OpenID Server
Pastebin

Community
Blogs
Forums
Wiki
BugTracker

Calculate User Map
LinuxQuestions
Facebook
Google+
Telegram
Twitter

If you find a mistake, please highlight it and press Ctrl+Enter.