math
Mathematics, statistics, and numerical tools
1,297 packages
This page covers 4ti2–dune-common. Search all 1,297 packages →
Browse the complete collection of 1,297 FreeBSD math packages available in the ports tree. Every package can be installed with a single pkg install command. The most popular packages in this category include py311-numpy, R, gmp. We have 1 guide covering math software on FreeBSD.
Most Popular
py311-numpy1.26.4_11,1The New Numeric Extension to Python549 rdepsR4.5.2Language for statistical computing and graphics496 rdepsgmp6.3.0Free library for arbitrary precision arithmetic348 rdepsopenblas0.3.30,2Optimized BLAS library based on GotoBLAS2149 rdepsfftw33.3.10_5Fast C routines to compute the Discrete Fourier Transform135 rdeps
All Packages
150 results
4ti21.6.13
Solve algebraic, geometric, combinatorial problems on linear spaces1 rdepsaamath0.3_5
Renders ASCII art from mathematical expressionsabella2.0.8_2
Interactive theorem proverabs0908_4
Free spreadsheet with graphical user interfaceacalc0.3
Simple and pretty Qt5-based expression calculatoradd20250914
Full-screen editing calculatoradept2.1.1_4
Combined array and automatic differentiation library in C++adol-c2.7.2_13
Automatic differentiation libraryalberta-fem3.0.3_1
Adaptive multi-level finite element toolbox3 rdepsalgae4.3.6_20
Programming language for numerical analysisalglib4.06.0
Numerical analysis and data processing library2 rdepsalt-ergo2.5.4_2
Automatic solver of mathematical formulas for program verificationamath1.8.5_1
Simple command line calculatorambit-tensor0.7.1_3
C++ library for tensor product calculations1 rdepsamgcl1.4.5
C++ header-only library for solving large sparse linear systemsanalitza25.12.1
Library from KDE Education project2 rdepsann1.1.2_1
Library for Approximate Nearest Neighbor Searchingannoy1.17.3
Approximate Nearest Neighbors in C++antic0.2.5_1,1
Algebraic Number Theory In C2 rdepsapache-commons-math3.6.1_3
Java library of self-contained mathematics and statistics components3 rdepsapc1.0_9
Xforms based Auto Payment Calculatorapron0.9.15
APRON numerical abstract domain library1 rdepsarb2.23.0_1
C library for arbitrary-precision interval arithmetic6 rdepsarborx1.7_1
Performance-portable geometric search libraryaribas1.64_1
Interpreter for big integer/multi-precision floating point arithmeticarmadillo15.2.3
C++ linear algebra library3 rdepsarpack-ng3.9.1_4
Revised Argand library for solving large-scale eigenvalue problems11 rdepsarpack++2.4.0_13
Object-oriented version of the ARPACK package1 rdepsascent-simulation-engine0.7.1
C++ simulation engine and differential equation solverasymptote2.92_5
Powerful script-based vector graphics language1 rdepsaudi1.9.2.1_1
Header only C++ library implementing the algebra of Taylor polynomialsbarvinok0.41.8
Library for counting the number of integer points in polytopes1 rdepsbasic-stats0.1.2.8_1
Command-line tool to perform basic statistics on tabular databcal2.4
Storage expression, unit conversion & address offset CLI calculatorbitwise0.50_1
Terminal-based bit manipulator in cursesbitwuzla0.8.2
SMT solver for the theories of fixed-size bit-vectorsblacs1.7_41
BLACS (Basic Linear Algebra Communication Subprograms)blahtexml1.0_1
TeX to MathML converter designed with MediaWiki in mindblas3.12.1
Basic Linear Algebra Subroutines104 rdepsblasfeo0.1.4.2
Basic Linear Algebra Subroutines For Embedded Optimization2 rdepsblaspp2022.05.00_4
C++ API for the Basic Linear Algebra Subroutinesblaze3.8_5
C++ math library for dense and sparse arithmetic1 rdepsblazeiterativeg20180409_13
Set of iterative linear system solvers for use with the Blaze libraryblis2.0
Software framework for high-performance BLAS-like libraries7 rdepsbliss-graph-tool0.73_1
Tool for computing automorphism groups and canonical forms of graphs1 rdepsblocksolve953.0_32
Software for the efficient solution of large, sparse linear systemsboolector3.2.4_1
Satisfiability Modulo Theories (SMT) solverBRiAl1.2.12_3
Library for polynomials over boolean rings1 rdepsbsdnt1.0_1
Bignum Librarybtor2toolsg20320816
Generic parser and tool package for the BTOR2 format1 rdepscadabra22.5.8_5
Computer algebra system for solving field theory problemscadibackg20240729_1
CaDiBack BackBone Extractorcadical2.1.3_1
Simple CDCL satisfiability solver5 rdepscado-nfs2.3.0.20240408_2
Implementation of the Number Field Sieve Algorithmcalc2.16.1.2
Interactive CLI arbitrary-precision calculator1 rdepscalc-tiny2.16.1.2
Interactive CLI arbitrary-precision calculatorcalcium0.4.1_1
Exact real and complex numbers in Ccalcoo1.3.18_9
RPN and algebraic scientific calculatorcantor25.12.1
Mathematical software frontend by KDE2 rdepscasadi3.7.0
Symbolic framework for numeric optimizationcblas3.12.1
Reference implementation of the C interface to the legacy Fortran BLAS7 rdepsccmath2.2.1_3
Mathematics library with many different functionscddlib0.94m
C-library implementation of the Double Description Method6 rdepsceres-solver2.2.0_14
Nonlinear least squares minimizer5 rdepscgal5.6.2_4
Computational geometry librarycglm0.9.6
Highly optimized graphics math (glm) for C1 rdepschaco2.2
Software for partitioning graphschryzodus0.32_4
Chryzode (http//www.chryzode.org) explorerchuffed0.13.2
Lazy clause generation CP solver for MiniZinc1 rdepscimod1.7.3
C++ header-only library for a binary quadratic modelsclad2.2
Automatic differentiation for C/C++clasp3.3.9
Answer set solver for (extended) normal logic programsclblas2.12_3
Software library containing BLAS functions written in OpenCL1 rdepsclblast1.6.3
Modern, lightweight, performant and tunable OpenCL BLAS libraryclfft2.12.2_1
Software library containing FFT functions written in OpenCLclingcon5.2.1
Extension of clingo to handle constraints over integersclingo5.7.1
Grounder and solver for logic programs1 rdepscliquer1.22
Routines for clique searching2 rdepscln1.3.7_1
Class Library for Numbers3 rdepscloog0.21.1
Code generator in the polyhedral modelclrng1.0.0.b_3
Library for uniform random number generation in OpenCLcm0.4.4
Library for ring class fields of imaginary quadratic number fieldscmh1.1.1_4
Compute Igusa class polynomials1 rdepscminpack1.3.11_1
Solving nonlinear equations and nonlinear least squares problems1 rdepscmlib3.0_9
NIST Core math library (CMLIB)cocoalib0.99800_1
C++ library for doing Computations in Commutative Algebracoin-or-alps2.0.2_5
Abstract Library for Parallel Search (ALPS)2 rdepscoin-or-asl2.1.0
COIN-OR autotools harness to build AMPL Solver Library18 rdepscoin-or-bcps0.99.2_5
Branch, Constrain, and Price Software (BiCePS)1 rdepscoin-or-bonmin1.8.9_7
Basic Open-source Nonlinear Mixed INteger programming5 rdepscoin-or-cbc2.10.12_1
Coin-or Branch and Cut: mixed integer programming solver18 rdepscoin-or-cgl0.60.9_2
Collection of cut generators for COIN-OR packages that use cuts18 rdepscoin-or-cgl-conic1.0.0.6_8
Strategies for conic problems for COIN-OR Cut Generation1 rdepscoin-or-Clp1.17.9_2
Linear Programming Solver21 rdepscoin-or-CoinUtils2.11.12_1
Utilities for COIN-OR project26 rdepscoin-or-couenne0.5.8_16
Convex Over and Under Envelopes for NonliNear Estimation1 rdepscoin-or-cppad20250000.1
C++ Algorithmic Differentiation packagecoin-or-cremeg20210114
Randomized thermal relaxation method for MaxFS problemscoin-or-csdp6.2.0_3
Solver for semidefinite programming problemscoin-or-Data-Netlib1.2.11
COIN-OR netlib models3 rdepscoin-or-Data-Sample1.2.13
COIN-OR data samples3 rdepscoin-or-Data-Stochastic1.1.7
COIN-OR stochastic modelscoin-or-disco1.0.0.33_11
Discrete Conic Optimization Solvercoin-or-flopc++1.2.5.20200527_1
Library for solving Linear Optimization Problems in C++coin-or-gravity1.1.20220309_7
Mathematical modeling for optimization and machine learningcoin-or-highs1.12.0
Solver for large scale sparse linear programming (LP) problems1 rdepscoin-or-hsl2.2.5
COIN-OR autotools harness to build HSL linear solverscoin-or-lemon1.3.1_4
Library for Efficient Modeling and Optimization in Networks2 rdepscoin-or-metis1.3.10_3
COIN-OR autotools harness to build Metis2 rdepscoin-or-mumps3.0.3_4
COIN-OR autotools harness to build Mumps13 rdepscoin-or-Osi0.108.11_1
COIN-OR Open Solver Interface, an API for calling solver libraries24 rdepscoin-or-osi-conic1.0.0_4
Conic problem solver interface extending OSI to conic problems3 rdepscoin-or-osiipopt0.1.8_7
Conic solver interface for Ipopt2 rdepscoin-or-qpOASES3.2.2
Library for online active set strategy quadratic programming problemscoin-or-rehearseg20190305_1
Algebraic modeling library in C++ for linear optimization solverscoin-or-symphony5.7.3
Solver and development framework for mixed-integer linear programsCoinMP1.8.4_14
Optimization library with support for COIN-OR CLP, CBC, and CGL2 rdepscolpack1.0.10.249_1
Graph Coloring Algorithm PackageCombBLAS2.0.0_2
Combinatorial BLAS library: an extensible parallel graph libraryconauto2.03
Program for graph isomorphism testing & automorphism group computationconcorde20031219
Combinatorial Optimization packageconvertall0.8.0_8
Another unit convertercoq8.20.1_2,3
Theorem prover based on lambda-Ccoq-emacs_canna8.20.1_2,3
Theorem prover based on lambda-Ccoq-emacs_devel8.20.1_2,3
Theorem prover based on lambda-Ccoq-emacs_devel_nox8.20.1_2,3
Theorem prover based on lambda-Ccoq-emacs_nox8.20.1_2,3
Theorem prover based on lambda-Ccoq-emacs_wayland8.20.1_2,3
Theorem prover based on lambda-Ccosma2.6.2_5
Distributed communication-optimal matrix multiplication algorithmcosta2.2.2_3
Distributed Communication-Optimal Shuffle and Transpose Algorithm1 rdepscoxeter3.1.20210124
Library for the study of combinatorial aspects of Coxeter group theorycrlibm1.0.b4_2
Correctly-rounded mathematics librarycryptominisat5.11.21_6
General-purpose award-winning SAT solver6 rdepsctl-satg20200210
CTL (Computation Tree Logic) SAT solvercudd3.0.0
Package for the manipulation of Binary Decision Diagrams (BDDs), etc1 rdepscurv0.5_29
Language for making art using mathematicscvc51.3.2
Automatic theorem prover for SMT (Satisfiability Modulo Theories)1 rdepsdbcsr2.8.0_1
Distributed Block Compressed Sparse Row matrix library1 rdepsddfun03
Double-double package with special functionsdeal.II9.6.2_10
Finite element Differential Equations Analysis Library (DEAL)1 rdepsdgl1.1.2
Deep Graph Library1 rdepsdieharder3.31.1_10
Random number generator testsuitedihydrogen0.2.1.36_7
Dense and sparse linear algebra, conic optimization, lattice reductiondionysus-topology-libraryg20210521_1
Library for computing persistent homologydqfun03
Double-quad precision package with special functionsdrgeo1.1.0_27
GTK interactive geometry softwaredsdp5.8_8
Implementation of interior-point method for semidefinite programming1 rdepsdSFMT2.2.5_1
Double precision SIMD-oriented Fast Mersenne Twister1 rdepsdune-alugrid2.8.0_13
DUNE framework: grid implementation providing simplex or cube grids3 rdepsdune-common2.8.0_17
DUNE framework: Build system, infrastructure and foundation classes16 rdeps