Welcome to mirror list, hosted at ThFree Co, Russian Federation.

/math/

• ../
• 4ti2
• GiNaC
• Imath
• Makefile
• PDL
• R-cran-ADGofTest
• R-cran-Amelia
• R-cran-BsMD
• R-cran-CVST
• R-cran-ChangeAnomalyDetection
• R-cran-DEoptimR
• R-cran-DRR
• R-cran-DoE.base
• R-cran-FNN
• R-cran-Formula
• R-cran-FrF2
• R-cran-KFAS
• R-cran-LearnBayes
• R-cran-MCMCpack
• R-cran-MSwM
• R-cran-MatchIt
• R-cran-Matching
• R-cran-MatrixModels
• R-cran-NMF
• R-cran-RHmm
• R-cran-RSvgDevice
• R-cran-RcppArmadillo
• R-cran-RcppEigen
• R-cran-RcppRoll
• R-cran-Rmpfr
• R-cran-Rsolnp
• R-cran-SQUAREM
• R-cran-SparseM
• R-cran-VGAM
• R-cran-XLConnect
• R-cran-Zelig
• R-cran-acepack
• R-cran-admisc
• R-cran-alabama
• R-cran-ash
• R-cran-assertthat
• R-cran-backports
• R-cran-bdsmatrix
• R-cran-car
• R-cran-carData
• R-cran-coda
• R-cran-combinat
• R-cran-conf.design
• R-cran-conquer
• R-cran-date
• R-cran-ddalpha
• R-cran-deldir
• R-cran-dimRed
• R-cran-dlmodeler
• R-cran-dplyr
• R-cran-eRm
• R-cran-energy
• R-cran-exactRankTests
• R-cran-expm
• R-cran-forcats
• R-cran-forecast
• R-cran-fracdiff
• R-cran-geepack
• R-cran-geometry
• R-cran-gmp
• R-cran-gower
• R-cran-gpclib
• R-cran-gsl
• R-cran-gss
• R-cran-gtable
• R-cran-haven
• R-cran-hdrcde
• R-cran-hexbin
• R-cran-igraph
• R-cran-influenceR
• R-cran-inline
• R-cran-intervals
• R-cran-ipred
• R-cran-irlba
• R-cran-isoband
• R-cran-labeling
• R-cran-lava
• R-cran-lazyeval
• R-cran-linprog
• R-cran-lme4
• R-cran-locfit
• R-cran-lpSolve
• R-cran-ltm
• R-cran-magic
• R-cran-maps
• R-cran-mathjaxr
• R-cran-matrixStats
• R-cran-maxLik
• R-cran-mclust
• R-cran-mcmc
• R-cran-memisc
• R-cran-minqa
• R-cran-misc3d
• R-cran-miscTools
• R-cran-mitools
• R-cran-moments
• R-cran-mvtnorm
• R-cran-nloptr
• R-cran-nnls
• R-cran-nortest
• R-cran-numDeriv
• R-cran-numbers
• R-cran-outliers
• R-cran-partitions
• R-cran-pbkrtest
• R-cran-plot3D
• R-cran-pls
• R-cran-polycor
• R-cran-polynom
• R-cran-pracma
• R-cran-prodlim
• R-cran-proxy
• R-cran-psych
• R-cran-pwr
• R-cran-quadprog
• R-cran-qualityTools
• R-cran-quantreg
• R-cran-raster
• R-cran-recipes
• R-cran-rgenoud
• R-cran-robustbase
• R-cran-sandwich
• R-cran-scatterplot3d
• R-cran-sets
• R-cran-sf
• R-cran-sm
• R-cran-sp
• R-cran-spData
• R-cran-spdep
• R-cran-sspir
• R-cran-stabledist
• R-cran-statmod
• R-cran-survey
• R-cran-tensor
• R-cran-terra
• R-cran-truncnorm
• R-cran-units
• R-cran-uroot
• R-cran-wk
• R-cran-xts
• R-cran-zoo
• R
• SCIP
• SoPlex
• aamath
• abella
• abs
• acalc
• add
• adept
• adol-c
• alberta
• algae
• alglib
• alps
• alt-ergo
• amath
• ambit
• amgcl
• analitza
• ann
• antic
• apache-commons-math
• apc
• apron
• arb
• aribas
• armadillo
• arpack++
• arpack-ng
• ascent
• asl
• asymptote
• atlas
• barvinok
• basic-stats
• bcal
• bcps
• bitwise
• blacs
• blahtexml
• blas
• blasfeo
• blaspp
• blaze
• blazeiterative
• blis
• bliss
• blocksolve95
• bonmin
• boolector
• brial
• bsdnt
• btor2tools
• cadabra2
• cadical
• cado-nfs
• calc
• calcium
• calcoo
• cantor
• casadi
• cbc
• cblas
• ccmath
• cddlib
• ceres-solver
• cgal
• cgl-conic
• cgl
• cglm
• chaco
• chryzodus
• chuffed
• cimod
• clasp
• clblas
• clblast
• clfft
• clingcon
• clingo
• cliquer
• cln
• cloog
• clp
• clrng
• cm
• cmh
• cminpack
• cmlib
• cocoalib
• coin-or-data-netlib
• coin-or-data-sample
• coin-or-data-stochastic
• coin-or-metis
• coin-or-mumps
• coinmp
• coinutils
• colpack
• combblas
• conauto
• concorde
• convertall
• coq
• cosma
• costa
• couenne
• coxeter3
• cppad
• creme
• crlibm
• cryptominisat
• csdp
• ctl-sat
• cudd
• curv
• cvc3
• cvc4
• dbcsr
• deal.ii
• dieharder
• dionysus
• disco
• djbfft
• drgeo
• dsdp
• dune-alugrid
• dune-common
• dune-curvedgeometry
• dune-fem
• dune-foamgrid
• dune-functions
• dune-geometry
• dune-grid-glue
• dune-grid
• dune-istl
• dune-localfunctions
• dune-metagrid
• dune-multidomaingrid
• dune-pdelab
• dune-polygongrid
• dune-spgrid
• dune-typetree
• dune-uggrid
• dune-vtk
• e-antic
• eclib
• ecos
• edenmath
• eigen3
• eispack
• elemental
• elementary-calculator
• elpa
• emc2
• ensmallen
• ent
• eprover
• ess
• eukleides
• eval
• exprtk
• facile
• faiss
• fann
• fastops
• fcl
• fcl05
• fenics-basix
• fflas-ffpack
• fftw-float
• fftw
• fftw3-float
• fftw3-long
• fftw3-quad
• fftw3
• flann
• flexfloat
• flint2
• flintqs
• flopc++
• form
• fparser
• fpc-fftw
• fpc-gmp
• fpc-numlib
• fplll
• freefem++
• fricas
• frobby
• fxt
• g2o
• galculator
• gambit
• gap
• gau2grid
• gecode
• gemmlowp
• geogebra
• geogram
• geonext
• gexpr
• gf2x
• gfan
• gfanlib
• ggobi
• gh-bc
• giacxcas
• gismo
• givaro
• gkmap
• glgraph
• glm
• glpk
• glucose
• gmm++
• gmp-ecm
• gmp
• gnome-calculator
• gnubc
• gnumeric
• gnuplot-lite
• gnuplot-tex-extras
• gnuplot
• gp2c
• grace
• graphthing
• gravity
• gretl
• gri
• grpn
• gsl
• half
• hexcalc
• heyoka
• highs
• hmat-oss
• hpcombi
• hpipm
• hptt
• hs-Agda
• hs-penrose
• hs-syfco
• hsl
• ideep
• ignition-math
• igraph
• iml
• intx
• ipopt
• ised
• jacal
• jacop
• jags
• jama
• jeuclid
• jlatexmath
• jsmath-fonts
• jtransforms
• jts
• kahip
• kalgebra
• kalker
• kamis
• kbruch
• kcalc
• kfr
• kig
• kktdirect
• kmplot
• labplot
• lambda
• lapack++
• lapack
• lapack95
• lapacke
• lapackpp
• laspack
• latte-integrale
• lcalc
• ldouble
• lean
• lemon
• levmar
• lib2geom
• libRmath
• libbraiding
• libccd
• libdivide
• libfixmath
• libflame
• libhomfly
• libmesh
• libmissing
• libnormaliz
• libocas
• liborigin
• libpgmath
• libpoly
• libqalculate
• libranlip
• librdata
• librsb
• libsemigroups
• libsharp2
• libtommath
• libxls
• libxlsxwriter
• libxsmm
• lidia
• linbox
• linpack
• lis
• lll_spect
• lp_solve
• lrcalc
• lrng
• lrslib
• ltl2ba
• m4ri
• m4rie
• mate-calc
• math77
• mathgl
• mathicsscript
• mathlibtools
• mathmod
• mathomatic
• matio
• matlab-installer
• maxima
• mbasecalc
• mcsim
• mdal
• mesquite
• metis
• mfem
• mingw32-libgmp
• minisat
• minizinc-ide
• minizinc-solvers
• minizinc
• minorminer
• miracl
• mlpack
• moab
• moo
• mpc
• mpdecimal
• mpexpr
• mpfi
• mpfr
• mpfrc++
• mpfrcx
• mpir
• mppp
• mprime
• mpsolve
• mtrxmath
• multichoose
• mumps
• mumps4
• munkres-cpp
• muparser
• muparserx
• nanoflann
• nauty
• ndiff
• newmat
• nfft
• ngraph
• nlopt
• ntl
• ntpoly
• numdiff
• obake
• ocaml-num
• ocaml-ocamlgraph
• ocaml-zarith
• ocamlgsl
• octave-forge-actuarial
• octave-forge-audio
• octave-forge-automatic-differentiation
• octave-forge-base
• octave-forge-bim
• octave-forge-bioinfo
• octave-forge-biosig
• octave-forge-bsltl
• octave-forge-cfitsio
• octave-forge-cgi
• octave-forge-civil-engineering
• octave-forge-coder
• octave-forge-communications
• octave-forge-control
• octave-forge-csg-toolkit
• octave-forge-data-smoothing
• octave-forge-database
• octave-forge-dataframe
• octave-forge-dicom
• octave-forge-divand
• octave-forge-doctest
• octave-forge-econometrics
• octave-forge-fda
• octave-forge-femoctave
• octave-forge-fenv
• octave-forge-financial
• octave-forge-fits
• octave-forge-fpl
• octave-forge-fuzzy-logic-toolkit
• octave-forge-ga
• octave-forge-general
• octave-forge-generate_html
• octave-forge-geographiclib
• octave-forge-geometry
• octave-forge-gnuplot
• octave-forge-gsl
• octave-forge-ident
• octave-forge-image
• octave-forge-informationtheory
• octave-forge-integration
• octave-forge-internal-fluid-flow
• octave-forge-interval
• octave-forge-io
• octave-forge-irsa
• octave-forge-level-set
• octave-forge-linear-algebra
• octave-forge-lssa
• octave-forge-ltfat
• octave-forge-mapping
• octave-forge-matgeom
• octave-forge-mccabe-thiele
• octave-forge-mechanics
• octave-forge-miscellaneous
• octave-forge-missing-functions
• octave-forge-mpi
• octave-forge-mqtt
• octave-forge-msh
• octave-forge-multicore
• octave-forge-mvn
• octave-forge-nan
• octave-forge-ncarray
• octave-forge-netcdf
• octave-forge-nlwing2
• octave-forge-nnet
• octave-forge-nurbs
• octave-forge-oct2mat
• octave-forge-octclip
• octave-forge-octproj
• octave-forge-odebvp
• octave-forge-onsas
• octave-forge-optics
• octave-forge-optim
• octave-forge-optiminterp
• octave-forge-outliers
• octave-forge-parallel
• octave-forge-pde1dm
• octave-forge-plot
• octave-forge-ponchon-savarit
• octave-forge-pythonic
• octave-forge-quaternion
• octave-forge-queueing
• octave-forge-secs1d
• octave-forge-secs2d
• octave-forge-secs3d
• octave-forge-signal
• octave-forge-simp
• octave-forge-sockets
• octave-forge-sole
• octave-forge-sparsersb
• octave-forge-specfun
• octave-forge-special-matrix
• octave-forge-splines
• octave-forge-sqlite
• octave-forge-statistics-bootstrap
• octave-forge-statistics
• octave-forge-stk
• octave-forge-strings
• octave-forge-struct
• octave-forge-symband
• octave-forge-symbolic
• octave-forge-tcl-octave
• octave-forge-tsa
• octave-forge-video
• octave-forge-websockets
• octave-forge-zenity
• octave-forge-zeromq
• octave-forge
• octave
• octomap
• ogdf
• oink
• oleo
• onednn
• openblas
• openfst
• openlibm
• openmesh
• opensolaris-libm
• openturns
• optpp
• or-tools
• orpie
• osi-conic
• osi
• osiipopt
• osqp
• p5-AI-DecisionTree
• p5-AI-Genetic
• p5-AI-NeuralNet-BackProp
• p5-AI-Perceptron
• p5-Algorithm-Combinatorics
• p5-Algorithm-CurveFit
• p5-Algorithm-Munkres
• p5-Alien-GSL
• p5-Bit-ShiftReg
• p5-Bit-Vector-Minimal
• p5-Bit-Vector
• p5-CAD-Calc
• p5-Chart-Math-Axis
• p5-Data-Float
• p5-Date-Handler
• p5-GIS-Distance-Fast
• p5-GIS-Distance-Lite
• p5-GIS-Distance
• p5-Geo-Coordinates-UTM
• p5-Geo-Distance-XS
• p5-Geo-Distance
• p5-Graph
• p5-Math-Algebra-Symbols
• p5-Math-Base36
• p5-Math-Base85
• p5-Math-BaseCalc
• p5-Math-BaseCnv
• p5-Math-Bezier-Convert
• p5-Math-Bezier
• p5-Math-BigInt-FastCalc
• p5-Math-BigInt-GMP
• p5-Math-BigInt-Lite
• p5-Math-BigInt-Pari
• p5-Math-BigInt
• p5-Math-BigRat
• p5-Math-CDF
• p5-Math-Calc-Units
• p5-Math-Cephes
• p5-Math-Combinatorics
• p5-Math-Complex
• p5-Math-ConvexHull
• p5-Math-Currency
• p5-Math-Derivative
• p5-Math-Evol
• p5-Math-Expr
• p5-Math-FFT
• p5-Math-FixedPrecision
• p5-Math-Fleximal
• p5-Math-GMP
• p5-Math-GMPf
• p5-Math-GMPq
• p5-Math-GMPz
• p5-Math-GSL
• p5-Math-Geometry-Planar-GPC-PolygonXS
• p5-Math-Geometry-Planar-GPC
• p5-Math-Geometry-Planar-Offset
• p5-Math-Geometry-Planar
• p5-Math-Geometry-Voronoi
• p5-Math-Geometry
• p5-Math-Gradient
• p5-Math-Int128
• p5-Math-Int64
• p5-Math-Interpolate
• p5-Math-Intersection-StraightLine
• p5-Math-Logic
• p5-Math-MPC
• p5-Math-MPFR
• p5-Math-Matrix
• p5-Math-MatrixReal
• p5-Math-NumberCruncher
• p5-Math-Pari
• p5-Math-Polygon-Tree
• p5-Math-Polygon
• p5-Math-Polynomial-Solve
• p5-Math-Prime-Util-GMP
• p5-Math-Prime-Util
• p5-Math-Prime-XS
• p5-Math-ProvablePrime
• p5-Math-RPN
• p5-Math-Random-ISAAC-XS
• p5-Math-Random-ISAAC
• p5-Math-Random-MT-Auto
• p5-Math-Random-MT
• p5-Math-Random-OO
• p5-Math-Random-Secure
• p5-Math-Random
• p5-Math-RandomOrg
• p5-Math-Round-Var
• p5-Math-Round
• p5-Math-Sequence
• p5-Math-Series
• p5-Math-SigFigs
• p5-Math-SimpleVariable
• p5-Math-Spline
• p5-Math-String
• p5-Math-Symbolic-Custom-CCompiler
• p5-Math-Symbolic-Custom-Contains
• p5-Math-Symbolic-Custom-ErrorPropagation
• p5-Math-Symbolic-Custom-LaTeXDumper
• p5-Math-Symbolic-Custom-Pattern
• p5-Math-Symbolic-Custom-Simplification
• p5-Math-Symbolic-Custom-Transformation
• p5-Math-Symbolic
• p5-Math-SymbolicX-BigNum
• p5-Math-SymbolicX-Complex
• p5-Math-SymbolicX-Error
• p5-Math-SymbolicX-Inline
• p5-Math-SymbolicX-NoSimplification
• p5-Math-SymbolicX-ParserExtensionFactory
• p5-Math-SymbolicX-Statistics-Distributions
• p5-Math-TrulyRandom
• p5-Math-Units
• p5-Math-Utils
• p5-Math-Vec
• p5-Math-VecStat
• p5-Math-VectorReal
• p5-NetCDF
• p5-Number-Compare
• p5-Number-Fraction
• p5-Number-Misc
• p5-Number-Uncertainty
• p5-Number-WithError-LaTeX
• p5-Number-WithError
• p5-Parse-Range
• p5-Roman
• p5-Set-IntSpan-Fast-XS
• p5-Set-IntSpan-Fast
• p5-Set-IntSpan
• p5-Set-Partition
• p5-Set-Window
• p5-Statistics-Basic
• p5-Statistics-Benford
• p5-Statistics-CaseResampling
• p5-Statistics-ChiSquare
• p5-Statistics-Contingency
• p5-Statistics-Descriptive-Discrete
• p5-Statistics-Descriptive
• p5-Statistics-Distributions
• p5-Statistics-Forecast
• p5-Statistics-Frequency
• p5-Statistics-LTU
• p5-Statistics-LineFit
• p5-Statistics-Lite
• p5-Statistics-OLS
• p5-Statistics-R
• p5-Statistics-Regression
• p5-Statistics-TTest
• p5-Task-Math-Symbolic
• p5-Text-AsciiTeX
• p5-bignum
• palp
• pari
• pari_elldata
• pari_galdata
• pari_galpol
• pari_nflistdata
• pari_nftables
• pari_seadata
• paritwine
• parmetis
• parmgridgen
• pdal
• pear-Math_BigInteger
• pear-Math_Combinatorics
• pecl-bitset
• pecl-stats2
• permlib
• petanque
• petiga
• pffft
• php74-bcmath
• php74-gmp
• php80-bcmath
• php80-gmp
• php81-bcmath
• php81-gmp
• php82-bcmath
• php82-gmp
• physcalc
• picosat
• piranha
• planarity
• plantri
• plman
• ploticus-nox11
• ploticus
• plplot
• poly2tri
• polylib
• polymake
• primecount
• primegen
• primesieve
• primme
• prng
• pspp
• psurface
• py-CyLP
• py-Diofant
• py-GridDataFormats
• py-MutatorMath
• py-PuLP
• py-PyMetis
• py-PySCIPOpt
• py-PyWavelets
• py-Pyomo
• py-affine
• py-algopy
• py-altgraph
• py-amply
• py-apgl
• py-arviz
• py-arybo
• py-autograd
• py-baycomp
• py-bayesian-optimization
• py-benford_py
• py-bitmath
• py-bitvector
• py-bottleneck
• py-brial
• py-chaospy
• py-claripy
• py-clingcon
• py-clingo
• py-cma
• py-cmaes
• py-cmyt
• py-colormath
• py-cryptominisat
• py-cvxopt
• py-cvxpy
• py-cyipopt
• py-cypari2
• py-deap
• py-dionysus
• py-docplex
• py-ducc0
• py-ecos
• py-evalidate
• py-faiss
• py-fastcluster
• py-fastdtw
• py-fenics-basix
• py-fenics-ffcx
• py-fenics-ufl
• py-flax
• py-fpylll
• py-fraction
• py-fvcore
• py-gau2grid
• py-gimmik
• py-gmpy
• py-gmpy2
• py-grandalf
• py-graphillion
• py-gym-notices
• py-gym
• py-hdbscan
• py-hdmedians
• py-heyoka
• py-iminuit
• py-intspan
• py-iohexperimenter
• py-ipyopt
• py-jax
• py-kahip
• py-keras-applications
• py-keras-preprocessing
• py-keras
• py-kiwisolver
• py-levmar
• py-libpoly
• py-lmfit
• py-luminol
• py-mathics-scanner
• py-mathics
• py-matplotlib-inline
• py-matplotlib-scalebar
• py-matplotlib
• py-matplotlib2
• py-minorminer
• py-mip
• py-mixsimulator
• py-moarchiving
• py-mpmath
• py-munkres
• py-munkres10
• py-ndindex
• py-networkx
• py-nevergrad
• py-nlopt
• py-numdifftools
• py-numexpr
• py-numpoly
• py-numpy-groupies
• py-numpy-stl
• py-numpy
• py-openTSNE
• py-opt-einsum
• py-optuna
• py-or-tools
• py-osqp
• py-pandas-datareader
• py-pandas
• py-patsy
• py-pdal
• py-permutation
• py-petsc4py
• py-piranha
• py-plastex
• py-point-annotator
• py-pplpy
• py-primecountpy
• py-primme
• py-pyFFTW
• py-pybloom
• py-pyclipper
• py-pycosat
• py-pygsl
• py-pygslodeiv2
• py-pyhull
• py-pymc3
• py-pynauty
• py-pyneqsys
• py-pynleq2
• py-pynndescent
• py-pyodeint
• py-pyodesys
• py-pyreadr
• py-pysmt
• py-pystan
• py-pysym
• py-pytanque
• py-python-fcl
• py-python-igraph
• py-python-louvain
• py-python-picard
• py-pytorchvideo
• py-pyvtk
• py-qdldl
• py-quadprog
• py-random2
• py-reals
• py-rectangle-packer
• py-roman
• py-rpy2
• py-rustworkx
• py-rvlib
• py-scikit-umfpack
• py-scs
• py-seaborn
• py-secp256k1
• py-seriate
• py-simhash
• py-snuggs
• py-spectral
• py-spglm
• py-spint
• py-splot
• py-spopt
• py-spot
• py-spreg
• py-spvcm
• py-ssm
• py-statsmodels
• py-svgmath
• py-sym
• py-symengine
• py-sympy
• py-theano
• py-timple
• py-topologic
• py-triangle
• py-umap-learn
• py-uncertainties
• py-unyt
• py-vincenty
• py-yt
• py-z3-solver
• pynac
• qalculate-gtk
• qalculate-qt
• qd
• qhull
• qhull7
• qposases
• qrupdate
• qtiplot-doc
• qwtplot3d
• randlib
• rankwidth
• rapid
• readstat
• reduce-psl
• reduce
• reed-solomon
• rehearse
• rexx-regmath
• rkward
• rngstreams
• rocs
• rpcalc
• rubiks
• rubygem-algebra
• rubygem-bigdecimal
• rubygem-enumerable-statistics
• rubygem-expression_parser
• rubygem-fftw3
• rubygem-mathn
• rubygem-matrix
• rubygem-mtrc
• rubygem-narray
• rubygem-narray_miss
• rubygem-numru-misc
• rubygem-numru-units
• rubygem-prime
• rubygem-rb-gsl
• rumur
• saga
• sage
• savage
• sc-im
• sc
• scalapack
• scalapackfx
• scilab-toolbox-swt
• scilab
• scs
• sdpa
• secp256k1
• sfft
• simd-viterbi
• singular
• sisl
• slatec
• sleef
• slgrace
• snns
• solitaire
• sound-of-sorting
• spar
• spblas
• spectra
• speedcrunch
• spfft
• spla
• spooles-mpich
• spooles
• spot
• sprng
• ssht
• stan
• stanmath
• stp
• suitesparse-amd
• suitesparse-btf
• suitesparse-camd
• suitesparse-ccolamd
• suitesparse-cholmod
• suitesparse-colamd
• suitesparse-config
• suitesparse-csparse
• suitesparse-cxsparse
• suitesparse-graphblas
• suitesparse-klu
• suitesparse-ldl
• suitesparse-mongoose
• suitesparse-rbio
• suitesparse-slip_lu
• suitesparse-spqr
• suitesparse-umfpack
• suitesparse
• sundials
• superlu-dist
• superlu
• symengine
• symmetrica
• symphony
• sympol
• sympow
• tablix
• taucs
• tblis
• testu01
• tetgen
• teyjus
• timbl
• tiny-bignum-c
• tlapack
• tmv
• tomsfastmath
• topaz
• topcom
• topologic
• triangle
• trlan
• trlib
• ttmath
• tvmet
• ump
• units
• universal
• unuran
• vampire
• viennacl
• vinci
• visualpolylib
• vowpal_wabbit
• vtk6
• vtk8
• vtk9
• wavelib
• wcalc
• wfmath
• wxmaxima
• xblas
• xfce4-calculator-plugin
• xgap
• xgraph
• xlapack
• xldlas
• xlife++
• xplot
• xspread
• xtensor-blas
• xtensor-io
• xtensor-python
• xtensor
• yacas
• yices
• z3
• zarray
• zegrapher
• zimpl
• zn_poly