×

Found 142 Software Packages (Results 1–100)

XFEM

Software Authors:   Bordas, Stéphane Author Profile; Nguyen, Phu Vinh; Dunant, Cyrille; Guidoum, Amor; Nguyen-Dang, Hung
Referenced in: 389 Publications (2002–2022)
Related Software: Gmsh; Matlab; Mfree2D; ABAQUS; CutFEM; Getfem++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Keras

Software Authors:   F. Chollet
Referenced in: 176 Publications (2017–2022)
Related Software: TensorFlow; Adam; GitHub; Scikit; ImageNet; Python; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Why3

Software Authors:   François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich
Referenced in: 127 Publications (2004–2023)
Related Software: KRAKATOA; Coq; Caduceus; z3; Boogie; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

GenLouvain

Software Authors:   I. S. Jutla, L. G. S. Jeub, P. J. Mucha
Referenced in: 106 Publications (2010–2022)
Related Software: Muxviz; GitHub; MultilayerGM; GraphScope; Brain Connectivity Toolbox; DeepWalk; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

MOCHA

Software Authors:   Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.
Referenced in: 81 Publications (1999–2021)
Related Software: MCMAS; SPIN; MCMAS-SLK; NuSMV; EAGLE; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Caffe

Software Authors:   Y. Jia, E. Shelhamer, J. Donahue, S. Karayev, J. Long, R. Girshick, S. Guadarrama, T. Darrell
Referenced in: 51 Publications (2015–2022)
Related Software: ImageNet; TensorFlow; AlexNet; PyTorch; MXNet; Theano; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Bebop

Software Authors:   Thomas Ball, Sriram K. Rajamani
Referenced in: 70 Publications (2000–2022)
Related Software: SPIN; Bandera; SLAM; SatAbs; Java PathFinder; CBMC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Mercury

Software Authors:   mercurylang.org
Referenced in: 70 Publications (1994–2022)
Related Software: ECCE; DPPD; SICStus; CiaoPP; Ciao; Haskell; …
Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Statistics (62-XX)

LiDIA

Software Authors:   Biehl, Ingrid; Buchmann, Johannes; Papanikolaou, Thomas
Referenced in: 51 Publications (1995–2021)
Related Software: NTL; PARI/GP; MAPC; ECPP; GC; PRECISE; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-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)

EXACUS

Software Authors:   Berberich, Eric; Eigenwillig, Arno; Hemmer, Michael; Hert, Susan; Kettner, Lutz; Mehlhorn, Kurt; Reichel, Joachim; Schmitt, Susanne; Sch"omer, Elmar; Wolpert, Nicola
Referenced in: 21 Publications (2001–2011)
Related Software: CGAL; LEDA; ISOLATE; MAPC; 2D Arrangement; Traits; …
Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)

OpenAD/F

Software Authors:   Utke, Jean; Naumann, Uwe; Fagan, Mike; Tallent, Nathan; Strout, Michelle Mills; Heimbach, Patrick; Hill, Chris; Wunsch, Carl
Referenced in: 23 Publications (2007–2022)
Related Software: TAPENADE; ADIFOR; ADOL-C; revolve; ADIC; TAF; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-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)

RegEM

Software Authors:   Tapio Schneider
Referenced in: 16 Publications (2010–2022)
Related Software: glasso; UCI-ml; impute; scout; Flury; PRMLT; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Geophysics (86-XX)

SOLAR

Software Authors:   S. Toledo, F.G. Gustavson
Referenced in: 16 Publications (1997–2019)
Related Software: POOCLAPACK; PLAPACK; ScaLAPACK; LAPACK; BLAS; LINPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

LBS

Software Authors:   Pedersen, Michael; Plotkin, Gordon D.
Referenced in: 15 Publications (2010–2022)
Related Software: Bio-PEPA; BioNetGen; BIOCHAM; PRISM; BlenX; NFsim; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MA42

Software Authors:   Duff, I.; Scott, J.
Referenced in: 16 Publications (1994–2004)
Related Software: BLAS; HSL; MA32; LAPACK; MA48; MA47; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

MMT

Software Authors:   Chalub, Fabricio; Braga, Christiano
Referenced in: 13 Publications (2007–2019)
Related Software: Maude; K Prover; JavaFAN; PMaude; CafeOBJ; K tool; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

pdelib

Software Authors:   Dr. Jürgen Fuhrmann, Dr. Hartmut Langmach, Timo Streckenbach, Dr. Manfred Uhle
Referenced in: 12 Publications (1999–2019)
Related Software: PARDISO; Triangle; ddfermi; TetGen; SCPACK; Netgen; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

voFoam

Software Authors:   Tomislav Maric, Holger Marschall, Dieter Bothe
Referenced in: 12 Publications (2014–2021)
Related Software: Gerris; PROST; VOFTools; SLIC; OpenFOAM; KRAKEN; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

MLton

Software Authors:   Stephen T. Weeks
Referenced in: 11 Publications (2002–2020)
Related Software: HOL; Isabelle/HOL; OCaml; Coq; Archive Formal Proofs; Dijkstra Shortest Path; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX)

Push

Software Authors:   Spector, Lee; Robinson, Alan
Referenced in: 2 Publications (2002–2004)
Related Software: PushGP; CUDA; TerpreT; Scikit; Clojush; Python; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Operations research, mathematical programming (90-XX)

MAVEN

Software Authors:   Goldman, Max; Katz, Emilia; Katz, Shmuel
Referenced in: 9 Publications (2007–2013)
Related Software: ProMoVer; CVPP; Aspectual Caml; PolyAML; Moped; Sawja; …
Main Fields: Computer science (68-XX)

FlexibleSUSY

Software Authors:   P. Athron, J.-H. Park, D. Stöckinger, A. Voigt
Referenced in: 8 Publications (2015–2022)
Related Software: SARAH; Spheno; SOFTSUSY; SuSpect; micrOMEGAs; HiggsSignals; …
Main Fields: Quantum theory (81-XX); Relativity and gravitational theory (83-XX)

RKWard

Software Authors:   Stefan Rödiger, Thomas Friedrichsmeier, Prasenjit Kapat, Meik Michalke
Referenced in: 1 Publication (2010)
Related Software: R; Rcmdr; Deducer; JGR; ggplot2; Bioconductor; …
Main Fields: Statistics (62-XX)

AO4BPEL

Software Authors:   Charfi A, Mezini M
Referenced in: 2 Publications (2012–2013)
Related Software: WebSphere; JML; WSAT; JBoss; AspectJ; YASM; …
Main Fields: Computer science (68-XX)

AspectS

Software Authors:   Hirschfeld, Robert
Referenced in: 7 Publications (2003–2006)
Related Software: AspectJ; JBoss; Squeak; Smalltalk; Frag; CLOS; …
Main Fields: Computer science (68-XX)

PaInleSS

Software Authors:   Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Kordon, Fabrice
Referenced in: 7 Publications (2018–2021)
Related Software: Plingeling; Treengeling; ManySAT; Lingeling; YalSAT; CaDiCaL; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

XMIPP

Software Authors:   Sorzano, C. O. S.; Marabini, R.; Velazquez-Muriel, J.; Bilbao-Castro, J. R.; Scheres, S. H. W.; Carazo, J. M.; Pascual-Montano, A.
Referenced in: 7 Publications (2006–2020)
Related Software: FREALIGN; EMan; cryoSPARC; RELION; IMAGIC; ODL; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

core 2

Software Authors:   Yu, Jihun; Yap, Chee; Du, Zilin; Pion, Sylvain; Brönnimann, Hervé
Referenced in: 7 Publications (2010–2021)
Related Software: CGAL; LEDA; MPFR; OMPL; RealAlgebraic; Boost; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

CVPP

Software Authors:   Huisman, Marieke; Gurov, Dilian
Referenced in: 7 Publications (2004–2015)
Related Software: MAVEN; Bandera; Uppaal; SPIN; TIMES; Moped; …
Main Fields: Number theory (11-XX); Statistics (62-XX); Computer science (68-XX)

LBHydra

Software Authors:   Walsh, Stuart D.C.; Saar, Martin O.
Referenced in: 6 Publications (2013–2018)
Related Software: CUDA; TheLMA; Thrust; OpenCL
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Optics, electromagnetic theory (78-XX)

QMCPACK

Software Authors:   J. Kim, et al.
Referenced in: 7 Publications (2008–2020)
Related Software: S3D Legion; KKRnano; NWChem; DataSpork; CRYSTAL; CRYSTAL09; …
Main Fields: General and overarching topics; collections (00-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

SParC-LES

Software Authors:   Andrea Aprovitola; Pasqua D’Ambra; Filippo M. Denaro; Daniela di Serafino; Salvatore Filippone
Referenced in: 6 Publications (2013–2021)
Related Software: MLD2P4; PSBLAS; 2LEV-D2P4; AmgX; GitHub; BootCMatch; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

VESTA toolkit

Software Authors:   Pinna F.
Referenced in: 6 Publications (2020–2022)
Related Software: Mutation++; LASTRAC; PyPardiso; EPIC; STABL2D; Python; …
Main Fields: Fluid mechanics (76-XX)

ITE

Software Authors:   Szabó, Zoltán
Referenced in: 6 Publications (2014–2020)
Related Software: VistaLab; ColorLab; PerceptNet; NetBenchmark; ARACNE; GitHub; …
Main Fields: Statistics (62-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)

LPAm+

Software Authors:   Aloise, Daniel; Caporossi, Gilles; Hansen, Pierre; Liberti, Leo; Perron, Sylvain; Ruiz, Manuel
Referenced in: 6 Publications (2013–2020)
Related Software: VNDS; DIMACS; Pajek datasets; CPLEX; Pajek; KaHIP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

OpenViBE

Software Authors:   Y. Renard, F. Lotte, G. Gibert et al.
Referenced in: 3 Publications (2014–2021)
Related Software: BCI2000; EEGLAB; BCILAB; Scikit; Saga; NFBLab; …
Main Fields: Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

VNDS

Software Authors:   Aloise, Daniel; Caporossi, Gilles; Hansen, Pierre; Liberti, Leo; Perron, Sylvain; Ruiz, Manuel
Referenced in: 6 Publications (2013–2020)
Related Software: LPAm+; DIMACS; Pajek datasets; CPLEX; Pajek; KaHIP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

ABCpy

Software Authors:   Dutta, R., Schoengens, M., Ummadisingu, A., Widmer, N., Onnela, J.-P., and Mira, A.
Referenced in: 2 Publications (2018–2021)
Related Software: PyTorch; EasyABC; pyABC; ELFI; abc; al3c; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Geophysics (86-XX)

acados

Software Authors:   Robin Verschueren, Gianluca Frison, Dimitris Kouzoupis, Niels van Duijkeren, Andrea Zanelli, Branimir Novoselnik, Jonathan Frey, Thivaharan Albin, Rien Quirynen, Moritz Diehl
Referenced in: 3 Publications (2018–2022)
Related Software: ACADO; OSQP; VIATOC; BLASFEO; qpOASES; HPIPM; …
Main Fields: (04-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

CosmoSIS

Software Authors:   Joe Zuntz, Marc Paterno, Elise Jennings, Douglas Rudd, Alessandro Manzotti, Scott Dodelson, Sarah Bridle, Saba Sehrish, James Kowalkowski
Referenced in: 4 Publications (2017–2021)
Related Software: CLASS; HaloGen; nbodykit; limHaloPT; GADGET; MultiNest; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

HALO

Software Authors:   Clark, David F.; Kandel, Abraham
Referenced in: 4 Publications (1991–2012)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MontiCore

Software Authors:   Krahn, Holger; Rumpe, Bernhard; Völkel, Steven
Referenced in: 3 Publications (2016–2021)
Related Software: Neverlang; ANTLR; Spoofax; Ott; Featherweight Java; JastAdd; …
Main Fields: Computer science (68-XX)

OCRopus

Software Authors:   Breuel, T.M.
Referenced in: 2 Publications (2017–2018)
Related Software: Tesseract
Main Fields: Computer science (68-XX)

OpenKE

Software Authors:   Xu Han, Shulin Cao, Xin Lv, Yankai Lin, Zhiyuan Liu, Maosong Sun, Juanzi Li
Referenced in: 2 Publications (2021)
Related Software: Pykg2vec; AmpliGraph; Python; DGL-KE; PyKEEN; PyTorch; …
Main Fields: Computer science (68-XX)

PUFKY

Software Authors:   Maes R, Van Herrewege A, Verbauwhede I.
Referenced in: 3 Publications (2013–2021)
Related Software:
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

PushGP

Software Authors:   Crawford-Marks R, Spector L.
Referenced in: 2 Publications (2002–2020)
Related Software: Push; TerpreT; Scikit; Clojush; Python; PyshGP; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

Autolocker

Software Authors:   Mccloskey, B.; Zhou, F.; Gay, D.; Brewer, E.
Referenced in: 4 Publications (2009–2017)
Related Software: CIL; PhTM; Feather-Trace; STAMP; SNZI; Atomizer; …
Main Fields: Computer science (68-XX)

BubbleProfiler

Software Authors:   Peter Athron, Csaba Balázs, Michael Bardsley, Andrew Fowlie, Dylan Harries, Graham White
Referenced in: 3 Publications (2019–2021)
Related Software: CosmoTransitions; AnyBubble; SimpleBounce; Mathematica; FindBounce; Vevacious; …
Main Fields: Differential geometry (53-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

comana

Software Authors:   König, Marcel; Radtke, Lars; Düster, Alexander
Referenced in: 4 Publications (2016–2020)
Related Software: HYPLAS; ABAQUS/Standard; OpenFOAM; OASIS3; preCICE; SWIG; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

DLTK

Software Authors:   Nick Pawlowski, Sofia Ira Ktena, Matthew C.H. Lee, Bernhard Kainz, Daniel Rueckert, Ben Glocker, Martin Rajchl
Referenced in: 0 Publications
Related Software: TensorFlow; NiftyNet; PyTorch; TorchIO; Python; batchgenerators; …
Main Fields:

GGL

Software Authors:   Mann, M., Ekker, H., Flamm, C.
Referenced in: 3 Publications (2016–2018)
Related Software: VMQL; RuleMerger; gSpan; ATL; Henshin; pgf; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

MSS

Software Authors:   Perez, T., Smogeli, N., Fossen, T.I., Sorensen, A.J.
Referenced in: 3 Publications (2008–2013)
Related Software: Simulink; Matlab
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Open TURNS

Software Authors:   Michaël Baudin; Anne Dutfoy; Bertrand Iooss; Anne-Laure Popelin
Referenced in: 2 Publications (2012)
Related Software: Chaospy; UQTk; DifferentialEquations.jl; UQLab; DAKOTA; Julia; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ProMoVer

Software Authors:   Soleimanifard, Siavash; Gurov, Dilian; Huisman, Marieke
Referenced in: 4 Publications (2011–2016)
Related Software: MAVEN; DeltaCCS; MSTA; VMC; MultiVeStA; CPAchecker; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

StAMPL

Software Authors:   Fourer, Robert; Lopes, Leo
Referenced in: 3 Publications (2009–2012)
Related Software: AIMMS; AMPL; XPRESS; Pyomo; PySP; CPLEX; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

TinkerCell

Software Authors:   Deepak Chandran, Frank T. Bergmann, Herbert M. Sauro
Referenced in: 2 Publications (2014–2015)
Related Software: TABASCO; lpSolve; SUNDIALS; SciPy; ProMoT; SynBioSS; …
Main Fields: Ordinary differential equations (34-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Turing

Software Authors:   Hong Ge, Kai Xu, Zoubin Ghahramani
Referenced in: 2 Publications (2022)
Related Software: Julia; Stan; PyMC; Optim; Distributions.jl; SciPy; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

BiMAT

Software Authors:   Cesar O. Flores, Timothée Poisot, Sergi Valverde, Joshua S. Weitz
Referenced in: 2 Publications (2018–2019)
Related Software: LightGraphs.jl; EcologicalNetworks.jl; cheddar; bipartite; igraph; Julia; …
Main Fields: Statistical mechanics, structure of matter (82-XX)

Coccinelle

Software Authors:   Contejean, E.
Referenced in: 2 Publications (2007–2008)
Related Software: CoLoR; Coq; IsaFoR; Isabelle/HOL; CeTA; Jambox; …
Main Fields: Computer science (68-XX)

CUPyDO

Software Authors:   Thomas, D.; Cerquaglia, M.; Boman, R.; Economon, T.; Alonso, J.; Dimitriadis, G.; Terrapon, V.
Referenced in: 3 Publications (2019–2022)
Related Software: preCICE; JiTCSDE; JiTCODE; JiTCDDE; Ode15s; OpenFPCI; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

IGTools

Software Authors:   Bonnici, V. ;V. Manca
Referenced in: 3 Publications (2017–2021)
Related Software:
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

MAOOAM

Software Authors:   De Cruz, L., Demaeyer, J., Vannitsem, S.
Referenced in: 1 Publication (2020)
Related Software: qgs; pyqg; Oceananigans.jl; Dedalus; cmocean; Plots.jl; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Geophysics (86-XX); Systems theory; control (93-XX)

MushroomRL

Software Authors:   Carlo D'Eramo, Davide Tateo, Andrea Bonarini, Marcello Restelli, Jan Peters
Referenced in: 1 Publication (2021)
Related Software: OpenAI Gym; Stable Baselines; Tensorforce; MuJoCo; TensorFlow; Python; …
Main Fields: Computer science (68-XX)

OpenIFEM

Software Authors:   Jie Cheng, Feimi Yu, Lucy T. Zhang
Referenced in: 3 Publications (2019–2022)
Related Software: GitHub; ForestClaw; p4est; SAMRAI; OpenFOAM; Chombo; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

OpenRec

Software Authors:   Longqi Yang, Eugene Bagdasaryan, Joshua Gruenstein, Cheng-Kang Hsieh, Deborah Estrin
Referenced in: 1 Publication (2020)
Related Software: Surprise; LibRec; MyMediaLite; Python; AutoRec; Cornac; …
Main Fields: Computer science (68-XX)

PALISADE

Software Authors:   Polyakov, Y., Rohloff, K., Ryan, G.W.
Referenced in: 3 Publications (2019–2022)
Related Software: HElib; FHEW; GitHub; SHARK; Keccak; NFLlib
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

PIROL

Software Authors:   Herrmann, Stephan
Referenced in: 3 Publications (2002–2003)
Related Software: AspectJ; ArchJava
Main Fields: Computer science (68-XX)

PolyFARM

Software Authors:   Clare, Amanda; King, Ross D.
Referenced in: 3 Publications (2002–2012)
Related Software: GOLEM; Aleph; TopLog; WordNet; MapReduce; April; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

STEAM

Software Authors:   Lorenzo Bortot, Bernhard Auchmann, Idoia Cortes Garcia, Alejando M. Fernando Navarro, Michał Maciejewski, Matthias Mentink, Marco Prioli, Emmanuele Ravaioli, Sebastian Schöps, Arjan Verweij
Referenced in: 3 Publications (2020–2021)
Related Software: COMSOL; RIDC; Matlab; Maple
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

three_fourth_powers_code

Software Authors:   van Langen, Joey M.
Referenced in: 3 Publications (2021–2022)
Related Software: Magma; GitHub; SageMath
Main Fields: Number theory (11-XX)

TSAT++

Software Authors:   Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco
Referenced in: 3 Publications (2005–2008)
Related Software: CVC; SMT-LIB; Chaff; MiniSat; CVC Lite; lp_solve; …
Main Fields: Computer science (68-XX)

Aerosol

Software Authors:   INRIA
Referenced in: 2 Publications (2013–2019)
Related Software: Aghora; Gmsh
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

ANDy

Software Authors:   Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel
Referenced in: 1 Publication (2018)
Related Software: Charlie; SNOOPY; SNAKES
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

ASP-G

Software Authors:   Mushthofa, M.; Torres, G.; Van de Peer, Y.; Marchal, K.; De Cock, M.
Referenced in: 2 Publications (2018–2019)
Related Software: Potassco
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

Bill2d

Software Authors:   Solanpää, J.; Luukko, P.J.J.; Räsänen, E.
Referenced in: 1 Publication (2016)
Related Software: Julia; Dynamicalbilliards.jl
Main Fields: Dynamical systems and ergodic theory (37-XX); Mechanics of particles and systems (70-XX)

CANA

Software Authors:   Rion Brattig Correia; Alexander J. Gates; Xuan Wang; Luis M. Rocha
Referenced in: 1 Publication (2020)
Related Software: PANET; Python; booleannet; Cellnoptr; Graphviz; multistatepdscontrol; …
Main Fields: Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

CHAMP

Software Authors:   Weir, W.; Gibson, R.; Mucha, P.J.
Referenced in: 2 Publications (2017–2020)
Related Software: Supracentrality; ForceAtlas2; GenLouvain; Gephi; multimodbp; MultilayerGM; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

DeCIF

Software Authors:   Cornelius, Felix
Referenced in: 2 Publications (1999–2001)
Related Software:
Main Fields: Computer science (68-XX)

DeepArchitect

Software Authors:   Renato Negrinho, Geoff Gordon
Referenced in: 1 Publication (2019)
Related Software: ImageNet; NeST; T2T-ViT; AutoSlim; FBNetV2; MnasNet; …
Main Fields: Computer science (68-XX)

DeepRec

Software Authors:   Shuai Zhang, Yi Tay, Lina Yao, Bin Wu, Aixin Sun
Referenced in: 0 Publications
Related Software: OpenRec; AutoRec; Surprise; LibRec; MyMediaLite; Python; …
Main Fields:

Farfel

Software Authors:   Radul, Alexey; Pearlmutter, Barak A.; Siskind, Jeffrey Mark
Referenced in: 2 Publications (2012–2017)
Related Software: TAPENADE; ADIFOR; DiffSharp; Stan
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GossipMap

Software Authors:   Bae, S.; Howe, B.
Referenced in: 2 Publications (2017–2022)
Related Software: SympleGraph; Mermaid; PathGraph; Blogel; NScaleSpark; GPS; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

mlpy

Software Authors:   Davide Albanese, Roberto Visintainer, Stefano Merler, Samantha Riccadonna, Giuseppe Jurman, Cesare Furlanello
Referenced in: 2 Publications (2011–2013)
Related Software: LIBSVM; SHOGUN; MLPACK; Armadillo; UCI-ml; PyMVPA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

MODEVO

Software Authors:   Michał Woźniak; Jerzy Tiuryn; Janusz Dutkowski
Referenced in: 2 Publications (2015–2019)
Related Software: clusfind; APCluster; apcluster; Kernlab; PoissonAPS; sasplp.m; …
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX)

MorphoJ

Software Authors:   Klingenberg, Christian Peter
Referenced in: 1 Publication (2016)
Related Software: R; shapes; geomorph; ape; ade4; Momocs; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

MrTADFinder

Software Authors:   Yan, K.-K., Lou, S., Gerstein, M.
Referenced in: 2 Publications (2019–2021)
Related Software: GlobalMIT; slingshot; SNN-Cliq; CIDR; MAST; ToppGene Suite; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

MultilayerExtraction

Software Authors:   Wilson, James D.; Palowitch, John; Bhamidi, Shankar; Nobel, Andrew B.
Referenced in: 2 Publications (2017–2020)
Related Software: GenLouvain; MCODE; GitHub; ESSC
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

NuMesh

Software Authors:   Shoemaker, David; Honoré, Frank; Metcalf, Chris; Ward, Steve
Referenced in: 1 Publication (1996)
Related Software: XPP-VC
Main Fields: Computer science (68-XX)

Oger

Software Authors:   Verstraeten, David; Schrauwen, Benjamin; Dieleman, Sander; Brakel, Philemon; Buteneers, Pieter; Pecevski, Dejan
Referenced in: 1 Publication (2018)
Related Software: Python; mdp; Pynn
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX)

OOMAO

Software Authors:   R. Conan; C. Correia
Referenced in: 0 Publications
Related Software: Soapy; caos; DASP; MAOS; Yao; Astropy; …
Main Fields:

PROOF

Software Authors:   Yau, Stephen S.; Jia, Xiaoping; Bae, Doo-Hwan
Referenced in: 2 Publications (1991–2012)
Related Software: Python; FOBS; Haskell; Smalltalk; ML; Miranda
Main Fields: Computer science (68-XX)

Soapy

Software Authors:   A. Reeves
Referenced in: 0 Publications
Related Software: OOMAO; caos; DASP; MAOS; Yao; Astropy; …
Main Fields:

TMSEEG

Software Authors:   S. Atluri, M. Frehlich, Y. Mei, L. G. Dominguez, N. C. Rogasch, W. Wong, Z. J. Daskalakis, F. Farzan
Referenced in: 1 Publication (2021)
Related Software: Connectome Mapper; BrainNet Viewer; CARTOOL; GraphVar; eConnectome; Gephi; …
Main Fields: Statistics (62-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)

ALADIN-NH

Software Authors:   ECMWF; Météo-France
Referenced in: 1 Publication (2016)
Related Software: MM5; ExnerFOAM; DYNAMICO; AROME; ARPEGE; NICAM; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Geophysics (86-XX)

Anomalib

Software Authors:   Samet Akcay, Dick Ameln, Ashwin Vaidya, Barath Lakshmanan, Nilesh Ahuja, Utku Genc
Referenced in: 0 Publications
Related Software: CFLOW-AD; GANomaly; TensorFlow; PyTorch Lightning; Scikit; PaDiM; …
Main Fields:

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)

BlackJAX

Software Authors:   The Blackjax developers
Referenced in: 0 Publications
Related Software: GPstuff; PyMC; GPML; NumPyro; GPflow; GPy; …
Main Fields: