×

Found 109 Software Packages (Results 1–100)

Adam

Software Authors:   Diederik P. Kingma, Jimmy Ba
Referenced in: 943 Publications (2016–2022)
Related Software: TensorFlow; ImageNet; PyTorch; AlexNet; GitHub; DGM; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

KELLEY

Software Authors:   Kelley, C.T.
Referenced 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)

CafeOBJ

Software Authors:   Mori, Akira; Futatsugi, Kokichi
Referenced in: 160 Publications (1997–2021)
Related Software: Maude; OBJ3; CASL; ELAN; ITP; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Algebraic geometry (14-XX)

NESTA

Software Authors:   Becker, Stephen; Bobin, Jerome; Candes, Emmanuel J.
Referenced in: 133 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
Referenced in: 121 Publications (2013–2022)
Related Software: Stan; BayesDA; R; RStan; PyMC; UCI-ml; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

SETHEO

Software Authors:   Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W.
Referenced in: 114 Publications (1990–2021)
Related Software: TPTP; OTTER; SPASS; E-SETHEO; SATCHMO; VAMPIRE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

FPC_AS

Software Authors:   Zaiwen Wen, Wotao Yin
Referenced in: 72 Publications (2010–2022)
Related Software: PDCO; SPGL1; NESTA; TwIST; CoSaMP; LIBSVM; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

ipfilter

Software Authors:   Renata Silva; Luís Nunes Vicente; Michael Ulbrich; Stefan Ulbrich
Referenced 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)

PROC NLMIXED

Software Authors:   SAS
Referenced in: 57 Publications (2001–2022)
Related Software: SAS; SAS/STAT; R; Stata; glimmix; WinBUGS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ADADELTA

Software Authors:   Matthew D. Zeiler
Referenced 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
Referenced in: 68 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
Referenced in: 58 Publications (2016–2022)
Related Software: Mosek; GitHub; CVXPY; ECOS; Julia; SDPT3; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

DENFIS

Software Authors:   Kasabov NK, Song Q
Referenced in: 27 Publications (2004–2020)
Related Software: ANFIS; ElemStatLearn; UCI-ml; MPI; JStatCom; GenSoFNN; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CONLIN

Software Authors:   C. Fleury
Referenced in: 47 Publications (1988–2020)
Related Software: top.m; SCPIP; Matlab; SNOPT; top88.m; PENNON; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

TRICE

Software Authors:   Dennis, J.E.; Heinkenschloss, Matthias; Vicente, Lu'{i}s N.
Referenced in: 46 Publications (1997–2021)
Related Software: LANCELOT; Ipopt; SNOPT; 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.
Referenced 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.
Referenced 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)

QSDPNAL

Software Authors:   Li, X.D., Sun, D.F., Toh. K.-C.
Referenced in: 33 Publications (2016–2022)
Related Software: SDPNAL+; QSDP; Gurobi; CPLEX; Matlab; LIBSVM; …
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
Referenced in: 35 Publications (2014–2022)
Related Software: glasso; Saga; huge; FASTCLIME; GMRFLib; R; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

GFORCE

Software Authors:   Toro, E.F.; Titarev, V.A.
Referenced 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.
Referenced in: 23 Publications (2005–2022)
Related Software: MODFLOW; MODFLOW-2000; HYTEC; HYDRUS; HYDROGEOCHEM; GSLIB; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Zenon

Software Authors:   Bonichon, Richard; Delahaye, David; Doligez, Damien
Referenced in: 19 Publications (2007–2021)
Related Software: Coq; TPTP; dedukti; Isabelle/HOL; FoCaLiZe; BWare; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

SDPEN

Software Authors:   G. Liuzzi, S. Lucidi, M. Sciandrone, K. Truemper
Referenced 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)

DCTP

Software Authors:   Letz, R., Stenz, G
Referenced in: 21 Publications (2001–2017)
Related Software: E Theorem Prover; SPASS; VAMPIRE; OTTER; SATCHMO; TPTP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SCR

Software Authors:   Bourguiba, Imen; Moa, Belaid
Referenced 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)

ConicBundle

Software Authors:   Christoph Helmberg
Referenced in: 18 Publications (2007–2021)
Related Software: CPLEX; SCIP; CSDP; MIQCR-CB; ddsip; PySP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

xPand

Software Authors:   Pitrou, Cyril; Roy, Xavier; Umeh, Obinna
Referenced in: 17 Publications (2013–2022)
Related Software: xPert; xPerm; xAct; Cadabra; xTras; Spinors; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

2EBD-HPE

Software Authors:   Monteiro, Renato D. C.; Ortiz, Camilo; Svaiter, Benar F.
Referenced in: 15 Publications (2014–2021)
Related Software: SDPNAL+; DIMACS; SDPT3; Matlab; Biq Mac; QAPLIB; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX)

HOL-Boogie

Software Authors:   Böhme, Sascha; Leino, K.Rustan M.; Wolff, Burkhart
Referenced 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)

CRKSPH

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

ArgoCLP

Software Authors:   Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag
Referenced 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)

E-MaLeS

Software Authors:   Kühlwein, Daniel; Schulz, Stephan; Urban, Josef
Referenced in: 11 Publications (2013–2021)
Related Software: E Theorem Prover; VAMPIRE; MaLARea; BliStr; TPTP; MPTP 0.2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)

MUSTA

Software Authors:   Toro, E.F.
Referenced 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)

Poblano

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

repolr

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

OccBin

Software Authors:   Guerrieri, L; Iacoviello, M
Referenced in: 10 Publications (2017–2022)
Related Software: Dynare; Gensys; Uhlig Toolkit
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Temporal_Eigenvector_Centrality

Software Authors:   Taylor, Dane; Myers, Sean A.; Clauset, Aaron; Porter, Mason A.; Mucha, Peter J.
Referenced in: 10 Publications (2016–2021)
Related Software: GenLouvain; RolX; Mathematics Genealogy Project; SNAP; Supracentrality; Basemap; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

Tsukuba

Software Authors:   Nao Hirokawa; Aart Middeldorp
Referenced in: 10 Publications (2003–2008)
Related Software: AProVE; CARIBOO; CiME; MU-TERM; Tyrolean; TORPA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

UnQL

Software Authors:   Peter Buneman, Mary Fernandez, Dan Suciu
Referenced in: 10 Publications (2006–2018)
Related Software: XPath; XQuery; XDuce; CDuce; Quilt; MongoDB; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

ADMM_QAP

Software Authors:   Oliveira, Danilo Elias; Wolkowicz, Henry; Xu, Yangyang
Referenced in: 9 Publications (2016–2021)
Related Software: SDPNAL+; Mosek; QAPLIB; EIGIFP; Sieve-SDP; SDPLR; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX)

feeLLGood

Software Authors:   Kritsikis, E.; Vaysset, A.; Buda-Prejbeanu, L.D.; Alouges, F.; Toussaint, J.-C.
Referenced in: 9 Publications (2014–2021)
Related Software: DUNE; ADOL-C; hypre; DistMesh; OOMMF; NFFT3; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

RationalFirstintegrals

Software Authors:   Bostan, Alin; Chèze, Guillaume; Cluzeau, Thomas; Weil, Jacques-Arthur
Referenced in: 9 Publications (2015–2022)
Related Software: Lsolver; Maple; PSsolver; gfun
Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Ordinary differential equations (34-XX)

Albany/FELIX

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

iProver-Eq

Software Authors:   Korovin, Konstantin; Sticksel, Christoph
Referenced in: 8 Publications (2010–2017)
Related Software: iProver; TPTP; E Theorem Prover; E-Darvin; DCTP; Darwin; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

sldg

Software Authors:   Einkemmer, Lukas
Referenced 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)

ADM

Software Authors:   Zlatev, Zahari; Berkowicz, Ruwim; Prahm, Lars P.
Referenced in: 7 Publications (1983–2006)
Related Software: Simulink; RODAS; LAPACK; FFTPACK; Ode15s; MPI; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

MGTP

Software Authors:   Hasegawa, Ryuzo; Fujita, Hiroshi; Koshimura, Miyuki; Shirai, Yasuyuki
Referenced in: 6 Publications (1995–2013)
Related Software: SATCHMO; TPTP; MiniSat; FINDER; QMaxSAT; Scsat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SubIval

Software Authors:   Sowa, Marcin
Referenced in: 7 Publications (2017–2021)
Related Software: Mittag-Leffler; Fractional Heat Conduction Toolbox; Heat Conduction Toolbox; PSLF; mlf; Matlab; …
Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

ADF95

Software Authors:   Christian W. Straka
Referenced in: 5 Publications (2005–2016)
Related Software: ADIFOR; ADOL-C; Cosy; ADMAT; Autodiff; ADIC; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Hornlog

Software Authors:   Gallier, Jean H.; Raatz, Stan
Referenced in: 6 Publications (1987–1993)
Related Software: Ltur
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AIDE

Software Authors:   Sashank J. Reddi, Jakub Konečný, Peter Richtárik, Barnabás Póczós, Alex Smola
Referenced 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)

Aquarius

Software Authors:   Bonacina, Maria Paola; Hsiang, Jieh
Referenced in: 3 Publications (1994–2004)
Related Software: OTTER; METEOR; PARTHENON; Roo; SETHEO; RRL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

inpaintBCT

Software Authors:   März, Thomas
Referenced in: 5 Publications (2015–2020)
Related Software: MATLAB-Python-inpainting-codes; MathOverflow; CUDA; pottslab; circular; CircStats; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

OSGA

Software Authors:   Masoud Ahookhosh
Referenced in: 5 Publications (2016–2019)
Related Software: NESUN; TFOCS; Matlab; PDCO; Pegasos; UNLocBoX; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Soft PARticle Code

Software Authors:   Schneider-Muntau, Barbara; Chen, Chien-Hsun; Bathaeian, S. M. Iman
Referenced 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.
Referenced 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)

CDCS

Software Authors:   Yang Zheng, Giovanni Fantuzzi, Antonis Papachristodoulou, Paul Goulart, Andrew Wynn
Referenced 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)

DREAM

Software Authors:   Roman N. Lee, Kirill T. Mingulov
Referenced in: 3 Publications (2018–2021)
Related Software: FIRE5; LiteRed; FORM; Cuba; HIGLU; MultivariateApart; …
Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

DTRE

Software Authors:   Lee Blaine, Allen Goldberg
Referenced in: 3 Publications (1993–2015)
Related Software: Fiat; KIDS; OCaml; Coq; Specware; Nuprl; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

DUNE-FEM-DG

Software Authors:   Andreas Dedner; Stefan Girke; Robert Klöfkorn; Tobias Malkmus
Referenced 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)

FiOrDii

Software Authors:   Duarte, L.G.S.; da Mota, L.A.C.P.; Nunez, E.
Referenced in: 3 Publications (2007–2016)
Related Software: FiOrDi; Maple; ODEtools
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-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.
Referenced 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)

libeikonal

Software Authors:   Potter, Samuel F.; Cameron, Maria K.
Referenced 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
Referenced 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.
Referenced in: 3 Publications (2019–2022)
Related Software: XGBoost; Aleph; C4.5; nFOIL; kFOIL; UCI-ml; …
Main Fields: Computer science (68-XX)

WhaleProver

Software Authors:   Pavlov, V., Pak, V.
Referenced in: 3 Publications (2018–2019)
Related Software: Mace4; Prover9; Coq; GitHub; JProver; ileanCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Algorithm 982

Software Authors:   W. Van Snyder
Referenced in: 1 Publication (2017)
Related Software: Maple; ORIGEN2
Main Fields: Numerical analysis (65-XX)

BPM

Software Authors:   Figueiras, Edgar; Olivieri, David; Paredes, Angel; Michinel, Humberto
Referenced in: 2 Publications (2018–2020)
Related Software: PyUltraLight; QMBlender; imagetime1d; GP-SCL; AEDU; Gross-Pitaevskii; …
Main Fields: Partial differential equations (35-XX); Optics, electromagnetic theory (78-XX); Quantum theory (81-XX)

Bqplib

Software Authors:   Nayak, Rupaj Kumar; Mohanty, Nirmalya Kumar
Referenced in: 2 Publications (2019–2020)
Related Software: CVX; SDPT3; Rudy; SDPLR; SeDuMi; Matlab
Main Fields: Operations research, mathematical programming (90-XX)

FactorialSeriesTools

Software Authors:   Barkatou, Moulay A.; Cluzeau, Thomas; El Bacha, Carole
Referenced 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)

FER/Impact

Software Authors:   Feng, Zhi-Qiang; Magnain, Benoît; Cros, Jean-Michel
Referenced in: 2 Publications (2006)
Related Software:
Main Fields: Mechanics of deformable solids (74-XX)

FiOrDi

Software Authors:   Avellar, J.; Duarte, L.G.S.; da Mota, L.A.C.P.
Referenced in: 2 Publications (2014–2015)
Related Software: FiOrDii; Maple
Main Fields: Ordinary differential equations (34-XX)

FMM-VFD

Software Authors:   Abatchev, Zagid; Binder, Gary; Davis, Paul
Referenced in: 2 Publications (2021)
Related Software: eikonalfm; GitHub
Main Fields: Numerical analysis (65-XX); Geophysics (86-XX)

Graphsc

Software Authors:   Grechanik, S.A.
Referenced in: 2 Publications (2015)
Related Software: QuickSpec; HipSpec; Zeno; Refal; GitHub; SIMPLIFY; …
Main Fields: Computer science (68-XX)

lolliCoP

Software Authors:   Hodas, Joshua S.; Tamura, Naoyuki
Referenced in: 2 Publications (2001)
Related Software: OTTER; leanCoP; SETHEO; P.rex; MODPROF; QUBE; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

metaLik

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

NaSt2D

Software Authors:   Research Group M. Griebel
Referenced in: 2 Publications (1995–1998)
Related Software: NaSt3DGP; GENSMAC; NASTRAN; ADINA
Main Fields: Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

pFOSM

Software Authors:   Fragkos, K. B.; Papoutsis-Kiachagias, E. M.; Giannakoglou, K. C.
Referenced in: 2 Publications (2019–2022)
Related Software: OpenFOAM
Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-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)

SEMIFEM

Software Authors:   Basaga, H.B.; Kartal, M.E.; Bayraktar, A.
Referenced in: 2 Publications (2012–2015)
Related Software: ANSYS
Main Fields: Statistics (62-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-XX)

Slakje

Software Authors:   Ebner, Gabriel
Referenced in: 2 Publications (2019–2021)
Related Software: GAPT; leanCoP; TPTP; ILTP; nanoCoP; MleanCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

THEOPOGLES

Software Authors:   Mueller, Juergen
Referenced in: 2 Publications (1987–1989)
Related Software: SbReve2; InvX
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

VS2DT

Software Authors:   Healy R W, Ronan A D.
Referenced in: 2 Publications (2011–2017)
Related Software: EnKF; HYDRUS; CVODE
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Geophysics (86-XX)

ALIBABA

Software Authors:   Esping, Björn J.D.
Referenced in: 1 Publication (1986)
Related Software:
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Alpaqa

Software Authors:   Pieter Pas, Mathijs Schuurmans, Panagiotis Patrinos
Referenced in: 1 Publication (2022)
Related Software: UNLocBoX; ProximalAlgorithms.jl; OpEn; GitHub; ALGENCAN
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Braga Method

Software Authors:   Larchey-Wendling, Dominique; Monin, Jean-François
Referenced in: 1 Publication (2022)
Related Software: CompCert; OCaml; Coq
Main Fields: Mathematical logic and foundations (03-XX)

d02bhf

Software Authors:   The Numerical Algorithms Group Ltd
Referenced in: 1 Publication (2012)
Related Software: c05nbf; nag; NAG
Main Fields: Partial differential equations (35-XX); Operator theory (47-XX); Quantum theory (81-XX)

d03pef

Software Authors:   NAG
Referenced in: 1 Publication (2007)
Related Software: nag; NAG
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

DISCOVERY

Software Authors:   Vityaev, E.E.; Moskvitin, A.A.
Referenced in: 1 Publication (1993)
Related Software:
Main Fields: Computer science (68-XX)

GIFGA

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

GlowFit

Software Authors:   M. Puchalska, P. Bilski
Referenced in: 0 Publications
Related Software: deSolve; numOSL; Mathcad; Matlab; GCAFIT; R; …
Main Fields:

HBOQ(14)4

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

IQC-Game

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

LASSIE

Software Authors:   Tangherloni A, Nobile MS, Besozzi D, Mauri G, Cazzaniga P
Referenced in: 1 Publication (2019)
Related Software: GeneNetWeaver; Path2Models; SOSlib; BioPreDyn-bench; MMG; sgnesR; …
Main Fields: Biology and other natural sciences (92-XX)

Maxis

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

opty

Software Authors:   Jason K. Moore; Antonie van den Bogert
Referenced in: 0 Publications
Related Software: SOCS; PROPT; OTIS; GESOP; DIRCOL; DIDO; …
Main Fields:

PPBLAB

Software Authors:   Attarakih, M.; Al-Zyod, S.; Abu-Khader, M.; Bart, H.-J.
Referenced in: 1 Publication (2015)
Related Software: LLECMOD; FLUENT
Main Fields: Fluid mechanics (76-XX)

ProcessWithExpACF

Software Authors:   D.Bykhovsky
Referenced in: 0 Publications
Related Software: SDETools; Mathematica
Main Fields:

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)

PSsolver

Software Authors:   Avellar, J.; Duarte, LGS; da Mota, LACP
Referenced in: 1 Publication (2020)
Related Software: RationalFirstintegrals; Lsolver; Maple
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX)