×

Found 112 Software Packages (Results 1–100)

gmp

Software Authors:   Granlund
Referenced in: 271 Publications (1995–2022)
Related Software: MPFR; NTL; PARI/GP; SageMath; Magma; Mathematica; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

MPFR

Software Authors:   Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny, Paul Zimmermann
Referenced in: 226 Publications (2001–2022)
Related Software: gmp; Mathematica; mctoolbox; SageMath; Matlab; ARPREC; …
Main Fields: Number theory (11-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

mpmath

Software Authors:   Fredrik Johansson
Referenced in: 55 Publications (2010–2022)
Related Software: SageMath; Mathematica; SciPy; SymPy; DLMF; Python; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX)

Arb

Software Authors:   Fredrik Johansson
Referenced in: 50 Publications (2015–2022)
Related Software: DLMF; SageMath; PARI/GP; Mathematica; Julia; MPFR; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Partial differential equations (35-XX)

ARPREC

Software Authors:   Bailey, David H.; Yozo, Hida; Li, Xiaoye S.; Thompson, Brandon
Referenced in: 55 Publications (2005–2019)
Related Software: MPFR; gmp; DLMF; Maple; PARI/GP; XBLAS; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX)

LiDIA

Software Authors:   Biehl, Ingrid; Buchmann, Johannes; Papanikolaou, Thomas
Referenced in: 51 Publications (1995–2021)
Related Software: NTL; PARI/GP; MAPC; ECPP; GC; PRECISE; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

alphaCertified

Software Authors:   Jonathan D. Hauenstein; Frank Sottile
Referenced in: 49 Publications (2011–2022)
Related Software: Bertini; PHCpack; Macaulay2; HOM4PS; NumericalAlgebraicGeometry; SINGULAR; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

ACRITH-XSC

Software Authors:   Walter, Wolfgang V.
Referenced in: 48 Publications (1985–2019)
Related Software: C-XSC; C-XSC 2.0; PASCAL-XSC; INTLIB; INTLAB; FORTRAN-SC; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CADNA

Software Authors:   Fabienne Jézéquel, Jean-Marie Chesneaux
Referenced in: 46 Publications (1993–2022)
Related Software: mctoolbox; INTLAB; MPFR; SAM; filib++; TELEMAC; …
Main Fields: Ordinary differential equations (34-XX); Approximations and expansions (41-XX); Integral equations (45-XX)

Miniball

Software Authors:   Fischer, Kaspar; Gärtner, Bernd; Aditya Gupta; Alexandros Konstantinakis-Karmis
Referenced in: 43 Publications (2001–2021)
Related Software: SDPT3; SeDuMi; CGAL; gmp; Matlab; Hull; …
Main Fields: Approximations and expansions (41-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

MPFI

Software Authors:   Revol, Nathalie; Rouillier, Fabrice
Referenced in: 43 Publications (1979–2022)
Related Software: MPFR; ISOLATE; gmp; C-XSC 2.0; SageMath; PROFIL/BIAS; …
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Algorithm 719

Software Authors:   Bailey, D.H.
Referenced in: 41 Publications (1993–2017)
Related Software: Algorithm 693; Mathematica; mctoolbox; GSL; R; Algorithm 786; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)

QSopt_ex

Software Authors:   Daniel Espinoza, William Cook, Sanjeeb Dash, David Applegate, Kati Wolter
Referenced in: 25 Publications (2007–2020)
Related Software: QSopt-Exact; CPLEX; MIPLIB; SCIP; SoPlex; gmp; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

Algorithm 693

Software Authors:   Smith, David M.
Referenced in: 25 Publications (1991–2017)
Related Software: Algorithm 719; MPFR; Mathematica; Algorithm 524; Algorithm 786; gmp; …
Main Fields: Special functions (33-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

Flocq

Software Authors:   S Boldo; G Melquiond; inria.fr
Referenced in: 21 Publications (2011–2022)
Related Software: Coq; Why3; Gappa; HOL Light; z3; MPFR; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Partial differential equations (35-XX)

MACHAR

Software Authors:   Cody, W.J.
Referenced in: 22 Publications (1988–2018)
Related Software: Algorithm 528; LAPACK; EISPACK; SPECFUN; CELEFUNT; LINPACK; …
Main Fields: Special functions (33-XX); Numerical analysis (65-XX); Computer science (68-XX)

SIGMA_

Software Authors:   Aluffi-Pentini, Filippo; Parisi, Valerio; Zirilli, Francesco
Referenced in: 21 Publications (1988–2020)
Related Software: simannf90; Global Optimization Toolbox For Maple; OEIS; ve08; IMSL Numerical Libraries; LBFGS-B; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Gappa

Software Authors:   Guillaume Melquiond
Referenced in: 19 Publications (2009–2021)
Related Software: Coq; z3; ASTREE; PVS; Why3; Flocq; …
Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Partial differential equations (35-XX)

NGluon

Software Authors:   Badger, S.; Biedermann, B.; Uwer, P.
Referenced in: 17 Publications (2011–2020)
Related Software: CutTools; BlackHat; HELAC-1LOOP; SAMURAI; GoSam; FORM; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX)

Cephes

Software Authors:   S. L. Moshier
Referenced in: 16 Publications (1989–2019)
Related Software: DLMF; Mathematica; Matlab; R; vcd; TIMP; …
Main Fields: Real functions (26-XX); Special functions (33-XX); Approximations and expansions (41-XX)

QSopt-Exact

Software Authors:   David Applegate, William Cook, Sanjeeb Dash, Daniel Espinoza.
Referenced in: 17 Publications (2006–2020)
Related Software: QSopt_ex; CPLEX; SoPlex; gmp; MIPLIB; QSopt; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

ITER-REF

Software Authors:   Baboulin, Marc; Buttari, Alfredo; Dongarra, Jack; Kurzak, Jakub; Langou, Julie; Langou, Julien; Luszczek, Piotr; Tomov, Stanimire
Referenced in: 15 Publications (2009–2021)
Related Software: mctoolbox; LAPACK; CUDA; BLAS; QUDA; SELL_C_sigma; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

MPC

Software Authors:   Andreas Enge, Mickaël Gastineau, Philippe Théveny, Paul Zimmermann; INRIA Bordeaux-Sud-Ouest
Referenced in: 15 Publications (2003–2022)
Related Software: MPFR; gmp; ECPP; Arb; FLINT; na10; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Topological groups, Lie groups (22-XX)

RealLib

Software Authors:   Lambov, Branimir
Referenced in: 14 Publications (2006–2016)
Related Software: iRRAM; RZ; OCaml; MPFR; gmp; Mmxlib; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Measure and integration (28-XX)

cddplus

Software Authors:   Komei Fukuda
Referenced in: 13 Publications (2001–2021)
Related Software: cdd; polymake; PPL; Qhull; SageMath; Mathematica; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)

CholQR

Software Authors:   Yamazaki, Ichitaro; Tomov, Stanimire; Dongarra, Jack
Referenced in: 12 Publications (2015–2022)
Related Software: mctoolbox; CholeskyQR2; SparseMatrix; PETSc; BLAS; STRUMPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Algorithm 786

Software Authors:   Smith, David M.
Referenced in: 12 Publications (1998–2017)
Related Software: MPFR; Algorithm 693; gmp; Algorithm 524; Algorithm 719; Mathematica; …
Main Fields: Special functions (33-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

ARIBAS

Software Authors:   O. Forster
Referenced in: 9 Publications (1996–2018)
Related Software: PARI/GP; LiDIA
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Computer science (68-XX)

Rmpfr

Software Authors:   Martin Maechler
Referenced in: 11 Publications (2011–2020)
Related Software: R; Cubature; minpack.lm; expm; pracma; polynom; …
Main Fields: Special functions (33-XX); Statistics (62-XX); Numerical analysis (65-XX)

VSDP

Software Authors:   V. Härter; C. Jansson; M. Lange
Referenced in: 12 Publications (2009–2019)
Related Software: Mosek; SeDuMi; YALMIP; SDPT3; SDPA; CSDP; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ESOLID

Software Authors:   Keyser, J., Culver, T., Foskey, M., Krishnan, S., Manocha, D.
Referenced in: 10 Publications (2005–2018)
Related Software: MAPC; EXACUS; LEDA; ISOLATE; CGAL; STL; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

FIST

Software Authors:   Held, M.
Referenced in: 10 Publications (2001–2018)
Related Software: Triangle; Matlab; SegMatch; Algorithm 872; Moca; Powercrust; …
Main Fields: Approximations and expansions (41-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

exflib

Software Authors:   FUJIWARA,Hiroshi
Referenced in: 8 Publications (2009–2020)
Related Software: Matlab; MPACK; gmp; MPFR; XBLAS; INTLAB; …
Main Fields: Partial differential equations (35-XX); Geometry (51-XX); Numerical analysis (65-XX)

Fermi-Dirac

Software Authors:   MacLeod, Allan J.
Referenced in: 8 Publications (1998–2020)
Related Software: DLMF; Mathematica; Algorithm 745; QUADPACK; Sentaurus Device; ddfermi; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CalCS

Software Authors:   Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L.
Referenced in: 8 Publications (2013–2019)
Related Software: dReal; z3; dReach; Yices; SMT-RAT; SMT-LIB; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

CUMODP

Software Authors:   Sardar Anisul Haque, Xin Li, Farnam Mansouri, Marc Moreno Maza, Wei Pan, Ning Xie
Referenced in: 8 Publications (2006–2018)
Related Software: Maple; Magma; RegularChains; AXIOM; modpn; CUDA; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

Algorithm 814

Software Authors:   Smith, David M.
Referenced in: 7 Publications (2001–2022)
Related Software: mctoolbox; Algorithm 719; Algorithm 693; Algorithm 786; Algorithm 524; Mathematica; …
Main Fields: Special functions (33-XX); Statistics (62-XX); Numerical analysis (65-XX)

CoStLy

Software Authors:   Neher, Markus
Referenced in: 6 Publications (2004–2018)
Related Software: INTLAB; C-XSC 2.0; filib++; Matlab; mpcheck; Algorithm 272; …
Main Fields: General and overarching topics; collections (00-XX); Functions of a complex variable (30-XX); Dynamical systems and ergodic theory (37-XX)

Matlab-RBF-Toolbox

Software Authors:   Sarra, S.A.
Referenced in: 6 Publications (2017–2020)
Related Software: Matlab; rbf_qr; RBFT; GaussQR; advanpix; FELICITY; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Global analysis, analysis on manifolds (58-XX)

doubledouble

Software Authors:   K. Briggs
Referenced in: 6 Publications (2002–2020)
Related Software: Algorithm 908; QD; SOFTSUSY; TARCER; FeynHiggs; INTLAB; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

GALATICS

Software Authors:   G. Barthe, S. Belaïd, T. Espitau, P.-A. Fouque, M. Rossi, M. Tibouchi
Referenced in: 0 Publications
Related Software: FACCT; BLISS; strongSwan; Falcon; SEAL; Ziggurat; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

logsumexp-softmax-tests

Software Authors:   Blanchard, Pierre; Higham, Desmond J.; Higham, Nicholas J.
Referenced in: 6 Publications (2021–2022)
Related Software: SciPy; trlib; FFC; UFC; UFL; GQTPAR; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Algorithm 722

Software Authors:   Cody, W.J.; Coonen, Jerome T.
Referenced in: 5 Publications (1993–2017)
Related Software: MACHAR; INTLIB; FloPoCo; CR-LIBM; PolyLib; Sollya; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Special functions (33-XX)

CAMPARY

Software Authors:   Mioara Joldes; Jean-Michel Muller; Valentina Popescu; Warwick Tucker
Referenced in: 5 Publications (2016–2020)
Related Software: MPFR; CUDA; Flocq; Coq; CHEXVIS; 3D Alpha Shapes; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

GNU Fortran

Software Authors:   –
Referenced in: 5 Publications (1999–2019)
Related Software: BLAS; SimpleScalar; PROFIL/BIAS; ACRITH-XSC
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Ordinary differential equations (34-XX)

SoftFloat

Software Authors:   Hauser, J.
Referenced in: 3 Publications (2002–2019)
Related Software: INTLAB; MPFR; FloatX; LaTeX; Ginkgo; ESSL; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

xrc

Software Authors:   Keith Briggs
Referenced in: 5 Publications (2004–2007)
Related Software: Python; iRRAM; PNM; LBNL; RealLib; NTL
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Numerical analysis (65-XX)

BNCpack

Software Authors:   Kouya, Tomonori
Referenced in: 4 Publications (2004–2016)
Related Software: gmp; MPFR; LAPACK; ATLAS
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

CADAC

Software Authors:   Cohen, Marty S.; Hull, T.E.; Hamacher, V.Carl
Referenced in: 4 Publications (1983–2017)
Related Software: VPI; C-XSC; decNumber; dfp; PROFIL/BIAS; INTLIB; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

CALYPSO

Software Authors:   Cesari, Giovanni
Referenced in: 4 Publications (1997–2009)
Related Software:
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

Cork

Software Authors:   Gilbert Bernstein
Referenced in: 3 Publications (2016–2018)
Related Software: CGAL; GitHub; LAPACK; BrainSuite; FreeSurfer; Brain2Mesh; …
Main Fields: Numerical analysis (65-XX)

GAIA

Software Authors:   Dokken, Tor
Referenced in: 4 Publications (2005–2009)
Related Software: Axel; MULTIRES
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

VIPR

Software Authors:   Kevin K.H. Cheung, Ambros Gleixner, Daniel E. Steffy
Referenced in: 3 Publications (2017–2021)
Related Software: SCIP; DRAT-trim; MIPLIB; CPLEX; HOL Light; QSopt_ex; …
Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)

DSI Toolbox

Software Authors:   Auer E, Luther W, Rebner G, Limbourg P
Referenced in: 2 Publications (2012–2013)
Related Software: INTLAB; Matlab; symrcm; FastPILSS; MatrixMarket; BLAS; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

FloatingPointConversion

Software Authors:   Malgorzata A. Jankowska
Referenced in: 2 Publications (2013–2018)
Related Software:
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

FLOPS

Software Authors:   Qian, H.
Referenced in: 3 Publications (2018–2020)
Related Software: PolyMesher; METIS
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

IntervalArithmetic.jl

Software Authors:   Sanders, D. P., Benet, L.
Referenced in: 2 Publications (2019–2021)
Related Software: Julia; ArbFloats.jl; TaylorIntegration.jl; MPFR; TaylorModels.jl; TaylorSeries.jl; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

KSVD

Software Authors:   Sukkari, Dalal; Ltaief, Hatem; Esposito, Aniello; Keyes, David
Referenced in: 3 Publications (2019–2022)
Related Software: LibSci; ScaLAPACK; LAPACK; mftoolbox; KBLAS; MAGMA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

PolyPaver

Software Authors:   Michal Konečný, Jan Duracz
Referenced in: 3 Publications (2014–2018)
Related Software: CkAnalytic; Taylor; CAPD; dcc; INTLAB; Why3; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

PVSio

Software Authors:   César Muñoz
Referenced in: 3 Publications (2007–2015)
Related Software: PVS; Coq; dReal; Gappa; RealPaver; MetiTarski; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SONOLAR

Software Authors:   Lapschies, F., Peleska, J., Gorbachuk, E., Mangels
Referenced in: 3 Publications (2014–2018)
Related Software: ASTREE; MathSAT5; HOL Light; z3; XSat; UppSAT; …
Main Fields: Computer science (68-XX)

UCBTEST

Software Authors:   HOUGH, D.
Referenced in: 3 Publications (2001–2017)
Related Software: Algorithm 693; MPFR; mpcheck; Algorithm 272; LLRANDOM; Algorithm 304; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Caravel

Software Authors:   S. Abreu, J. Dormans, F. Febres Cordero, H. Ita, M. Kraus, B. Page, E. Pascual, M. S. Ruf, V. Sotnikov
Referenced in: 2 Publications (2020–2021)
Related Software: FiniteFlow; DiffExp; pySecDec; FORM; HIGLU; MultivariateApart; …
Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

decNumber

Software Authors:   Mike Cowlishaw
Referenced in: 2 Publications (2017)
Related Software: mpcheck; Algorithm 272; LLRANDOM; Algorithm 304; Algorithm 542; Algorithm 236; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

DiMEPACK

Software Authors:   Kowarschik, M.; Weiß, C.
Referenced in: 2 Publications (2006)
Related Software: MpCCI; Cachegrind
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

FDLIBM

Software Authors:   –
Referenced in: 2 Publications (2007–2012)
Related Software: OEIS; MPIR; MPFR; SageMath; PARI/GP; gmp; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX)

FloPoCo

Software Authors:   F. de Dinechin, B. Pasca
Referenced in: 2 Publications (2016–2019)
Related Software: AddressSanitizer; YALES2; mctoolbox; Algorithm 722; CR-LIBM; PolyLib; …
Main Fields: Real functions (26-XX); Special functions (33-XX); Numerical analysis (65-XX)

gmpy2

Software Authors:   Horsen CV
Referenced in: 2 Publications (2015–2018)
Related Software: gmp
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

HEAAN

Software Authors:   CryptoLab inc; Cheon, J.H., Kim, A., Kim, M., Song, Y.
Referenced in: 2 Publications (2018–2021)
Related Software: HElib; POSEIDON; Lattigo; SEAL; go; HEALER; …
Main Fields: Information and communication theory, circuits (94-XX)

Kilbas Saigo

Software Authors:   Richard Magin
Referenced in: 2 Publications (2014–2020)
Related Software: Matlab; NFOC; DFOC; mlf; DLMF
Main Fields: Special functions (33-XX); Ordinary differential equations (34-XX)

linalg

Software Authors:   Philippe Trebuchet
Referenced in: 2 Publications (2012–2018)
Related Software: DEtools; Maple; BLACS; MTL4; TELEMAC; CLAPACK; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX)

MPFRCPP

Software Authors:   Beshenov, A.
Referenced in: 2 Publications (2009–2010)
Related Software: MPFR; RODAS
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

NumericalHilbert

Software Authors:   Robert Krone
Referenced in: 1 Publication (2017)
Related Software: Macaulay2; ApaTools; Bertini; SINGULAR; NumericalAlgebraicGeometry
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX)

QuPAT

Software Authors:   –
Referenced in: 1 Publication (2013)
Related Software: Scilab; MuPAT; LBNL; MatrixMarket
Main Fields: Numerical analysis (65-XX)

RangeLab

Software Authors:   Martel, M.
Referenced in: 2 Publications (2018–2021)
Related Software: PRECiSA; Daisy; GitHub; FPTuner; dReal; z3; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

SAM

Software Authors:   Graillat, Stef; Jézéquel, Fabienne; Wang, Shiyue; Zhu, Yuxiang
Referenced in: 2 Publications (2011–2020)
Related Software: CADNA; mctoolbox; XBLAS; Algorithm 524; LBNL; MPFR; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

SpecialValue

Software Authors:   Johan Vervloet
Referenced in: 2 Publications (2004–2005)
Related Software: GlobSol; Easyval; INTLAB
Main Fields: Mathematical logic and foundations (03-XX); Functions of a complex variable (30-XX); Special functions (33-XX)

UppSAT

Software Authors:   Zeljić, Aleksandar; Backeman, Peter; Wintersteiger, Christoph M.; Rümmer, Philipp
Referenced in: 2 Publications (2018–2021)
Related Software: STP; OptiMathSAT; vZ; SYMBA; Boolector; SONOLAR; …
Main Fields: Computer science (68-XX)

ValidatedNumerics.jl

Software Authors:   Benet, L., Sanders, D.P.
Referenced in: 1 Publication (2021)
Related Software: EAGO.jl; Cassette.jl; MAiNGO; Juniper; ForwardDiff; DCCP; …
Main Fields: Functional analysis (46-XX); Operator theory (47-XX); Numerical analysis (65-XX)

XSat

Software Authors:   –
Referenced in: 2 Publications (2018–2021)
Related Software: MLBSE; JaCoCo; jCUTE; GitHub; Java PathFinder; Pex; …
Main Fields: Computer science (68-XX)

AccSumK

Software Authors:   Lei, Xiaojun; Gu, Tongxiang; Graillat, Stef; Jiang, Hao; Qi, Jin
Referenced in: 1 Publication (2022)
Related Software: ReproBLAS; PAccSumK; mctoolbox; MPFR; Matlab
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

Algorithm 1006

Software Authors:   Abergel, Rémy; Moisan, Lionel
Referenced in: 1 Publication (2020)
Related Software: Algorithm 435; IncgamNEG; Algorithm 926; DLMF; AS 32; Mathematica
Main Fields: Special functions (33-XX); Numerical analysis (65-XX)

Algorithm 871

Software Authors:   Schreppers, Walter; Cuyt, Annie A.M.
Referenced in: 1 Publication (2008)
Related Software: libMpIeee; MPFUN; Algorithm 693; ARPREC; CLN; SWIG
Main Fields: Computer science (68-XX)

Algorithm 911

Software Authors:   Smith, David M.
Referenced in: 1 Publication (2011)
Related Software: Algorithm 719; Algorithm 693; Algorithm 786; Algorithm 814; MPFR; gmp
Main Fields: Special functions (33-XX); Numerical analysis (65-XX)

borderbasix

Software Authors:   Trébuchet, Philippe; Mourrain, Bernard; Bucero, Marta Abril
Referenced in: 1 Publication (2016)
Related Software: Giac; Xcas; Mosek; SuperLU; Magma; LAPACK; …
Main Fields: Commutative algebra (13-XX); Numerical analysis (65-XX); Computer science (68-XX)

CUMP

Software Authors:   Nakayama, T.
Referenced in: 1 Publication (2016)
Related Software: GPUprec; MPIGMP; PLASMA; MAGMA; Arb; Elemental; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX)

DecFP

Software Authors:   Steven G. Johnson et al.
Referenced in: 1 Publication (2020)
Related Software: NLPLSQ; JuliaSmoothOptimizers; DoubleFloats.jl; DoubleDouble.jl; NLPModelsIpopt.jl; JuMP; …
Main Fields: Operations research, mathematical programming (90-XX)

DoubleDouble.jl

Software Authors:   Simon Byrne et al.
Referenced in: 1 Publication (2020)
Related Software: NLPLSQ; JuliaSmoothOptimizers; DoubleFloats.jl; DecFP; NLPModelsIpopt.jl; JuMP; …
Main Fields: Operations research, mathematical programming (90-XX)

FLIP

Software Authors:   Claude-Pierre Jeannerod; Guillaume Revy
Referenced in: 1 Publication (2018)
Related Software: INTLAB; DPE; doubledouble; CR-LIBM; CAMPARY; fpLLL; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

FloatX

Software Authors:   Flegar, Goran; Scheidegger, Florian; Novaković, Vedran; Mariani, Giovani; Tomás, Andrés E.; Malossi, A. Cristiano I.; Quintana-Ortí, Enrique S.
Referenced in: 1 Publication (2019)
Related Software: LaTeX; Ginkgo; ESSL; TensorFlow; SoftFloat; OpenBLAS; …
Main Fields: Numerical analysis (65-XX)

FuzzyGPU

Software Authors:   Marin, M.; Defour, D.
Referenced in: 1 Publication (2020)
Related Software: Thrust; Boost; Boost C++ Libraries
Main Fields: Systems theory; control (93-XX)

half

Software Authors:   C. Rau
Referenced in: 1 Publication (2019)
Related Software: BFloat16s; CodeNet; rpe; GitHub; Julia; advanpix; …
Main Fields: Numerical analysis (65-XX)

IEEE_Floating_Point

Software Authors:   Lei, Yu
Referenced in: 1 Publication (2015)
Related Software: Archive Formal Proofs; Flocq; HOL Light; HOL; INTLAB; CUDA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

LEMA

Software Authors:   Lefèvre, Vincent; Théveny, Philippe; de Dinechin, Florent; Jeannerod, Claude-Pierre; Mouilleron, Christophe; Pfannholzer, David; Revol, Nathalie
Referenced in: 1 Publication (2010)
Related Software:
Main Fields: Numerical analysis (65-XX)

libMpIeee

Software Authors:   Cuyt, A.
Referenced in: 1 Publication (2008)
Related Software: MPFUN; Algorithm 871; Algorithm 693; ARPREC; CLN; SWIG
Main Fields: Computer science (68-XX)

MathCW

Software Authors:   Beebe, Nelson H. F.
Referenced in: 1 Publication (2017)
Related Software: mpcheck; Algorithm 272; LLRANDOM; Algorithm 304; Algorithm 542; Algorithm 236; …
Main Fields: Numerical analysis (65-XX)

MLBSE

Software Authors:   Bu, Lei; Liang, Yongjuan; Xie, Zhunyi; Qian, Hong; Hu, Yi-Qi; Yu, Yang; Chen, Xin; Li, Xuandong
Referenced in: 1 Publication (2021)
Related Software: JaCoCo; jCUTE; XSat; GitHub; Java PathFinder; Pex; …
Main Fields: Computer science (68-XX)

muAO-MPC

Software Authors:   Zometa, P., Kögel, M., Findeisen, R.
Referenced in: 1 Publication (2022)
Related Software: HQP/OMUSES; Matlab; PANOC; OpEn; FORCES NLP; qpSWIFT; …
Main Fields: (04-XX); Computer science (68-XX)

PAC

Software Authors:   Roch, Jean-Louis Author Profile; Senechaud, Pascale; Siebert-Roch, Françoise; Villard, Gilles
Referenced in: 1 Publication (1989)
Related Software: Macaulay2
Main Fields: Computer science (68-XX)

PAccSumK

Software Authors:   Lei, Xiaojun; Gu, Tongxiang; Graillat, Stef; Jiang, Hao; Qi, Jin
Referenced in: 1 Publication (2022)
Related Software: AccSumK; ReproBLAS; mctoolbox; MPFR; Matlab
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)