gmp Software Authors: Granlund Cited in: 277 Publications (1995–2023) Related Software: MPFR; NTL; PARI/GP; SageMath; FLINT; Magma; … 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 Cited in: 231 Publications (2001–2022) Related Software: gmp; Mathematica; mctoolbox; SageMath; ARPREC; Matlab; … Main Fields: Number theory (11-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
mpmath Software Authors: Fredrik Johansson Cited in: 63 Publications (2010–2022) Related Software: SageMath; SymPy; SciPy; Mathematica; Python; DLMF; … Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX)
alphaCertified Software Authors: Jonathan D. Hauenstein; Frank Sottile Cited in: 57 Publications (2011–2023) Related Software: Bertini; Macaulay2; PHCpack; HOM4PS; HomotopyContinuation; NumericalAlgebraicGeometry; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)
Arb Software Authors: Fredrik Johansson Cited in: 55 Publications (2015–2022) Related Software: DLMF; SageMath; Julia; PARI/GP; mpmath; Mathematica; … 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 Cited in: 56 Publications (2005–2022) Related Software: MPFR; gmp; DLMF; Maple; MPFUN; mpmath; … Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX)
LiDIA Software Authors: Biehl, Ingrid; Buchmann, Johannes; Papanikolaou, Thomas Cited in: 51 Publications (1995–2021) Related Software: NTL; PARI/GP; MAPC; ECPP; STL; GC; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)
ACRITH-XSC Software Authors: Walter, Wolfgang V. Cited 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 Cited 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 Cited in: 46 Publications (2001–2023) Related Software: SDPT3; SeDuMi; CGAL; gmp; Matlab; AS 307; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
MPFI Software Authors: Revol, Nathalie; Rouillier, Fabrice Cited 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. Cited 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 Cited in: 25 Publications (2007–2020) Related Software: QSopt-Exact; CPLEX; MIPLIB; SoPlex; SCIP; gmp; … Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)
Algorithm 693 Software Authors: Smith, David M. Cited 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 Cited in: 22 Publications (2011–2022) Related Software: Coq; Why3; HOL Light; z3; Gappa; MPFR; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Partial differential equations (35-XX)
MACHAR Software Authors: Cody, W.J. Cited in: 22 Publications (1988–2018) Related Software: EISPACK; SPECFUN; Algorithm 528; LAPACK; 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 Cited in: 21 Publications (1988–2020) Related Software: simannf90; minpack; Global Optimization Toolbox For Maple; OEIS; ve08; IMSL Numerical Libraries; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
Gappa Software Authors: Guillaume Melquiond Cited 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. Cited 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 Cited 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. Cited 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 Cited 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 Cited 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 Cited 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 Cited in: 13 Publications (2001–2021) Related Software: cdd; polymake; Qhull; PPL; 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 Cited in: 13 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. Cited 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 Cited 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 Cited 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 Cited 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. Cited 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. Cited in: 10 Publications (2001–2018) Related Software: Matlab; SegMatch; Triangle; POLYGAUSS; OPQ; DCUTRI; … Main Fields: Approximations and expansions (41-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)
exflib Software Authors: FUJIWARA,Hiroshi Cited 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. Cited in: 8 Publications (1998–2020) Related Software: Algorithm 745; DLMF; Mathematica; 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. Cited 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 Cited in: 8 Publications (2006–2017) Related Software: Maple; Magma; RegularChains; AXIOM; modpn; CUDA; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)
GALATICS Software Authors: G. Barthe, S. Belaïd, T. Espitau, P.-A. Fouque, M. Rossi, M. Tibouchi Cited in: 8 Publications (2020–2022) Related Software: FACCT; BLISS; strongSwan; GitHub; SEAL; Falcon; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Algorithm 814 Software Authors: Smith, David M. Cited 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 Cited in: 6 Publications (2004–2018) Related Software: INTLAB; C-XSC 2.0; filib++; Matlab; Algorithm 524; Algorithm 713; … 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. Cited 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)
CAMPARY Software Authors: Mioara Joldes; Jean-Michel Muller; Valentina Popescu; Warwick Tucker Cited in: 6 Publications (2016–2022) Related Software: MPFR; CUDA; Flocq; Coq; phcpy; CHEXVIS; … Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)
doubledouble Software Authors: K. Briggs Cited 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)
logsumexp-softmax-tests Software Authors: Blanchard, Pierre; Higham, Desmond J.; Higham, Nicholas J. Cited in: 6 Publications (2021–2022) Related Software: SciPy; FEniCS; trlib; FFC; UFC; UFL; … 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. Cited in: 5 Publications (1993–2017) Related Software: MACHAR; INTLIB; Matlab; Python; Algorithm 719; Algorithm 818; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Statistics (62-XX)
GNU Fortran Software Authors: – Cited 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. Cited in: 4 Publications (2002–2021) 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)
VIPR Software Authors: Kevin K.H. Cheung, Ambros Gleixner, Daniel E. Steffy Cited in: 4 Publications (2017–2023) Related Software: SCIP; DRAT-trim; MIPLIB; CPLEX; PaPILO; PPL; … Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)
xrc Software Authors: Keith Briggs Cited in: 5 Publications (2004–2007) Related Software: iRRAM; Python; 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 Cited 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 Cited 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 Cited 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 Cited in: 3 Publications (2016–2018) Related Software: CGAL; GitHub; LAPACK; BrainSuite; FreeSurfer; Brain2Mesh; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
GAIA Software Authors: Dokken, Tor Cited in: 4 Publications (2005–2009) Related Software: Axel; MULTIRES Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
DSI Toolbox Software Authors: Auer E, Luther W, Rebner G, Limbourg P Cited in: 2 Publications (2012–2013) Related Software: Matlab; INTLAB; symrcm; FastPILSS; MatrixMarket; BLAS; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
FloatingPointConversion Software Authors: Malgorzata A. Jankowska Cited 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. Cited 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. Cited 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 Cited in: 3 Publications (2019–2022) Related Software: ScaLAPACK; LibSci; LAPACK; MA57; mftoolbox; KBLAS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
PolyPaver Software Authors: Michal Konečný, Jan Duracz Cited in: 3 Publications (2014–2018) Related Software: CkAnalytic; Taylor; CAPD; dcc; INTLAB; MetiTarski; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
PVSio Software Authors: César Muñoz Cited in: 3 Publications (2007–2015) Related Software: PVS; Coq; MetiTarski; dReal; Gappa; RealPaver; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SONOLAR Software Authors: Lapschies, F., Peleska, J., Gorbachuk, E., Mangels Cited 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. Cited in: 3 Publications (2001–2017) Related Software: Algorithm 693; MPFR; Algorithm 524; Algorithm 713; mpcheck; Algorithm 272; … 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 Cited in: 2 Publications (2020–2021) Related Software: FiniteFlow; DiffExp; pySecDec; FORM; GitHub; HIGLU; … Main Fields: Quantum theory (81-XX)
CPFloat Software Authors: Fasi, M.; Mikaitis, M. Cited in: 2 Publications (2022–2023) Related Software: mftoolbox; MPFR; GRAM; LINPACK; PARDISO; LAPACK; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
decNumber Software Authors: Mike Cowlishaw Cited in: 2 Publications (2017) Related Software: Algorithm 524; Algorithm 713; mpcheck; Algorithm 272; LLRANDOM; Algorithm 304; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
DiMEPACK Software Authors: Kowarschik, M.; Weiß, C. Cited 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: – Cited 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 Cited in: 2 Publications (2016–2019) Related Software: AddressSanitizer; YALES2; mctoolbox; Algorithm 524; Algorithm 722; CR-LIBM; … Main Fields: Real functions (26-XX); Special functions (33-XX); Numerical analysis (65-XX)
gmpy2 Software Authors: Horsen CV Cited 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. Cited in: 2 Publications (2018–2021) Related Software: HElib; POSEIDON; Lattigo; SEAL; go; FHEW; … Main Fields: Information and communication theory, circuits (94-XX)
Kilbas Saigo Software Authors: Richard Magin Cited 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 Cited 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. Cited 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 Cited in: 1 Publication (2017) Related Software: Macaulay2; ApaTools; Bertini; SINGULAR; NumericalAlgebraicGeometry Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX)
QuPAT Software Authors: – Cited in: 1 Publication (2013) Related Software: Scilab; MuPAT; LBNL; MatrixMarket Main Fields: Numerical analysis (65-XX)
RangeLab Software Authors: Martel, M. Cited 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 Cited in: 2 Publications (2011–2020) Related Software: CADNA; Algorithm 524; mctoolbox; XBLAS; LBNL; MPFR; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
SpecialValue Software Authors: Johan Vervloet Cited in: 2 Publications (2004–2005) Related Software: INTLAB; GlobSol; Easyval 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 Cited 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. Cited in: 2 Publications (2021–2022) Related Software: GitHub; gPROMS; Matlab; EAGO.jl; Juniper; Optimization Toolbox; … Main Fields: Functional analysis (46-XX); Operator theory (47-XX); Numerical analysis (65-XX)
XSat Software Authors: – Cited in: 2 Publications (2018–2021) Related Software: JaCoCo; MLBSE; jCUTE; GitHub; Java PathFinder; Pex; … Main Fields: Computer science (68-XX)
AccSumK Software Authors: Lei, Xiaojun; Gu, Tongxiang; Graillat, Stef; Jiang, Hao; Qi, Jin Cited 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 Cited 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. Cited 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. Cited 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 Cited 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. Cited 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. Cited 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. Cited 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 Cited in: 1 Publication (2018) Related Software: INTLAB; Flocq; DPE; doubledouble; CR-LIBM; CAMPARY; … 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. Cited 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. Cited in: 1 Publication (2020) Related Software: Thrust; Boost; Boost C++ Libraries Main Fields: Systems theory; control (93-XX)
half Software Authors: C. Rau Cited 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 Cited 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 Cited in: 1 Publication (2010) Related Software: – Main Fields: Numerical analysis (65-XX)
libMpIeee Software Authors: Cuyt, A. Cited 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. Cited in: 1 Publication (2017) Related Software: Algorithm 524; Algorithm 713; mpcheck; Algorithm 272; LLRANDOM; Algorithm 304; … 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 Cited 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. Cited in: 1 Publication (2022) Related Software: Matlab; GitHub; PANOC; HQP/OMUSES; OpEn; FORCES NLP; … Main Fields: (04-XX); Computer science (68-XX)
PAC Software Authors: Roch, Jean-Louis Author Profile; Senechaud, Pascale; Siebert-Roch, Françoise; Villard, Gilles Cited in: 1 Publication (1989) Related Software: Macaulay2 Main Fields: Computer science (68-XX)