×

Found 81 Software Packages (Results 1–81)

PRISM

Software Authors:   Kwiatkowska, Marta; Norman, Gethin; Parker, David
Referenced in: 431 Publications (2001–2022)
Related Software: MRMC; Uppaal; SPIN; Bio-PEPA; Storm; PEPA; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

TOMLAB

Software Authors:   Holmstrom, K., Goran, A.O., Edvall, M.M.
Referenced in: 99 Publications (1999–2022)
Related Software: OPERA; NLPLIB; Matlab; SNOPT; EGO; MultiMin; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

PostgreSQL

Software Authors:   –
Referenced in: 52 Publications (2000–2022)
Related Software: Oracle; MySQL; Python; MS SQL Server; DB2; R; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

REVEAL

Software Authors:   Liang, S., Fuhrman, S., Somogyi, R
Referenced in: 22 Publications (2003–2022)
Related Software: KEGG; R; BoolNet; E-CELL; GEPASI; Macaulay2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

LUDWIG

Software Authors:   Desplat, Jean-Christophe; Pagonabarraga, Ignacio; Bladon, Peter
Referenced in: 22 Publications (2001–2018)
Related Software: Palabos; LB3D; Hemelb; MPI; Sailfish; ForestClaw; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Supremica

Software Authors:   Knut Akesson; Martin Fabian; Hugo Flordal; Robi Malik
Referenced in: 21 Publications (2009–2022)
Related Software: UMDES; libFAUDES; TCT; QuickCheck; MersenneTwister; AutoProof; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

TMSmesh

Software Authors:   Chen M., Lu B.
Referenced in: 21 Publications (2013–2020)
Related Software: APBS; MIBPB; tabipb; TABI; TetGen; AFMPB; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

ALPS

Software Authors:   B. Bauer et al
Referenced in: 14 Publications (2009–2019)
Related Software: ITensor; VirtualBox; LOBPCG; GitHub; Boost; TensorCalculus; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Split Step Explorer

Software Authors:   C. Cedzich, F. A. Grünbaum, C. Stahl, L. Velázquez, A. H. Werner, R. F. Werner
Referenced in: 16 Publications (2016–2022)
Related Software: Mathematica
Main Fields: Partial differential equations (35-XX); Operator theory (47-XX); Probability theory and stochastic processes (60-XX)

aiT

Software Authors:   AbsInt; Christian Ferdinand; Reinhold Heckmann
Referenced in: 8 Publications (2001–2011)
Related Software: SPEED; CPLEX; LLVM; Gurobi; ALF; pwcet; …
Main Fields: Computer science (68-XX)

quadprogIP

Software Authors:   Xia, Wei; Vera, Juan C.; Zuluaga, Luis F.
Referenced in: 11 Publications (2020–2022)
Related Software: QuadProgBB; CPLEX; GitHub; Gurobi; BARON; Eigen; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SpEC

Software Authors:   Hemberger, Daniel A.; Scheel, Mark A.; Kidder, Lawrence E.; Szilágyi, Béla; Lovelace, Geoffrey; Taylor, Nicholas W.; Teukolsky, Saul A.
Referenced in: 11 Publications (2011–2021)
Related Software: SpECTRE; Einstein Toolkit; yt; ASCL; Python; LORENE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

MicroEliece

Software Authors:   Eisenbarth, Thomas; Güneysu, Tim Author Profile; Heyse, Stefan; Paar, Christof
Referenced in: 10 Publications (2008–2021)
Related Software: McEliece; Kyber; SPHINCS; brnoeth.lib; Keccak
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Synthia

Software Authors:   Peter, H.-J., Ehlers, R., Mattmüller, R.
Referenced in: 7 Publications (2012–2020)
Related Software: UPPAAL TIGA; Uppaal; PRISM; REDLIB; CMC; Kronos; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Systems theory; control (93-XX)

FIREMAN

Software Authors:   Yuan, L.; Mai, J.; Su, Z.; Chen, H.; Chuah, C. N.; Mohapatra, P.
Referenced in: 6 Publications (2009–2020)
Related Software: margrave; Firmato; HOL-TestGen; CP-miner; Kodkod; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SHIELD

Software Authors:   Khedr, Alhassan; Gulak, Glenn; Vaikuntanathan, Vinod
Referenced in: 7 Publications (2016–2019)
Related Software: FHEW; HElib; fhe; JustGarble; UCI-ml; ELmD; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

SCALE 6.2

Software Authors:   Rearden, B.; Lefebvre, R.; Lefebvre, J.; Clarno, K.; Williams, M.; Petrie, L.; Mertyurek, U.
Referenced in: 6 Publications (2015–2021)
Related Software: DENOVO; Trilinos; SCALE; COBRA-TF; AMP; VERA; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Algorithm 722

Software Authors:   Cody, W.J.; Coonen, Jerome T.
Referenced in: 5 Publications (1993–2017)
Related Software: MACHAR; INTLIB; FloPoCo; CR-LIBM; PolyLib; Sollya; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Special functions (33-XX)

JudoSTM

Software Authors:   Olszewski, M., Cutler, J., Steffan, J.G.
Referenced in: 3 Publications (2012–2022)
Related Software: NOrec; DiSTM; Synchrobench; TLRW; TMunit; RingSTM; …
Main Fields: Computer science (68-XX)

ROOT

Software Authors:   I. Antcheva, et al
Referenced in: 2 Publications (2010–2021)
Related Software: ROOT; PYTHIA8; Cling; LALSuite; CFITSIO; Healpix; …
Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

ASM

Software Authors:   Eric Bruneton; Pierre Cregut; Rémi Forax; Eugene Kuleshov; Andrei Loskutov
Referenced in: 2 Publications (2010–2016)
Related Software: dplyr; Riposte; Oracle; R; pqR; Survey; …
Main Fields: Computer science (68-XX)

DIFtree

Software Authors:   J.B. Dugan, B. Venkataraman, R. Gulati
Referenced in: 4 Publications (2003–2017)
Related Software: DFTCalc; CADP; MRMC; Galileo; PREP/KITT; MOCUS; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)

XTL

Software Authors:   Garavel, H., Mateescu, R.
Referenced in: 4 Publications (2003–2017)
Related Software: CADP; LNT2LOTOS; Exp.Open; SPIN; M-TREE; BISIMULATOR; …
Main Fields: Computer science (68-XX)

YALTA

Software Authors:   Avanessoff, David; Fioravanti, André R.; Bonnet, Catherine; Nguyen, Le Ha Vy
Referenced in: 4 Publications (2014–2020)
Related Software: DDE-BIFTOOL; Matlab
Main Fields: Systems theory; control (93-XX)

LIFT

Software Authors:   Feng Qin , Cheng Wang , Zhenmin Li , Ho-seop Kim , Yuanyuan Zhou , Youfeng Wu
Referenced in: 1 Publication (2014)
Related Software: JFlow; M-Sim; SIFT; QEMU; Saner; TAJ; …
Main Fields: Computer science (68-XX)

Ocelot

Software Authors:   Diamos, G.F., Kerr, A.R., Yalamanchili, S., Clark, N.
Referenced in: 2 Publications (2013–2015)
Related Software: CUDA; OpenCL; Chromium; gem5; Multi2sim; MCMG; …
Main Fields: Computer science (68-XX)

Picat-SAT

Software Authors:   Zhou, N.-F., Kjellerstrand, H.
Referenced in: 3 Publications (2017–2020)
Related Software: MiniZinc; lp2normal; MaxHS; Clingo; WASP; clasp; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SDTrimSP

Software Authors:   A.Mutzke, R.Schneider, W.Eckstein, R.Dohmen
Referenced in: 2 Publications (2020–2021)
Related Software: Tridyn; LAMMPS; Python; PyCraters; PRMLT; F-TRIDYN; …
Main Fields: Fluid mechanics (76-XX); Statistical mechanics, structure of matter (82-XX)

SENR/NRPy+

Software Authors:   Ian Ruchlin, Zachariah B. Etienne, Thomas W. Baumgarte
Referenced in: 3 Publications (2019–2020)
Related Software: GitHub; AHFinderDirect; bimEX; Einstein Toolkit; Dendro; SpECTRE; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX)

svmachines

Software Authors:   Guenther, N., Schonlau, M.
Referenced in: 3 Publications (2018–2021)
Related Software: PRMLT; LIBSVM; AlexNet; ImageNet; Stata
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

WESAD

Software Authors:   Schmidt, P., Reiss, A., Duerichen, R., Marberger, C., Van Laerhoven, K
Referenced in: 2 Publications (2020–2021)
Related Software: HeartPy; Mono; Biosensor Framework; BRENT; LBFGS-B; tn; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

AsirPad

Software Authors:   Fujimoto, M., Suzuki, M.
Referenced in: 0 Publications
Related Software: Maxima on Android; Risa/Asir
Main Fields: Computer science (68-XX)

BayesWave

Software Authors:   Cornish N.J., Littenberg T.B.
Referenced in: 1 Publication (2019)
Related Software: Singularity-Sync; BOSS-LDG; HTCondor; Python; RIFT; PyCBC; …
Main Fields: Statistics (62-XX); Relativity and gravitational theory (83-XX); Astronomy and astrophysics (85-XX)

Bernaise

Software Authors:   Gaute Linga, Asger Bolet, Joachim Mathiesen
Referenced in: 1 Publication (2020)
Related Software: Oasis; FEniCS; COMSOL; EconDrop; PETSc; Python; …
Main Fields: Fluid mechanics (76-XX); Optics, electromagnetic theory (78-XX)

BIDS apps

Software Authors:   Gorgolewski, K. J., Alfaro-Almagro, F., Auer, T., Bellec, P., et a..
Referenced in: 0 Publications
Related Software: Python; PyBIDS; DataLad; FitLins; FMRIPrep; mridefacer; …
Main Fields:

BTSystem

Software Authors:   Tabakin, Frank
Referenced in: 2 Publications (2016–2018)
Related Software: QCMPI; AlgoWiki; QC-lib; Quipper; QCWAVE; QDENSITY; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

GCNv2

Software Authors:   Tang J., Ericson L., Folkesson J., Jensfelt P.
Referenced in: 2 Publications (2020)
Related Software: PRMLT; Fizzy; Lingvo; Kpax3; pyGCluster; GmmFlow.jl; …
Main Fields: Computer science (68-XX)

GrADS

Software Authors:   COLA
Referenced in: 0 Publications
Related Software: NetCDF; Matlab; Python; SAGA; GRASS GIS; gvSIG; …
Main Fields:

Hazelnut

Software Authors:   Omar, Cyrus; Voysey, Ian; Hilton, Michael; Aldrich, Jonathan; Hammer, Matthew A.
Referenced in: 2 Publications (2017)
Related Software: js_of_ocaml; mbeddr; TouchDevelop; Calcite; Lamdu; Idris; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

JKTEBOP

Software Authors:   John Southworth
Referenced in: 0 Publications
Related Software: EXOFAST; PyTransit; Python; batman; TAP; PyLightcurve; …
Main Fields:

LIBMF

Software Authors:   Chin, Wei-Sheng; Yuan, Bo-Wen; Yang, Meng-Yuan; Zhuang, Yong; Juan, Yu-Chin; Lin, Chih-Jen
Referenced in: 2 Publications (2016–2020)
Related Software: node2vec; LowRankModels; GloVe; Adam; AdaGrad; fastFM; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

Metamath Zero

Software Authors:   Carneiro, Mario
Referenced in: 2 Publications (2020–2021)
Related Software: CakeML; HOL Light; Isabelle/HOL; Coq; Elf; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MinC

Software Authors:   Robbins, Ed; King, Andy; Schrijvers, Tom
Referenced in: 2 Publications (2016)
Related Software: MinX
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

MinX

Software Authors:   Robbins, Ed; King, Andy; Schrijvers, Tom
Referenced in: 2 Publications (2016)
Related Software: MinC
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Morpheus

Software Authors:   Starruß, J., De~Back, W., Brusch, L., Deutsch, A.
Referenced in: 1 Publication (2021)
Related Software: CellSys; Biocellion; PhysiCell; Chaste; Microvessel Chaste; EmbryoMaker; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

PIBASE

Software Authors:   Davis FP, Sali A
Referenced in: 1 Publication (2018)
Related Software: STRINGdb; ANIMO; PRS; NET-SYNTHESIS; SMPDB; PathCellNet; …
Main Fields: Biology and other natural sciences (92-XX)

qbsolv

Software Authors:   D-Wave Systems Inc
Referenced in: 2 Publications (2019–2020)
Related Software: GitHub; JBool; openQASM; NChooseK; Microsoft Quantum; Quirk; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Operations research, mathematical programming (90-XX)

REBOUNDx

Software Authors:   Daniel Tamayo, Hanno Rein, Pengshuai Shi, David M. Hernandez
Referenced in: 1 Publication (2021)
Related Software: REBOUND; exoplanet; NbodyGradient; RadVel; batman; EXOFAST; …
Main Fields: Mechanics of particles and systems (70-XX)

TEMPO2

Software Authors:   Edwards, RT; Hobbs, GB; Manchester, RN
Referenced in: 2 Publications (2019–2020)
Related Software: REBOUND
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Mechanics of particles and systems (70-XX)

YAKKER

Software Authors:   Jim, Trevor; Mandelbaum, Yitzhak; Walker, David
Referenced in: 2 Publications (2010–2011)
Related Software: PADS; OCaml; dypgen; Haskell
Main Fields: Computer science (68-XX)

Backpack

Software Authors:   Kilpatrick, Scott; Dreyer, Derek; Peyton Jones, Simon; Marlow, Simon
Referenced in: 1 Publication (2014)
Related Software: MixML; Haskell
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BigWig

Software Authors:   Kent, W. J., Zweig, A. S., Barber, G., Hinrichs, A. S., Karolchik, D.
Referenced in: 1 Publication (2014)
Related Software: GenomicAlignments; GenomicRanges; BatchExperiments; BatchJobs; biovizBase; pbdR; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Binary Multirelations

Software Authors:   Hitoshi Furusawa; Georg Struth
Referenced in: 1 Publication (2016)
Related Software: Archive Formal Proofs; Isabelle/HOL
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

BoltzWann

Software Authors:   Pizzi, Giovanni; Volja, Dmitri; Kozinsky, Boris; Fornari, Marco; Marzari, Nicola
Referenced in: 1 Publication (2014)
Related Software:
Main Fields: Partial differential equations (35-XX); Statistical mechanics, structure of matter (82-XX)

CryptaPath

Software Authors:   Indrøy, John Petter; Costes, Nicolas; Raddum, Håvard
Referenced in: 1 Publication (2021)
Related Software: ADD-Lib; dd; Sylvan; GitHub; BuDDy; CUDD; …
Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

DELI

Software Authors:   Desoli, Giuseppe; Mateev, Nikolay; Duesterwald, Evelyn; Faraboschi, Paolo; Fisher, Josh
Referenced in: 1 Publication (2002)
Related Software: MiBench
Main Fields: Computer science (68-XX)

ExaSlang

Software Authors:   C. Schmitt, S. Kuckuk, F. Hannig, H. Köstler, J. Teich
Referenced in: 1 Publication (2020)
Related Software: MODESTO; SDSLc; Petalisp; Exa-Dune; HyTeG; STELLA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Fides

Software Authors:   Strackx R, Piessens F
Referenced in: 1 Publication (2015)
Related Software: TALx86; Sancus; Java Jr
Main Fields: Computer science (68-XX)

FloatX

Software Authors:   Flegar, Goran; Scheidegger, Florian; Novaković, Vedran; Mariani, Giovani; Tomás, Andrés E.; Malossi, A. Cristiano I.; Quintana-Ortí, Enrique S.
Referenced in: 1 Publication (2019)
Related Software: LaTeX; Ginkgo; ESSL; TensorFlow; SoftFloat; OpenBLAS; …
Main Fields: Numerical analysis (65-XX)

GEMC

Software Authors:   Denton, Alan R.; Schmidt, Michael P.
Referenced in: 1 Publication (2013)
Related Software:
Main Fields: Statistical mechanics, structure of matter (82-XX)

HRNG

Software Authors:   Skliar, Osvaldo; Monge, Ricardo E.; Medina, Víctor; Gapper, Sherry; Oviedo, Guillermo
Referenced in: 1 Publication (2011)
Related Software: Visual C++
Main Fields: Numerical analysis (65-XX)

kernelFactory

Software Authors:   Michel Ballings, Dirk Van den Poel
Referenced in: 1 Publication (2018)
Related Software: ISLR; SMOTE; rotationForest; FNN; randomForest; ada; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

metilene

Software Authors:   Frank Jühling, Helene Kretzmer, Stephan H. Bernhart, Christian Otto, Peter F. Stadler, Steve Hoffmann
Referenced in: 1 Publication (2019)
Related Software: HMM-Fisher; MethCP; HMM-DM; BSmooth; methylKit; GitHub
Main Fields: Biology and other natural sciences (92-XX)

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)

pydiffusion

Software Authors:   Zhangqi Chen, Qiaofu Zhang, Ji-Cheng Zhao
Referenced in: 0 Publications
Related Software: PANDAT; Matplotlib; NumPy; DICTRA; Python
Main Fields:

PyPhi

Software Authors:   William G. P. Mayner; William Marshall; Larissa Albantakis; Graham Findlay; Robert Marchman; Giulio Tononi
Referenced in: 0 Publications
Related Software: Python; NumPy
Main Fields:

RIFT

Software Authors:   Jacob Lange; Richard O'Shaughnessy; Monica Rizzo
Referenced in: 0 Publications
Related Software: Singularity-Sync; BOSS-LDG; HTCondor; Python; PyCBC; BayesWave; …
Main Fields:

SCREAM

Software Authors:   Rowland J.C., Shelef E., Pope P.A., Muss J., Gangodagamage C., Brumby S.P., et al.
Referenced in: 0 Publications
Related Software: Bedforms-ATM; RVR Meander; PyRIS; Matlab; MStaT; RivWidthCloud; …
Main Fields:

SENSE

Software Authors:   M. Khaled, M. Rungger, M. Zamani
Referenced in: 1 Publication (2019)
Related Software: BDD2Implement; pFaces; ROCS; TuLiP; SCOTS; CoSyma; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

Sets2Networks

Software Authors:   Clark NR, Dannenfelser R, Tan CM, Komosinski ME, Maayan A
Referenced in: 0 Publications
Related Software: R; ergm.userterms; ergm; statnet; ergm.graphlets
Main Fields:

Topo

Software Authors:   Department of Telematics Engineering and Systems, Polytechnic University of Madrid
Referenced in: 1 Publication (2001)
Related Software: LOTOOL
Main Fields: Computer science (68-XX)

ttb

Software Authors:   Ericsson AB.
Referenced in: 0 Publications
Related Software: erlyberly; PropEr; TypEr; QuickCheck; CutEr; dbg; …
Main Fields:

WIMDA

Software Authors:   Pratt, F. L.
Referenced in: 0 Publications
Related Software: Tkinter; Mantid; SciPy; Musrfit; BnmrOffice; Python; …
Main Fields:

bigReg

Software Authors:   Chibisi Chima-Okereke
Referenced in: 0 Publications
Related Software:
Main Fields:

BlissInterface

Software Authors:   Nagy, G. P.
Referenced in: 0 Publications
Related Software:
Main Fields:

ExoData

Software Authors:   Varley, Ryan
Referenced in: 0 Publications
Related Software:
Main Fields:

MYRIAD

Software Authors:   S.Konstantinidis; K.D.Kokkotas
Referenced in: 0 Publications
Related Software:
Main Fields:

SCEPtERbinary

Software Authors:   Matteo Dell'Omodarme, Giada Valle
Referenced in: 0 Publications
Related Software:
Main Fields:

Sequoll

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

sys

Software Authors:   Jeroen Ooms, Gábor Csárdi
Referenced in: 0 Publications
Related Software:
Main Fields:

XDoG

Software Authors:   Holger Winnemöller
Referenced in: 0 Publications
Related Software:
Main Fields: