×

Found 63 Software Packages (Results 1–63)

GMRFLib

Software Authors:   Rue, Haa rvard; Held, Leonhard
Cited in: 353 Publications (1991–2022)
Related Software: R; spBayes; BayesDA; FRK; Fahrmeir; R-INLA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

iProver

Software Authors:   Korovin, Konstantin
Cited in: 54 Publications (2008–2022)
Related Software: TPTP; VAMPIRE; E Theorem Prover; SPASS; z3; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SOLA-VOF

Software Authors:   B.D. Nichols, C.W. Hirt, R.S. Hotchkiss
Cited in: 45 Publications (1984–2022)
Related Software: NASA-VOF2D; RIPPLE; SLIC; Gerris; Flow-3D; GENSMAC3D; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

cc(FD)

Software Authors:   Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
Cited in: 17 Publications (1998–2021)
Related Software: CPLEX; Choco; COMET; MINION; Oz; Gecode; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

MetTeL

Software Authors:   Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad
Cited in: 15 Publications (2011–2021)
Related Software: LoTREC; KL-ONE; Gen2sat; MSPASS; E Theorem Prover; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Spartacus

Software Authors:   Daniel Götzmann; Mark Kaminski; Gert Smolka
Cited in: 14 Publications (2010–2021)
Related Software: HTab; FaCT++; InKreSAT; HyLoTab; HyLoRes; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

qHiPSTER

Software Authors:   Mikhail Smelyanskiy, Nicolas P. D. Sawaya, Alán Aspuru-Guzik
Cited in: 6 Publications (2016–2021)
Related Software: LIQUi; ProjectQ; Python; OpenFermion; Strawberry Fields; QISKit; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

SCASY

Software Authors:   Granat, Robert; Jonsson, Isak; Kågström, Bo
Cited in: 12 Publications (2009–2020)
Related Software: ScaLAPACK; Algorithm 432; LAPACK; mctoolbox; recsy; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

AlgDesign

Software Authors:   Wheeler R
Cited in: 1 Publication (2022)
Related Software: R; conf.design; SAS; rsm; DoE.wrapper; DoE.base; …
Main Fields: Statistics (62-XX)

iProver-Eq

Software Authors:   Korovin, Konstantin; Sticksel, Christoph
Cited 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)

recsy

Software Authors:   Granat, Robert; Jonsson, Isak; Kågström, Bo
Cited in: 8 Publications (2004–2022)
Related Software: mctoolbox; BLAS; GEMM; ScaLAPACK; SCASY; Algorithm 432; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

InKreSAT

Software Authors:   Kaminski, Mark; Tebbi, Tobias
Cited in: 7 Publications (2013–2021)
Related Software: Spartacus; BDDTab; FaCT++; MiniSat; MSPASS; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

featureCounts

Software Authors:   Liao Y, Smyth GK, Shi W
Cited in: 5 Publications (2016–2018)
Related Software: R; Bioconductor; edgeR; DEseq; BEDTools; MEDIPS; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

HPTT

Software Authors:   Paul Springer, Tong Su, Paolo Bientinesi
Cited in: 3 Publications (2017–2021)
Related Software: TTC; P3DFFT; TensorFlow; Eigen; FFTW; BLIS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Petabricks

Software Authors:   Ansel, J., Chan, C., Wong, Y.L., Olszewski, M., Zhao, Q., Edelman, A., Amarasinghe, S.
Cited in: 3 Publications (2014–2019)
Related Software: OSKI; FFTW; SPIRAL; CUDA; OpenCL; SparseMatrix; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Feather-Trace

Software Authors:   Brandenburg B, Anderson J
Cited in: 4 Publications (2010–2013)
Related Software: AQuoSA; PAPI; LITMUS; CIL; PhTM; STAMP; …
Main Fields: Computer science (68-XX)

Lotrecscheme

Software Authors:   François Schwarzentruber
Cited in: 4 Publications (2011–2015)
Related Software: LoTREC; SCIFF; Scheme; PVS
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ROSE

Software Authors:   Dan Quinlan
Cited in: 4 Publications (2003–2010)
Related Software: SUIF; GAMS; AMPL; STLlint; Sage++; ParaWise; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SchedCAT

Software Authors:   Björn B. Brandenburg
Cited in: 4 Publications (2016–2019)
Related Software: GitHub; Storm; mpmath; PRISM; PICO; RTSIM
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

SPIS

Software Authors:   Roussel, J.; Rogier, F.; Dufour, G.; Mateo-Velez, J.; Forest, J.; Hilgers, A.; Rodgers, D.; Girard, L.; Payan, D.
Cited in: 4 Publications (2010–2021)
Related Software: PSC; OSIRIS; SHARP; SYCL; Cabana; EMPIRE-PIC; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

SprayList

Software Authors:   Dan Alistarh, Justin Kopinsky, Jerry Li, Nir Shavit
Cited in: 4 Publications (2017–2019)
Related Software: DataSketches; Hillview; HyperLogLog; CBPQ
Main Fields: Computer science (68-XX)

TWB

Software Authors:   Abate, Pietro; Goré, Rajeev
Cited in: 3 Publications (2009–2019)
Related Software: LoTREC; MSPASS; SableCC; Lua; FaCT++; leanTAP
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Algorithm 894

Software Authors:   Koikari, S.
Cited in: 3 Publications (2009–2011)
Related Software: MATLAB expm; mctoolbox; xLACON; apfloat; Expint; LAPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

ERBlox

Software Authors:   Bahmani, Zeinab; Bertossi, Leopoldo; Vasiloglou, Nikolaos
Cited in: 2 Publications (2017–2019)
Related Software: LogicBlox; LogiQL; Datalog
Main Fields: Computer science (68-XX)

FLUPS

Software Authors:   Caprace, Denis-Gabriel; Gillis, Thomas; Chatelain, Philippe
Cited in: 3 Publications (2021–2022)
Related Software: IIMPACK; glmGamPoi; ppmlhdfe; CaNS; Poissonsolver; PoisFFT; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

HMRSVP

Software Authors:   Tseng, Chien-Chao; Lee, Gwo-Chuan; Liu, Ren-Shiou; Wang, Tsan-Pin
Cited in: 2 Publications (2003)
Related Software: MRSVP
Main Fields: Computer science (68-XX)

LAWRA

Software Authors:   Andersen, B. S.; Gustavson, F.; Karaivanov, A.; Wa\'sniewski, J.; Yalamov, P. Y.
Cited in: 3 Publications (1999–2016)
Related Software: LAPACK; KBLAS; MAGMA; CUBLAS; PARASOL; PARASPAR; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

blockCV

Software Authors:   Roozbeh Valavi, Jane Elith, José Lahoz-Monfort, Gurutzeta Guillera-Arroita
Cited in: 2 Publications (2020–2022)
Related Software: TPST; STARX; Triangulation; Arc_Mat; R-INLA; R; …
Main Fields: Statistics (62-XX)

CBPQ

Software Authors:   Braginsky, Anastasia; Cohen, Nachshon; Petrank, Erez
Cited in: 2 Publications (2016–2018)
Related Software: SprayList
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Emmerald

Software Authors:   Aberdeen, D.; Baxter, J.
Cited in: 2 Publications (2001–2016)
Related Software: SPIKE; PHiPAC; ATLAS
Main Fields: Numerical analysis (65-XX)

FaCE

Software Authors:   I.J. Thompson, F.M. Nunes, B.V. Danilin
Cited in: 2 Publications (2004–2005)
Related Software:
Main Fields: Mechanics of particles and systems (70-XX)

HiperTM

Software Authors:   Hirve, Sachin; Palmieri, Roberto; Ravindran, Binoy
Cited in: 1 Publication (2017)
Related Software: PostgreSQL; TPC-C
Main Fields: Computer science (68-XX)

Noble

Software Authors:   H. Sundell, P. Tsigas
Cited in: 2 Publications (2008–2015)
Related Software: Intel TBB; Python
Main Fields: Computer science (68-XX)

QNAT

Software Authors:   Kaur, H.T.; Manjunath, D.; Bose, S.K.
Cited in: 1 Publication (2001)
Related Software: SPNP; MersenneTwister; Möbius; SMART_; GreatSPN 1.7
Main Fields: Computer science (68-XX)

Rover

Software Authors:   Anthony D. Joseph, Alan F. de Lespinasse, Joshua A. Tauber, David K. Gifford, M. Frans Kaashoek
Cited in: 0 Publications
Related Software: AmbientTalk; JCobox; Kilim; Featherweight Java; PLT Redex; Linda; …
Main Fields:

Tornado

Software Authors:   Ben Darnell; et al.
Cited in: 0 Publications
Related Software: AQUAD; RQDA; wvWare; qcoder; qdap; SQLite; …
Main Fields:

Tweezercalib

Software Authors:   Poul Martin Hansen, Iva Marija Tolic-Nørrelykke, Henrik Flyvbjerg, Kirstine Berg-Sørensen
Cited in: 2 Publications (2006)
Related Software: Matlab
Main Fields: Mechanics of particles and systems (70-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

USPS

Software Authors:   Obenchain RL
Cited in: 0 Publications
Related Software: rpart; R; colorspace; ggplot2; gplots; TeachingDemos; …
Main Fields:

AdELL

Software Authors:   Marco Maggioni; Tanya Berger-Wolf
Cited in: 1 Publication (2017)
Related Software: CoAdELL; BiELL; LightSpMV; CSR5; moderngpu; yaSpMV; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

ANAPSID

Software Authors:   Maribel Acosta, Maria-Esther Vidal, Tomas Lampo, Julio Castillo, Edna Ruckhaus
Cited in: 0 Publications
Related Software:
Main Fields:

AS 224

Software Authors:   Dean, A.M.
Cited in: 1 Publication (1987)
Related Software:
Main Fields: Statistics (62-XX)

Async

Software Authors:   Jérémie Dimino; Xavier Clerc; et al.
Cited in: 1 Publication (2016)
Related Software: Lwt; MultiMLton; HaLVM; GitHub; Oracle; GHC; …
Main Fields: Computer science (68-XX)

BigMatch

Software Authors:   Yancey WE
Cited in: 1 Publication (2020)
Related Software: pspearman; permutations; expperm; permute; microbenchmark; lpSolve; …
Main Fields: Statistics (62-XX)

BioSpaun

Software Authors:   Chris Eliasmith, Jan Gosmann, Xuan Choo
Cited in: 1 Publication (2021)
Related Software: SpiNNaker; Nengo; OSQP; CVXOPT
Main Fields: Biology and other natural sciences (92-XX)

Blosc

Software Authors:   Francesc Alted; et al.
Cited in: 1 Publication (2020)
Related Software: zfp; GitHub; mctoolbox
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

CUMP

Software Authors:   Nakayama, T.
Cited in: 1 Publication (2016)
Related Software: GPUprec; MPIGMP; PLASMA; MAGMA; Arb; Elemental; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX)

DPOTF3

Software Authors:   Gustavson, Fred G.; Waśniewski, Jerzy; Dongarra, Jack J.; Herrero, José R.; Langou, Julien
Cited in: 1 Publication (2013)
Related Software: Algorithm 679; BLAS; ScaLAPACK; LAPACK
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Erlang-B

Software Authors:   Zeng, Guoping
Cited in: 1 Publication (2010)
Related Software:
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

FASTEST-3D

Software Authors:   Christoph Scheit, Georg Hager, Jan Treibig, Stefan Becker, Gerhard Wellein
Cited in: 1 Publication (2007)
Related Software: LESOCC
Main Fields: Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

iRoCoDe

Software Authors:   Karmakar, Sayantani; Varghese, Cini; Haque, Md. Ashraful; Jaggi, Seema; Harun, Mohd; Varghese, Eldho
Cited in: 1 Publication (2023)
Related Software: R
Main Fields: Statistics (62-XX)

MassiveThreads

Software Authors:   Jun Nakashima; Kenjiro Taura
Cited in: 0 Publications
Related Software:
Main Fields:

PHIST

Software Authors:   Thies, Jonas; Röhrig-Zöllner, Melven; Overmars, Nigel; Basermann, Achim; Ernst, Dominik; Hager, Georg; Wellein, Gerhard
Cited in: 1 Publication (2020)
Related Software: ARPACK; Anasazi; Trilinos; PRIMME; PETSc; SLEPc
Main Fields: Numerical analysis (65-XX)

PoLAPACK

Software Authors:   Choi, Jaeyoung
Cited in: 1 Publication (2001)
Related Software: PUMMA; PLAPACK; SUMMA; ScaLAPACK; LAPACK; ATLAS
Main Fields: Computer science (68-XX)

pupyMPI

Software Authors:   Bromer, Rune; Hantho, Frederik; Vinter, Brian
Cited in: 0 Publications
Related Software: mpi4py
Main Fields:

pyvistaqt

Software Authors:   PyVista Developers
Cited in: 0 Publications
Related Software: ABAQUS; SAP2000; VTK; DYANAS; MSBridge; PileGroupTool; …
Main Fields:

rIP

Software Authors:   Ryan Kennedy, Philip Waggoner, Scott Clifford, Bob Rudis
Cited in: 0 Publications
Related Software: R
Main Fields:

Semi-stencil

Software Authors:   de la Cruz, Raúl; Araya-Polo, Mauricio
Cited in: 1 Publication (2014)
Related Software: PAPI; likwid; OCTOPUS; Chombo
Main Fields: Numerical analysis (65-XX)

SmaggIce

Software Authors:   Kreeger RE Baez M Braun DC Schilling HW Vickerman MB
Cited in: 1 Publication (2012)
Related Software: FENSAP-ICE
Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

SolarPILOT

Software Authors:   Wagner, Mj; Wendelin, T.
Cited in: 1 Publication (2020)
Related Software: CPLEX; AMPL
Main Fields: Operations research, mathematical programming (90-XX)

StyleSwin

Software Authors:   Bowen Zhang, Shuyang Gu, Bo Zhang, Jianmin Bao, Dong Chen, Fang Wen, Yong Wang, Baining Guo
Cited in: 0 Publications
Related Software: Recycle-GAN; GaitSet; ViT; GaitPart; DensePose; PyTorch; …
Main Fields:

Tatoo

Software Authors:   J. Cervelle, R. Forax, G. Roussel
Cited in: 0 Publications
Related Software: PADS; YACC; GlassFish; ANTLR
Main Fields:

DiGGer

Software Authors:   Neil Coombes
Cited in: 0 Publications
Related Software:
Main Fields:

Train-o-matic

Software Authors:   Pasini, Tommaso; Navigli, Roberto
Cited in: 0 Publications
Related Software:
Main Fields: