×

Found 42 Software Packages (Results 1–42)

SQEMA

Software Authors:   Conradie, Willem; Goranko, Valentin
Referenced 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)

QPCOMP

Software Authors:   Billups, Stephen C.; Ferris, Michael C.
Referenced in: 32 Publications (1996–2021)
Related Software: PATH Solver; MCPLIB; GAMS; LANCELOT; MINOS; Matlab; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

COBS

Software Authors:   Xuming He, Pin Ng
Referenced in: 29 Publications (1999–2022)
Related Software: R; cobs; SemiPar; gamair; SparseM; SPARSKIT; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

ECHO

Software Authors:   L. Del Zanna, O. Zanotti, N. Bucciantini, P. Londrillo
Referenced in: 29 Publications (2008–2021)
Related Software: RIEMANN; HLLE; HE-E1GODF; WhiskyMHD; HARM; Pluto; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

KIVA-4

Software Authors:   Dr. Song-Charng Kong, Dr. Xiuling Wang, Dr. Darrell W. Pepper, Dr. Juan Heinrich
Referenced in: 27 Publications (2006–2020)
Related Software: Kiva-2; CHEMKIN; OpenFOAM; FLUENT; METIS; Chem1D; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

OPECgen

Software Authors:   Jiang, Houyuan; Ralph, Daniel
Referenced in: 20 Publications (1999–2019)
Related Software: MacMPEC; SDPT3; Matlab; SeDuMi; OR-Library; AMPL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

IbexOpt

Software Authors:   Araya, I., Trombettoni, G., Neveu, B.
Referenced in: 12 Publications (2012–2020)
Related Software: Numerica; INTBIS; IBEX; COCONUT; gaol; INTOPT_90; …
Main Fields: Field theory and polynomials (12-XX); Statistics (62-XX); Numerical analysis (65-XX)

ImplicitLNLMethods

Software Authors:   Conde, Sidafa; Gottlieb, Sigal; Grant, Zachary J.; Shadid, John N.
Referenced 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)

IOTA

Software Authors:   Sabrina Hempel
Referenced in: 12 Publications (2013–2021)
Related Software: ElemStatLearn; PDCO; BayesDA; INLOCANDA; Extended-GC; Brain Connectivity Toolbox; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Rk-opt

Software Authors:   Ketcheson, D.I., Parsani, M., Ahmadia, A.J.
Referenced in: 8 Publications (2015–2021)
Related Software: GitHub; RODAS; NodePy; Nek5000; Matplotlib; NumPy; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CANS+

Software Authors:   Matsumoto, Y.; Asahina, Y.; Kudoh, Y.; Kawashima, T.; Matsumoto, J.; Takahashi, H. R.; Minoshima, T.; Zenitani, S.; Miyoshi, T.; Matsumoto, R.
Referenced in: 6 Publications (2018–2021)
Related Software: Athena; AUSM; Pluto; HLLE; FaSTAR; SLAU2-HLLD; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

Monotonox

Software Authors:   Claessen, Koen; Lillieström, Ann; Smallbone, Nicholas
Referenced in: 4 Publications (2011–2013)
Related Software: HOL Light; TPTP; HOL; Kodkod; Isabelle/HOL; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Polynomials

Software Authors:   Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler, Alexander Bentkamp
Referenced in: 4 Publications (2017–2019)
Related Software: Groebner_Bases; Isabelle/HOL; Deep_Learning; Jordan Normal Forms; HOL; Isabelle; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

tsbart

Software Authors:   Starling, Jennifer E.; Murray, Jared S.; Carvalho, Carlos M.; Bukowski, Radek K.; Scott, James G.
Referenced in: 4 Publications (2020–2022)
Related Software: BartPy; possum; tsBCF; BART-BMA; mBART; BART; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Varun

Software Authors:   A. Apostolico, M. Comin, L. Parida
Referenced in: 4 Publications (2013–2018)
Related Software: MADMX; WordSpy; MotifMiner; WebMOTIFS; fREDUCE; SPACER; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

constrKriging

Software Authors:   H. Maatouk; Y. Richet
Referenced in: 3 Publications (2016–2017)
Related Software: GitHub; FRK; GMRFLib; pchip; DiceOptim; DiceKriging; …
Main Fields: Functional analysis (46-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

EigenCFA

Software Authors:   Prabhu, Tarun; Ramalingam, Shreyas; Might, Matthew; Hall, Mary
Referenced in: 3 Publications (2011–2012)
Related Software: PETSc; CUDA; THORS; TRecS; ARMC; SPIN
Main Fields: Computer science (68-XX)

INT

Software Authors:   Bundy, Alan
Referenced in: 3 Publications (1984–1992)
Related Software: PRESS; MACSYMA
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Real functions (26-XX)

micEcon

Software Authors:   Arne Henningsen
Referenced in: 1 Publication (2008)
Related Software: R; Mlogit; Stata; PReMiuM; gmnl; NLOGIT; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

monabs

Software Authors:   Kaiser, Alexander; Kroening, Daniel; Wahl, Thomas
Referenced in: 3 Publications (2014–2021)
Related Software: ACL2s; veriSoft; DDVerify; MAGIC; Threader; SLAB; …
Main Fields: Computer science (68-XX)

monmlp

Software Authors:   Alex J. Cannon
Referenced in: 1 Publication (2012)
Related Software: ggplot2; neuralnet; R; UCI-ml; MASS (R); h2o; …
Main Fields: Statistics (62-XX)

MWeb

Software Authors:   Analyti, Anastasia; Antoniou, Grigoris; Damasio, Carlos Viegas
Referenced in: 3 Publications (2011–2015)
Related Software: SPARQL; Smodels; TRIPLE; N3Logic; XSB; swrl; …
Main Fields: Computer science (68-XX)

SUSPECT

Software Authors:   Ceccon, Francesco; Siirola, John D.; Misener, Ruth
Referenced in: 3 Publications (2020–2022)
Related Software: ANTIGONE; MINOTAUR; MINLPLib; Pyomo; Ipopt; Muriqui; …
Main Fields: Operations research, mathematical programming (90-XX)

amsrpm

Software Authors:   Marc Kirchner; Benjamin Saussen; Hanno Steen; Judith Steen; Fred Hamprecht
Referenced in: 0 Publications
Related Software: R; ImpuR; spectrino; FluxSimulator; rpubchem; rcdk; …
Main Fields:

BINET

Software Authors:   Gautschi, Walter; Milovanović, Gradimir V.
Referenced in: 2 Publications (2018)
Related Software: OPQ; OrthogonalPolynomials; SRJAC
Main Fields: Special functions (33-XX); Numerical analysis (65-XX)

Datafun

Software Authors:   Arntzenius, Michael; Krishnaswami, Neelakantan R.
Referenced in: 2 Publications (2016–2022)
Related Software: Hakaru; TOY; Church; Mercury; PITA; PFLP; …
Main Fields: Computer science (68-XX)

Distance

Software Authors:   David Lawrence Miller
Referenced in: 1 Publication (2015)
Related Software: R; dsm; readdst; Rdistance; DSsim; mads; …
Main Fields: Statistics (62-XX)

L1PMA

Software Authors:   Demetriou, I.C.
Referenced in: 1 Publication (2016)
Related Software: Quicksort; SPSS
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

mBART

Software Authors:   Hugh A. Chipman, Edward I. George, Robert E. McCulloch, Thomas S. Shively
Referenced in: 2 Publications (2021–2022)
Related Software: bnpmr; BartPy; tsbart; BART; BASS; fdasrvf; …
Main Fields: Statistics (62-XX)

OrdFacReg

Software Authors:   Kaspar Rufibach
Referenced in: 1 Publication (2010)
Related Software: R; logcondens; isotone; LogConcDEAD
Main Fields: Statistics (62-XX)

PPCG_lrep

Software Authors:   Li, Xing; Shen, Chungen; Zhang, Lei-Hong
Referenced in: 2 Publications (2018–2020)
Related Software: CUTE; CG_DESCENT; CUTEr; SparseMatrix
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

3DFLUX

Software Authors:   Germaine, Emmanuel; Mydlarski, Laurent; Cortelezzi, Luca
Referenced in: 1 Publication (2013)
Related Software: channelflow
Main Fields: Fluid mechanics (76-XX)

HLL-2D

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

LimeTr

Software Authors:   Zheng, Peng; Barber, Ryan; Sorensen, Reed J. D.; Murray, Christopher J. L.; Aravkin, Aleksandr Y.
Referenced in: 1 Publication (2021)
Related Software: robustlmm; Python; Ipopt; lme4
Main Fields: Statistics (62-XX)

mod_binarymono.f90

Software Authors:   Gordon, Grey; Qiu, Shi
Referenced in: 1 Publication (2018)
Related Software:
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)

mpcheck

Software Authors:   Paul Zimmermann, Nathalie Revol, Patrick Pélissier
Referenced in: 1 Publication (2017)
Related Software: Algorithm 272; LLRANDOM; Algorithm 304; Algorithm 542; Algorithm 236; FNLIB; …
Main Fields: Numerical analysis (65-XX)

na21

Software Authors:   Kaufman, E.H.jun.; Leeming, D.J.; Taylor, G.D.
Referenced in: 1 Publication (2003)
Related Software: CDFCOR
Main Fields: Approximations and expansions (41-XX)

NeuralLog

Software Authors:   Zeming Chen, Qiyue Gao, Lawrence S. Moss
Referenced in: 0 Publications
Related Software: HILDIF; QANet; ERNIE; SQuAD; ContractNLI; ALBERT; …
Main Fields:

QPdecon

Software Authors:   Yang, Ran; Apley, Daniel W.; Staum, Jeremy; Ruppert, David
Referenced in: 1 Publication (2020)
Related Software: pyuvdata
Main Fields: Statistics (62-XX)

qrnn

Software Authors:   Alex J. Cannon
Referenced in: 1 Publication (2021)
Related Software: Brq; bayesQR; BayesDA; MASS (R); quantreg; R
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

quantregGrowth

Software Authors:   Vito M. R. Muggeo
Referenced in: 1 Publication (2019)
Related Software: BSquare; bayesQR; quantreg
Main Fields: Statistics (62-XX)

TIRA

Software Authors:   Meyer, Pierre-Jean; Devonport, Alex; Arcak, Murat
Referenced in: 1 Publication (2019)
Related Software: SCOTS; Flow*; PESSOA; SpaceEx; Ellipsoidal Toolbox; Matlab
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)