×

Found 61 Software Packages (Results 1–61)

INTLAB

Software Authors:   Rump, Siegfried M.
Referenced in: 470 Publications (1999–2022)
Related Software: Matlab; mctoolbox; C-XSC 2.0; C-XSC; INTOPT_90; VERSOFT; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

SuperLU

Software Authors:   X. Sherry Li; Jim Demmel; John Gilbert; Laura Grigori; Meiyue Shao; Ichitaro Yamazaki
Referenced in: 189 Publications (1997–2022)
Related Software: MUMPS; PETSc; UMFPACK; LAPACK; Trilinos; PARDISO; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

SuLQ

Software Authors:   Blum, A., Dwork, C., McSherry, F., Nissim, K.
Referenced in: 127 Publications (2006–2022)
Related Software: PrivateLR; UCI-ml; RAPPOR; ArnetMiner; gSpan; PRMLT; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

SuperLU-DIST

Software Authors:   Li, X.S., Demmel, J.W.
Referenced in: 93 Publications (2002–2022)
Related Software: MUMPS; PETSc; SparseMatrix; SuperLU; LAPACK; PARDISO; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

UOBYQA

Software Authors:   Powell, M.J.D.
Referenced in: 67 Publications (2002–2022)
Related Software: DFO; NEWUOA; BOBYQA; COBYLA2; WEDGE; KELLEY; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-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)

ADMiRA

Software Authors:   Lee, Kiryung; Bresler, Yoram
Referenced in: 35 Publications (2010–2022)
Related Software: CoSaMP; LMaFit; PROPACK; softImpute; PhaseLift; Wirtinger Flow; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

HOT

Software Authors:   Warren, Michael S.; Salmon, John K.
Referenced in: 26 Publications (1995–2022)
Related Software: PETSc; TREESPH; exafmm; ViennaCL; MPI; ScalFMM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

MatSol

Software Authors:   Tomáš Brzobohatý; Alexandros Markopoulos; Tomáš Kozubek
Referenced in: 24 Publications (2010–2020)
Related Software: Total FETI; Matlab; TFETI; symrcm; HYPLAS; METIS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Adaptative L1 TE and Predictive

Software Authors:   Yuste, Santos B.; Quintana-Murillo, J.
Referenced in: 22 Publications (2016–2022)
Related Software: ma2dfc; FODE; Fractional Heat Conduction Toolbox; Heat Conduction Toolbox; Matplotlib; LFA; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX)

ddesd

Software Authors:   Shampine, L. F.
Referenced in: 21 Publications (2005–2021)
Related Software: Matlab; bvp4c; dde23; MATLAB ODE suite; RADAR5; ode23; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

HSMUCE

Software Authors:   Pein, F.
Referenced in: 15 Publications (2017–2021)
Related Software: wbs; R; stepR; FDRSeg; Segmentor3IsBack; ecp; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ASKIT

Software Authors:   March, William B.; Xiao, Bo; Yu, Chenhan D.; Biros, George
Referenced in: 12 Publications (2015–2022)
Related Software: UCI-ml; GitHub; STRUMPACK; ScalFMM; H2Lib; Thrust; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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)

CkAnalytic

Software Authors:   Lessard, Jean-Philippe; Mireles James, J.D.
Referenced in: 11 Publications (2017–2022)
Related Software: INTLAB; RODES; CAPD; Matlab; Taylor; galepu; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-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)

INTERVAL_ARITHMETIC

Software Authors:   Kearfott, R.Baker
Referenced in: 9 Publications (1996–2017)
Related Software: INTLIB; INTOPT_90; GSL; EISPACK; Matlab; LAPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Statistics (62-XX)

Go-ICP

Software Authors:   Jiaolong Yang, Hongdong Li, Dylan Campbell, Yunde Jia
Referenced in: 8 Publications (2015–2021)
Related Software: 3DMatch; SIFT; TEASER++; USAC; D2-Net; GMS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SOFAR

Software Authors:   Uematsu, Yoshimasa; Fan, Yingying; Chen, Kun; Lv, Jinchi; Lin, Wei
Referenced in: 8 Publications (2019–2022)
Related Software: camel; secure; rrpack; PEER; glmnet; R; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

VECTOR_PADE

Software Authors:   Cabay, Stan; Jones, Anthony R.; Labahn, George
Referenced in: 7 Publications (1996–2018)
Related Software:
Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Approximations and expansions (41-XX)

GRKLib

Software Authors:   Olivier Bouissou , Matthieu Martel
Referenced in: 6 Publications (2009–2018)
Related Software: Hybrid Trace Verifier; S-TaLiRo; VERICOMP; DynIbex; SCOTS; Flow*; …
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.
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)

SimEuler

Software Authors:   Bressan, Alberto; Shen, Wen
Referenced in: 6 Publications (2020–2021)
Related Software: Matlab
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-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)

d2_cluster

Software Authors:   Burke, J., Davison, D., Hide, W.
Referenced in: 5 Publications (2007–2019)
Related Software: MOLPHY; PHYLIP; Rainbow; SlideSort; Mash; Corset; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

libkww

Software Authors:   Wuttke, J.
Referenced in: 4 Publications (2012–2018)
Related Software: DLMF; GSL; STABLE
Main Fields: Ordinary differential equations (34-XX); Integral transforms, operational calculus (44-XX); Probability theory and stochastic processes (60-XX)

Lurupa

Software Authors:   Keil, C.
Referenced in: 4 Publications (2009–2015)
Related Software: Numerica; COCONUT; INTOPT_90; INTLAB; YALMIP; SeDuMi; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

MMM2D

Software Authors:   A.Arnold, C.Holm
Referenced in: 3 Publications (2013–2015)
Related Software: ESPResSo; Gromacs; NAMD; MMM1D; NFFT3; ScaFaCoS; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Optics, electromagnetic theory (78-XX)

SnadiOpt

Software Authors:   E.M. Gertz, P.E. Gill, J. Muethering
Referenced in: 3 Publications (2004–2008)
Related Software: SNOPT; SOCS; NPSOL; OTIS; Ipopt; ipfilter; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

AddressSanitizer

Software Authors:   Serebryany, K., Bruening, D., Potapenko, A.,Vyukov, D.
Referenced in: 2 Publications (2016–2019)
Related Software: CODA; R; c212; CRAN; YALES2; FloPoCo; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

BFComp

Software Authors:   Murthy, Abhishek; Islam, Md.Ariful; Smolka, Scott A.; Grosu, Radu
Referenced in: 3 Publications (2015–2019)
Related Software: dReal; dReach; SReach; cftool; MATISSE; Sostools; …
Main Fields: Ordinary differential equations (34-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

Compqd

Software Authors:   Du, Peibing; Barrio, Roberto; Jiang, Hao; Cheng, Lizhi
Referenced in: 3 Publications (2017–2022)
Related Software: XBLAS; mctoolbox; CUDA; CADNA; QD; LBNL
Main Fields: Numerical analysis (65-XX)

HSL_ea19

Software Authors:   E. E. Ovtchinnikov; J.K.Reid
Referenced in: 3 Publications (2011–2013)
Related Software: heapsort; HSL_MA87; HSL; JDQZ; WIEN2k; JDQR; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Jet_fitting_3

Software Authors:   Frédéric Cazals; Marc Pouget
Referenced in: 2 Publications (2009–2015)
Related Software: CGAL; LAPACK
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX)

MSCRA_rankmin

Software Authors:   Bi, Shujun; Pan, Shaohua; Sun, Defeng
Referenced in: 3 Publications (2019–2020)
Related Software: QSDPNAL
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

SNIFF

Software Authors:   Garriba, S., Quartapelle, L., Reina, G.
Referenced in: 3 Publications (1978–2007)
Related Software: coteglob; DQAINT; QUADPACK; Matlab; CUBPACK; CADRE
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

stabs

Software Authors:   Benjamin Hofner, Torsten Hothorn
Referenced in: 3 Publications (2018–2021)
Related Software: glmnet; knockoff; qut; selectiveInference; not; wbs; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

constant_estimation

Software Authors:   Liao, Shih-Kang; Shu, Yu-Chen; Liu, Xuefeng
Referenced in: 2 Publications (2019–2020)
Related Software: INTLAB; Matlab
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX)

DeepTMA

Software Authors:   Geyer, F., Bondorf, S.
Referenced in: 2 Publications (2019–2021)
Related Software: NCBounds; Python
Main Fields: Computer science (68-XX)

Hybrid Trace Verifier

Software Authors:   Huang, Zhenqi; Mitra, Sayan
Referenced in: 2 Publications (2012–2017)
Related Software: GRKLib; S-TaLiRo; StateFlow; Simulink; Breach; C2e2; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Main-term

Software Authors:   Khaochim, Narissara; Masri, Riad; Tsai, Wei-Lun
Referenced in: 2 Publications (2019–2021)
Related Software: OEIS; GitHub; DLMF; SageMath
Main Fields: Number theory (11-XX)

MMM1D

Software Authors:   A.Arnold, C.Holm
Referenced in: 2 Publications (2015–2017)
Related Software: Spectral Ewald; MMM2D; NFFT3; ScaFaCoS; PNFFT; PFFT
Main Fields: Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

dwWienerPDF

Software Authors:   Hartmann, Raphael; Klauer, Karl Christoph
Referenced in: 1 Publication (2021)
Related Software: WienR; jags-wiener; RWiener; GitHub; rtdists; Cubature; …
Main Fields: Partial differential equations (35-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

FACTEST

Software Authors:   Fan, Chuchu; Miller, Kristina; Mitra, Sayan
Referenced in: 1 Publication (2020)
Related Software: pypoman; FaSTrack; PythonRobotics; LTLMoP; TuLiP; SCOTS; …
Main Fields: Systems theory; control (93-XX)

FI_LIB

Software Authors:   W. Hofschuster, W. Krämer
Referenced in: 1 Publication (2005)
Related Software: filib++; PROFIL/BIAS; C-XSC 2.0; C-XSC
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Insure++

Software Authors:   Parasoft
Referenced in: 1 Publication (2005)
Related Software: GDB; CCured; Cyclone; Valgrind
Main Fields: Computer science (68-XX)

Kmerlight

Software Authors:   Naveen Sivadasan, Rajgopal Srinivasan, Kshama Goyal
Referenced in: 1 Publication (2019)
Related Software: RNA-Skim; Kraken; Squeakr; ntCard; SAKEIMA; KmerStream; …
Main Fields: Biology and other natural sciences (92-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)

NeuroDiff

Software Authors:   Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang
Referenced in: 1 Publication (2021)
Related Software: ReluDiff; POPQORN; DiffRNN; DeepGauge; DeepXplore; TensorFuzz; …
Main Fields: Computer science (68-XX)

NuclearDiscrepancy

Software Authors:   Viering, Tom J.; Krijthe, Jesse H.; Loog, Marco
Referenced in: 1 Publication (2019)
Related Software: GitHub; UCI-ml
Main Fields: Computer science (68-XX)

PERMAP

Software Authors:   Ronald B. Heady
Referenced in: 1 Publication (2005)
Related Software: NewMDSX; ALSCAL; XGvis; PROXSCAL; SAS; SPSS; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ProxLOG

Software Authors:   Dewei Zhang, Yin Liu, Sam Davanloo Tajbakhsh
Referenced in: 1 Publication (2022)
Related Software: hierNet; glinternet; GitHub; gamsel
Main Fields: Operations research, mathematical programming (90-XX)

qasm-tools

Software Authors:   MIT Quanta Group
Referenced in: 0 Publications
Related Software: qasm2circ; LLVM; QCL; F#; Haskell; SciPy; …
Main Fields:

RaptorX-Angle

Software Authors:   Gao, Y., Wang, S., Deng, M., Xu, J.
Referenced in: 1 Publication (2021)
Related Software: GeoPCA; clusfind; conformalInference; k-means++; BAMBI; Bio3d; …
Main Fields: Statistics (62-XX)

SpecSolve

Software Authors:   M. J. Colbrook, A. Horning, A. Townsend
Referenced in: 1 Publication (2021)
Related Software: Chebfun; GitHub; Chebfun2; KernSmooth; SLEDGE
Main Fields: Functional analysis (46-XX); Operator theory (47-XX); Numerical analysis (65-XX)

TaylorModels.jl

Software Authors:   Benet, L., Sanders, D. P.
Referenced in: 0 Publications
Related Software: ArbFloats.jl; IntervalArithmetic.jl; TaylorIntegration.jl; MPFR; Julia; TaylorSeries.jl
Main Fields:

UnstableManifoldCompactMap

Software Authors:   Mireles-James, J.D.
Referenced in: 1 Publication (2017)
Related Software: INTLAB; Matlab
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

WienR

Software Authors:   Hartmann, Raphael; Klauer, Karl Christoph
Referenced in: 1 Publication (2021)
Related Software: dwWienerPDF; jags-wiener; RWiener; GitHub; rtdists; Cubature; …
Main Fields: Partial differential equations (35-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PyMinuit

Software Authors:   J. Pivarski
Referenced in: 0 Publications
Related Software:
Main Fields:

Sequoll

Software Authors:   Blackham B, Heiser G
Referenced in: 0 Publications
Related Software:
Main Fields:

Trickle

Software Authors:   Blackham B, Liffiton M, Heiser G
Referenced in: 0 Publications
Related Software:
Main Fields: