×

Found 88 Software Packages (Results 1–88)

Adam

Software Authors:   Diederik P. Kingma, Jimmy Ba
Cited in: 917 Publications (2016–2022)
Related Software: TensorFlow; ImageNet; PyTorch; AlexNet; GitHub; AdaGrad; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

KELLEY

Software Authors:   Kelley, C.T.
Cited in: 642 Publications (1995–2022)
Related Software: minpack; Matlab; L-BFGS; IMFIL; NITSOL; DFO; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

REDLOG

Software Authors:   Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker
Cited in: 164 Publications (1997–2022)
Related Software: QEPCAD; Maple; z3; REDUCE; RSOLVER; DISCOVERER; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

NESTA

Software Authors:   Becker, Stephen; Bobin, Jerome; Candes, Emmanuel J.
Cited in: 132 Publications (2010–2022)
Related Software: PDCO; SPGL1; TFOCS; TwIST; RecPF; glmnet; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

NUTS

Software Authors:   Matthew D. Hoffman, Andrew Gelman
Cited in: 120 Publications (2013–2022)
Related Software: Stan; BayesDA; R; RStan; UCI-ml; PyMC; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ipfilter

Software Authors:   Renata Silva; Luís Nunes Vicente; Michael Ulbrich; Stefan Ulbrich
Cited in: 72 Publications (2003–2022)
Related Software: Ipopt; CUTEr; SNOPT; LANCELOT; LOQO; CUTE; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

ADADELTA

Software Authors:   Matthew D. Zeiler
Cited in: 69 Publications (2017–2022)
Related Software: Adam; AdaGrad; RMSprop; ImageNet; AlexNet; TensorFlow; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

SDPNAL+

Software Authors:   Yang, Liuqin; Sun, Defeng; Toh, Kim-Chuan
Cited in: 63 Publications (2015–2022)
Related Software: SDPT3; SeDuMi; QSDPNAL; Mosek; QAPLIB; DIMACS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX)

SCS

Software Authors:   B. O'Donoghue, E. Chu, N. Parikh, S. Boyd
Cited in: 57 Publications (2016–2022)
Related Software: GitHub; Mosek; CVXPY; Julia; ECOS; SDPT3; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

MPTP 0.2

Software Authors:   Urban, Josef
Cited in: 51 Publications (2006–2021)
Related Software: Mizar; E Theorem Prover; VAMPIRE; TPTP; MaLARea; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PVM

Software Authors:   Diaz, M.J.Castro; Fernández-Nieto, E.
Cited in: 50 Publications (2012–2022)
Related Software: HLLE; RIEMANN; CUDA; HLLC; GFORCE; HE-E1GODF; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

TRICE

Software Authors:   Dennis, J.E.; Heinkenschloss, Matthias; Vicente, Lu'{i}s N.
Cited in: 46 Publications (1997–2021)
Related Software: Ipopt; SNOPT; LANCELOT; CUTEr; TRON; NPSOL; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

SLEP

Software Authors:   Liu, J., Ji, S., Ye, J.
Cited in: 39 Publications (2010–2022)
Related Software: glmnet; UCI-ml; UNLocBoX; LIBSVM; glasso; Matlab; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

PESTO

Software Authors:   Taylor, Adrien B.; Hendrickx, Julien M.; Glineur, F.
Cited in: 40 Publications (2016–2022)
Related Software: YALMIP; CVX; SeDuMi; UNLocBoX; Mosek; Wasserstein GAN; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

SQEMA

Software Authors:   Conradie, Willem; Goranko, Valentin
Cited in: 39 Publications (2005–2021)
Related Software: Epistemic Logic; Archive Formal Proofs; FOL Fitting; Pesca
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

DFL

Software Authors:   Liuzzi, G.; Lucidi, S.; Rinaldi, F.
Cited in: 35 Publications (2012–2022)
Related Software: DFN; NOMAD; DFLBOX; DFBOX_IMPR; SDBOX; OrthoMADS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

QUIC

Software Authors:   Hsieh, Cho-Jui; Sustik, M'aty'as A.; Dhillon, Inderjit S.; Ravikumar, Pradeep
Cited in: 34 Publications (2014–2022)
Related Software:
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

FOIL

Software Authors:   J. R. Quinlan; R. M. Cameron-Jones
Cited in: 19 Publications (1991–2021)
Related Software: C4.5; GOLEM; UCI-ml; CMAR; Aleph; ProbLog; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Statistics (62-XX)

DFN

Software Authors:   G.Fasano, G.Liuzzi, S.Lucidi, F.Rinaldi, K. Truemper
Cited in: 24 Publications (2014–2022)
Related Software: DFL; OrthoMADS; NOMAD; DFBOX_IMPR; SDBOX; SDPEN; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

GFORCE

Software Authors:   Toro, E.F.; Titarev, V.A.
Cited in: 23 Publications (2006–2021)
Related Software: HE-E1GODF; HLLE; MUSTA; PVM; SHASTA; RIEMANN; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

MT3DMS

Software Authors:   Zheng, C., Wang, P.P.
Cited in: 22 Publications (2005–2022)
Related Software: MODFLOW; MODFLOW-2000; HYTEC; HYDRUS; HYDROGEOCHEM; GEMSelektor; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

SDPEN

Software Authors:   G. Liuzzi, S. Lucidi, M. Sciandrone, K. Truemper
Cited in: 22 Publications (2010–2022)
Related Software: DFL; NOMAD; DFBOX_IMPR; SDBOX; DFLBOX; OrthoMADS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

TestEra

Software Authors:   Marinov, D; Khurshid, S
Cited in: 14 Publications (2002–2019)
Related Software: Korat; Rostra; Symstra; z3; CUTE; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Optim

Software Authors:   P. K. Mogensen; A. N. Riseth
Cited in: 11 Publications (2019–2022)
Related Software: Julia; JuMP; Matlab; Ipopt; CG_DESCENT; ForwardDiff; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

E-Darvin

Software Authors:   Baumgartner, Peter; Pelzer, Björn; Tinelli, Cesare; Alexander Fuchs; Hans de Nivelle
Cited in: 19 Publications (2006–2021)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SOLAR

Software Authors:   Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray
Cited in: 18 Publications (1993–2022)
Related Software: E Theorem Prover; SCIFF; SBGN; MiniSat; SMT-LIB; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

SCR

Software Authors:   Bourguiba, Imen; Moa, Belaid
Cited in: 10 Publications (2000–2018)
Related Software: SPIN; NuSMV; Smodels; ASSAT; PVS; TorX; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

na28

Software Authors:   Dahl, Joachim; Hansen, Per Christian; Jensen, Søren Holdt; Jensen, Tobias Lindstrøm
Cited in: 16 Publications (2009–2020)
Related Software: Matlab; RecPF; NESTA; Regularization tools; TwIST; CoSaMP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

ASTRO-DF

Software Authors:   Shashaani, Sara; Hashemi, Fatemeh S.; Pasupathy, Raghu
Cited in: 14 Publications (2018–2022)
Related Software: UOBYQA; DFO; ORBIT; OrthoMADS; NOMAD; NEWUOA; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

DFLBOX

Software Authors:   Liuzzi, G.; Lucidi, S.; Rinaldi, F.
Cited in: 14 Publications (2012–2022)
Related Software: DFL; NOMAD; DFLGEN; DFBOX_IMPR; SDPEN; SDBOX; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

HOL-Boogie

Software Authors:   Böhme, Sascha; Leino, K.Rustan M.; Wolff, Burkhart
Cited in: 13 Publications (2008–2015)
Related Software: Isabelle/HOL; Boogie; Why3; z3; Caduceus; VCC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ImplicitLNLMethods

Software Authors:   Conde, Sidafa; Gottlieb, Sigal; Grant, Zachary J.; Shadid, John N.
Cited in: 14 Publications (2017–2022)
Related Software: imexLNL; GitHub; RODAS; NodePy; KIOPS; phipm; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CRKSPH

Software Authors:   Nicholas Frontiere, Cody D. Raskin, J. Michael Owen
Cited in: 13 Publications (2017–2022)
Related Software: SPHERAL; PHANTOM; MAGMA; hypre; TREESPH; GADGET; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

ProxSARAH

Software Authors:   Pham, Nhan H.; Nguyen, Lam M.; Phan, Dzung T.; Tran-Dinh, Quoc
Cited in: 13 Publications (2020–2022)
Related Software: Saga; Adam; LIBSVM; AdaGrad; PRMLT; blockSQP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ArgoCLP

Software Authors:   Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag
Cited in: 12 Publications (2011–2020)
Related Software: Coq; GCLC; TPTP; GEX; GeoGebra; Isar; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

MUSTA

Software Authors:   Toro, E.F.
Cited in: 12 Publications (2005–2018)
Related Software: GFORCE; HE-E1GODF; SHASTA; vHLLE; CUDA; HLLE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

ODEtools

Software Authors:   Cheb-Terrab, E.S.; Duarte, L.G.S.; Da Mota, L.A.C.P.
Cited in: 12 Publications (1997–2021)
Related Software: Maple; PDEtools; deal.ii; RKC; MuPAD; Lsolver; …
Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

PhyloNet

Software Authors:   Than, C., Ruths, D., Nakhleh, L.
Cited in: 10 Publications (2010–2022)
Related Software: PhyloNetworks; MSCquartets; RIATA-HGT; iGTP; DupTree; ASTRAL-II; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Operations research, mathematical programming (90-XX)

Poblano

Software Authors:   Daniel M. Dunlavy; Tamara G. Kolda; Evrim Acar
Cited in: 12 Publications (2012–2021)
Related Software:
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

PRocH

Software Authors:   Cezary Kaliszyk; Josef Urban
Cited in: 12 Publications (2013–2018)
Related Software: HOL Light; Flyspeck; E Theorem Prover; Mizar; TPTP; z3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

NewtonKKTqp

Software Authors:   Absil, P.-A.; Tits, André L
Cited in: 11 Publications (2006–2022)
Related Software: MINQ; CPLEX; CUTEr; MINQ8; reducedLP; quadprogIP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

AMIGO

Software Authors:   J. A. Martínez, L. G. Casado, I. García, B. Tóth
Cited in: 10 Publications (2004–2014)
Related Software: INTOPT_90; PROFIL/BIAS; C-XSC; C-XSC 2.0
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

repolr

Software Authors:   Parsons, Nick R.; Costa, Matthew L.; Achten, Juul; Stallard, Nigel
Cited in: 9 Publications (2009–2020)
Related Software: R; geepack; SAS; multgee; PROC GENMOD; SPSS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Albany/FELIX

Software Authors:   I. Tezaur, M. Perego, A. Salinger, R. Tuminaro, S. Price
Cited in: 8 Publications (2015–2022)
Related Software: ISSM; Elmer/Ice; SMIP-HOM; MueLu; Trilinos; FROSch; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

sldg

Software Authors:   Einkemmer, Lukas
Cited in: 8 Publications (2016–2021)
Related Software: Vador; GYSELA; FFTW; mftoolbox; CYLGYR; QUALIMUWABA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

FiOrdOs

Software Authors:   F. Ullmann, S. Richter
Cited in: 7 Publications (2015–2022)
Related Software: CVXGEN; qpOASES; MPT; fast_mpc; FORCES NLP; GRAMPC; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

FOM

Software Authors:   Beck, Amir; Guttmann-Beck, Nili
Cited in: 6 Publications (2019–2022)
Related Software: TFOCS; LSQR; SIRF; CCPi-Regularisation; Savu; GlobalBioim; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

MADNESS

Software Authors:   Reuter, Matthew G.; Hill, Judith C.; Harrison, Robert J.
Cited in: 6 Publications (2012–2018)
Related Software: BLIS; TTC; P3DFFT; TensorFlow; HPTT; Eigen; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Functional analysis (46-XX)

SEISCOPE

Software Authors:   L. Métivier, R. Brossier
Cited in: 6 Publications (2016–2022)
Related Software: L-BFGS; MUMPS; GEMSFITS; EMD; GLPK; revolve; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Geophysics (86-XX)

EasyDyn

Software Authors:   O. Verlinden,G. Kouroussis,S. Datoussaid, C. Conti
Cited in: 5 Publications (2008–2022)
Related Software: Modelica; ABAQUS; HOTINT; ROBOTRAN; MBDyn
Main Fields: Mechanics of particles and systems (70-XX)

LRinv

Software Authors:   Kawabe, M., Glück, R.
Cited in: 6 Publications (2009–2022)
Related Software: Theseus; HAMPI; KLEE; LLVM; z3; Slothrop; …
Main Fields: Computer science (68-XX)

RIDC

Software Authors:   Ong, Benjamin W.; Haynes, Ronald D.; Ladd, Kyle
Cited in: 6 Publications (2016–2021)
Related Software: XBraid; pySDC; PETSc; PFASST; SWEET; Jupyter; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

AFACx

Software Authors:   Lee, Barry; McCormick, Stephen F.; Philip, Bobby; Quinlan, Daniel J.
Cited in: 5 Publications (2003–2014)
Related Software: PETSc; RODAS; SUNDIALS; Wesseling; Overture; AMR++
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

AIDE

Software Authors:   Sashank J. Reddi, Jakub Konečný, Peter Richtárik, Barnabás Póczós, Alex Smola
Cited in: 5 Publications (2017–2020)
Related Software: DiSCO; HOGWILD; DSCOVR; ADD-OPT; Apache Spark; SGDLibrary; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

NEMOH

Software Authors:   Babarit, A.
Cited in: 4 Publications (2020–2022)
Related Software: OpenFOAM; Matplotlib; xarray; pytest; VTK; Meshmagick; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Optics, electromagnetic theory (78-XX)

VeriCon

Software Authors:   Ball, T., Bjorner, N., Gember, A., Itzhaky, S., Karbyshev, A., Sagiv, M., Schapira, M., Valadarsky, A.
Cited in: 5 Publications (2014–2021)
Related Software: Anteater; NetKAT; Kuai; VeriFlow; Frenetic; LoLA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Proofwatch

Software Authors:   Goertzel, Zarathustra; Jakubův, Jan; Schulz, Stephan; Urban, Josef
Cited in: 4 Publications (2018–2021)
Related Software: E Theorem Prover; ENIGMA; MaLeCoP; VAMPIRE; MPTP 0.2; XGBoost; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Soft PARticle Code

Software Authors:   Schneider-Muntau, Barbara; Chen, Chien-Hsun; Bathaeian, S. M. Iman
Cited in: 4 Publications (2013–2018)
Related Software: MESHFREE
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ACDS

Software Authors:   Vorontsova, E. A.; Gasnikov, A. V.; Gorbunov, E. A.
Cited in: 3 Publications (2019)
Related Software: GitHub; BRENT; DiffSharp
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Operations research, mathematical programming (90-XX)

CALREL

Software Authors:   Liu P-L, Lin H-Z, Der Kiureghian A
Cited in: 3 Publications (1991–2008)
Related Software:
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

CDCS

Software Authors:   Yang Zheng, Giovanni Fantuzzi, Antonis Papachristodoulou, Paul Goulart, Andrew Wynn
Cited in: 3 Publications (2018–2020)
Related Software: SCS; GitHub; YALMIP; SDPT3; SeDuMi; SparseCoLO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Fluid mechanics (76-XX); Operations research, mathematical programming (90-XX)

ConCon

Software Authors:   T. Sternagel, C. Sternagel
Cited in: 3 Publications (2015–2017)
Related Software: Isabelle/HOL; AProVE; Nagoya Termination Tool; Matchbox; CoLoR; CSI; …
Main Fields: Computer science (68-XX)

DUNE-FEM-DG

Software Authors:   Andreas Dedner; Stefan Girke; Robert Klöfkorn; Tobias Malkmus
Cited in: 3 Publications (2019–2022)
Related Software: Dune-FemPy; Python; DUNE-FEM; Feel++; deal.ii; DUNE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

DuQuad

Software Authors:   I. Necoara, S. Kvamme
Cited in: 3 Publications (2015–2022)
Related Software: qpOASES; VIATOC; GRAMPC; ACADO; PANOC; OpEn; …
Main Fields: (04-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

JFNK

Software Authors:   Lemieux, Jean-François; Price, Stephen F.; Evans, Katherine J.; Knoll, Dana; Salinger, Andrew G.; Holland, David M.; Payne, Antony J.
Cited in: 3 Publications (2011–2016)
Related Software: NKA; CASMO; CESAM; CGS; CESM; SMIP-HOM; …
Main Fields: Fluid mechanics (76-XX); Statistical mechanics, structure of matter (82-XX); Astronomy and astrophysics (85-XX)

KReator

Software Authors:   Finthammer, Marc; Thimm, Matthias
Cited in: 3 Publications (2012)
Related Software: Alchemy; ProbLog
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

libeikonal

Software Authors:   Potter, Samuel F.; Cameron, Maria K.
Cited in: 3 Publications (2019–2022)
Related Software: GitHub; EfficientJetMarcher; libolim; Algorithm 360; Python; scikit-image; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX)

LMEF

Software Authors:   D. S. Vlachos; T. E. Simos
Cited in: 3 Publications (2010–2018)
Related Software: Matlab
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

QuickFOIL

Software Authors:   Zeng, Q.; Patel, JM; Page, D.
Cited in: 3 Publications (2019–2022)
Related Software: XGBoost; Aleph; nFOIL; kFOIL; UCI-ml; shap; …
Main Fields: Computer science (68-XX)

FactorialSeriesTools

Software Authors:   Barkatou, Moulay A.; Cluzeau, Thomas; El Bacha, Carole
Cited in: 2 Publications (2018–2021)
Related Software: Maple; PseudoLinearSystems
Main Fields: Special functions (33-XX); Difference and functional equations (39-XX); Computer science (68-XX)

metaLik

Software Authors:   Annamaria Guolo, Cristiano Varin
Cited in: 1 Publication (2016)
Related Software: R; meta; mvmeta; metafor; rmeta; betareg; …
Main Fields: Statistics (62-XX)

Regtheory.jl

Software Authors:   Valkonen, T.
Cited in: 2 Publications (2021–2022)
Related Software: Triangle
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

DSelect-k

Software Authors:   Hussein Hazimeh, Zhe Zhao, Aakanksha Chowdhery, Maheswaran Sathiamoorthy, Yihua Chen, Rahul Mazumder, Lichan Hong, Ed H. Chi
Cited in: 0 Publications
Related Software: MTLV; MultiNet++; RMTL; PyTorch; Python; LibMTL
Main Fields:

GIFGA

Software Authors:   Delgadillo, Ricardo; Lu, Jianfeng; Yang, Xu
Cited in: 1 Publication (2016)
Related Software:
Main Fields: Approximations and expansions (41-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

HBOQ(14)4

Software Authors:   Nguyen, Ba Truong; Sharp, Philip W.; Vaillancourt, Rémi
Cited in: 1 Publication (2008)
Related Software: ode113; Matlab
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

HEDES

Software Authors:   Rodr\'{\i}guez, M.J.; Parets, J.; Paderewski, P.; Anaya, A.; Hurtado, M.V.
Cited in: 1 Publication (2000)
Related Software: VisualWorks
Main Fields: Computer science (68-XX)

HLL-2D

Software Authors:   Capdeville, G.
Cited in: 1 Publication (2011)
Related Software: RIEMANN; HLLE; HLLC
Main Fields: Fluid mechanics (76-XX)

IQC-Game

Software Authors:   Zhang, Guodong; Bao, Xuchan; Lessard, Laurent; Grosse, Roger
Cited in: 1 Publication (2021)
Related Software: Wasserstein GAN; AlexNet; SBEED; GitHub; ImageNet; PESTO; …
Main Fields: Computer science (68-XX)

Maxis

Software Authors:   Lin, Zhiwei; Jiang, Shaoen; Wu, Shunchao; Kuang, Longyu
Cited in: 1 Publication (2011)
Related Software: MULTI2D
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

maxwell

Software Authors:   Bauer, Carl A.; Werner, Gregory R.; Cary, John R.
Cited in: 1 Publication (2013)
Related Software: GitHub; ML; Anasazi; Trilinos
Main Fields: Optics, electromagnetic theory (78-XX)

MLWeaving

Software Authors:   Zeke Wang, Kaan Kara, Hantian Zhang, Gustavo Alonso, Onur Mutlu, Ce Zhang
Cited in: 1 Publication (2022)
Related Software: Spector; NERO; StreamBox-HBM; Shuhai; OpenCL
Main Fields: Computer science (68-XX)

PrHERBY

Software Authors:   Kim, Choon Kyu
Cited in: 1 Publication (2004)
Related Software: HERBY; Gandalf; HOL; TPTP
Main Fields: Computer science (68-XX)

pyhmc

Software Authors:   I. T. Nabney, A. Vehtari, Koepsell K., McGibbon R. T.
Cited in: 1 Publication (2020)
Related Software: NUTS; MADE; Glow; FFJORD; NICE; GitHub; …
Main Fields: Computer science (68-XX)

Razor

Software Authors:   Salman Saghafi; Daniel J. Dougherty
Cited in: 1 Publication (2015)
Related Software: iProver; iProver-Eq; Kodkod; Mace4; E-Darvin; z3; …
Main Fields: Computer science (68-XX)

Sofia

Software Authors:   Kovásznai, Gergely
Cited in: 1 Publication (2005)
Related Software:
Main Fields: Computer science (68-XX)

spgs

Software Authors:   Andrew Hart, Servet Martínez
Cited in: 1 Publication (2019)
Related Software:
Main Fields: Probability theory and stochastic processes (60-XX); Operations research, mathematical programming (90-XX)

Whispec

Software Authors:   Shao, D., Khurshid, S., Perry, D.E.
Cited in: 1 Publication (2018)
Related Software: WhyLine; VERMEER; Bordeaux; cddiff; CD2Alloy; CompoSAT; …
Main Fields: Computer science (68-XX)

PATHNLP

Software Authors:   University of Wisconsin - Madison
Cited in: 0 Publications
Related Software:
Main Fields: