×

Found 44 Software Packages (Results 1–44)

AS 195

Software Authors:   Schervish, M. J.
Referenced in: 100 Publications (1984–2021)
Related Software: QSIMVN; R; mvtnorm; AS 6; AS 66; Orthants; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

SpaceEx

Software Authors:   Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray,Olivier Lebeltel, Rodolfo Ripado, Antoine Girard,Thao Dang, Oded Maler
Referenced in: 76 Publications (2011–2021)
Related Software: HyTech; PHAVer; Flow*; KeYmaera; RSOLVER; dReach; …
Main Fields: Ordinary differential equations (34-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)

POMDPS

Software Authors:   Ross, S.; Pineau, J.; Paquet, S.; Chaib-Draa, B.
Referenced in: 38 Publications (1998–2022)
Related Software: DESPOT; EGO; PRMLT; Clingo; Anglican; ProbLog; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

dReal

Software Authors:   Gao, Sicun; Kong, Soonho; Clarke, Edmund M.
Referenced in: 34 Publications (2013–2022)
Related Software: z3; CalCS; HOL Light; Coq; Yices; MathSAT5; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-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)

GRAPPA

Software Authors:   Tang, Jijun; Moret, Bernard M.E.
Referenced in: 11 Publications (2001–2019)
Related Software: PAUP*; GASTS; FastTree; RAxML; TSPLIB; S-Cluster++; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MARS

Software Authors:   Zhang, Qinghai; Fogelson, Aaron
Referenced in: 10 Publications (2014–2022)
Related Software: GePUP; Gerris; PROST; Matlab; SADoRe; word2vec; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

QCAPro

Software Authors:   Srivastava, S; Asthana, A; Bhanja, S; Sarkar, S
Referenced in: 12 Publications (2017–2022)
Related Software: QCADesigner; NIST Statistical Test Suite
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

SparseFIS

Software Authors:   Lughofer, E.; Kindermann, S.
Referenced in: 8 Publications (2012–2018)
Related Software: ElemStatLearn; ANFIS; MOA; CoSaMP; AdaBoost.MH; PDCO; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Cross

Software Authors:   Zhang, Anru
Referenced in: 10 Publications (2012–2022)
Related Software: Wirtinger Flow; Z; CLT; symrcm; OEIS; Petruchio; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX)

BEDFix

Software Authors:   Shellman, Spencer; Sikorski, K.
Referenced in: 9 Publications (2003–2020)
Related Software: Algorithm 848; minpack; TENSOLVE
Main Fields: Operator theory (47-XX); Numerical analysis (65-XX); Computer science (68-XX)

COCA

Software Authors:   Fischer, Bernd; Modersitzki, Jan
Referenced in: 9 Publications (1993–2020)
Related Software: Schwarz-Christoffel; SC Toolbox; Matlab; Harwell-Boeing sparse matrix collection; eigs; AAA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); Partial differential equations (35-XX)

Learn++

Software Authors:   R. Polikar, L. Upda, S. S. Upda, V. Honavar
Referenced in: 4 Publications (2010–2022)
Related Software: ElemStatLearn; Learn++.NC; Adam; NEIL; ImageNet; CIFAR; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SVM Toolbox

Software Authors:   Cawley, G. C.
Referenced in: 9 Publications (2001–2015)
Related Software: CLOP; ElemStatLearn; rda; LIBLINEAR; NPen++; UCI-ml
Main Fields: Statistics (62-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-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)

BER MetaOCaml

Software Authors:   Kiselyov, Oleg
Referenced in: 2 Publications (2016)
Related Software: OCaml; CIL; Terra; Halide; Strymonas; LMS; …
Main Fields: Computer science (68-XX)

FaSTrack

Software Authors:   Sylvia L. Herbert, Mo Chen, SooJean Han, Somil Bansal, Jaime F. Fisac, Claire J. Tomlin
Referenced in: 4 Publications (2019–2021)
Related Software: pypoman; FACTEST; PythonRobotics; LTLMoP; TuLiP; SCOTS; …
Main Fields: Computer science (68-XX); Systems theory; control (93-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)

ReachNN

Software Authors:   Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
Referenced in: 4 Publications (2021)
Related Software: GitHub; Reluplex; Sherlock; nncontroller; PENBMI; VERIFAI; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

AS 184

Software Authors:   Bohrer, Robert; Schervish, Mark; Sheft, Judith
Referenced in: 3 Publications (1979–1982)
Related Software:
Main Fields: Statistics (62-XX)

FAMOCUTN

Software Authors:   W. Hennings; N. Kuznetsov
Referenced in: 3 Publications (1994–2014)
Related Software: CRESSEX; PAFT F77; ELRAFT; FATRAM; PREP/KITT; MOCUS
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Algorithm 848

Software Authors:   Shellman, Spencer D.; Sikorski, K.
Referenced in: 2 Publications (2005–2011)
Related Software: BEDFix; minpack; TENSOLVE
Main Fields: Operator theory (47-XX); Numerical analysis (65-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)

RCIP

Software Authors:   Xiao, F.; Yabe, T.; Ebisuzaki, T.
Referenced in: 2 Publications (1999–2006)
Related Software:
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

sdols

Software Authors:   David B. Dahl, Peter Müller
Referenced in: 1 Publication (2020)
Related Software: MLlib; SparkR; sparklyr; bamboo; shallot; Rserve; …
Main Fields: Statistics (62-XX)

sFFT

Software Authors:   Uri Keich
Referenced in: 2 Publications (2016–2021)
Related Software: FFTW; minFFT; ShiftConvolve; R; BRENT; NumPy; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

TensorBox

Software Authors:   Phan, A.-H.
Referenced in: 2 Publications (2020–2021)
Related Software: TensorToolbox; PLANC; SPLATT; Armadillo
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

AD-TIC

Software Authors:   Lukashchuk, S.Yu.
Referenced in: 1 Publication (2016)
Related Software: Maple
Main Fields: Partial differential equations (35-XX); Integral transforms, operational calculus (44-XX); Numerical analysis (65-XX)

augsynth

Software Authors:   Eli Ben-Michael, Avi Feller, Jesse Rothstein
Referenced in: 0 Publications
Related Software: R
Main Fields: Statistics (62-XX)

DEGEN

Software Authors:   Izmailov, A.F.; Solodov, M.V.; Uskov, E.I.
Referenced in: 1 Publication (2012)
Related Software: MacMPEC; ALGENCAN; MINOS; Ipopt; filterSQP; SNOPT; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-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)

GSDAR

Software Authors:   Huang, Jian; Jiao, Yuling; Kang, Lican; Liu, Jin; Liu, Yanyan; Lu, Xiliang
Referenced in: 1 Publication (2022)
Related Software: glmnet
Main Fields: Numerical analysis (65-XX)

iWGAN

Software Authors:   Chen, Yao; Gao, Qingyi; Wang, Xiao
Referenced in: 0 Publications
Related Software: Almond; CelebA; Wasserstein GAN; BEGAN; Adam; MNIST
Main Fields: Statistics (62-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)

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)

nproc

Software Authors:   Yang Feng, Jessica Li, Xin Tong, Ye Tian
Referenced in: 1 Publication (2020)
Related Software: penalizedLDA; R
Main Fields: Statistics (62-XX); 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)

PECE

Software Authors:   Zhang, Wen
Referenced in: 1 Publication (1994)
Related Software:
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-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)

REMI

Software Authors:   Huang, Jian; Jiao, Yuling; Liu, Jin; Yang, Can
Referenced in: 1 Publication (2021)
Related Software: GWAS Catalog; GEMMA; GitHub; GCTA; ElemStatLearn; glmnet; …
Main Fields: Statistics (62-XX)

DwarfCode

Software Authors:   Zhang, Weizhe; Cheng, Albert M.K.; Subhlok, Jaspal
Referenced in: 0 Publications
Related Software:
Main Fields:

Functions and Equations

Software Authors:   –
Referenced in: 0 Publications
Related Software:
Main Fields:

Sequoll

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