×

Found 545 Software Packages (Results 1–100)

SPIN

Software Authors:   Bell Labs
Cited in: 591 Publications (1990–2022)
Related Software: NuSMV; Uppaal; Bandera; Java PathFinder; Bebop; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MUMPS

Software Authors:   Amestoy, Patrick R.; Duff, Iain S.; L’Excellent, Jean-Yves; Koster, Jacko
Cited in: 537 Publications (2000–2022)
Related Software: PETSc; PARDISO; METIS; LAPACK; Gmsh; UMFPACK; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

PRISM

Software Authors:   Kwiatkowska, Marta; Norman, Gethin; Parker, David
Cited 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)

ScaLAPACK

Software Authors:   Blackford, L.S.; Choi, J.; Cleary, A.; D'Azevedo, E.; Demmel, J.; Dhillon, I.; Dongarra, J.; Hammarling, S.; Henry, G.; Petitet, A.; Stanley, K.; Walker, D.; Whaley, R.C.
Cited in: 402 Publications (1995–2022)
Related Software: LAPACK; BLAS; PLAPACK; MPI; PETSc; MUMPS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

PARDISO

Software Authors:   Olaf Schenk, Klaus Gärtner, George Karypis, Robert Luce, Peter Carbonetto
Cited in: 285 Publications (1999–2022)
Related Software: MUMPS; SparseMatrix; LAPACK; UMFPACK; MKL; PETSc; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

gmp

Software Authors:   Granlund
Cited in: 273 Publications (1995–2022)
Related Software: MPFR; NTL; PARI/GP; SageMath; Magma; Mathematica; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

UNITY

Software Authors:   K. Mani Chandy; Jayadev Misra
Cited in: 173 Publications (1988–2021)
Related Software: NQTHM; PVS; HOL; SPIN; LARCH; Rodin; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CESAR

Software Authors:   Queille, J.P.; Sifakis, J.
Cited in: 149 Publications (1982–2021)
Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LOTOS

Software Authors:   Bolognesi, T., Brinksma, E.
Cited in: 129 Publications (1988–2020)
Related Software: CADP; SPIN; Uppaal; Z; LOTOSphere; FDR2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

CADP

Software Authors:   Garavel, Hubert; Hermanns, Holger; CONVECS team
Cited in: 109 Publications (1997–2021)
Related Software: SPIN; LOTOS; PRISM; mCRL2; Uppaal; E-LOTOS; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Graphs

Software Authors:   Sommer, Christian
Cited in: 109 Publications (2013–2022)
Related Software: Algorithm 97; GraphChi; Pregel; OpenStreetMap; Volume; plfit; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Pastry

Software Authors:   Rowstron, Antony; Druschel, Peter
Cited in: 63 Publications (2001–2022)
Related Software: Chord; SCRIBE; BATON; UNITY; Globus Toolkit; PATRICIA; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Linda

Software Authors:   Gelernter, David
Cited in: 76 Publications (1985–2020)
Related Software: KLAIM; LIME; ReSpecT; TuCSoN; Klava; Reo; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MINLPLib

Software Authors:   Bussieck, Michael R.; Drud, Arne Stolbjerg; Meeraus, Alexander
Cited in: 98 Publications (2002–2022)
Related Software: SCIP; Ipopt; BARON; CPLEX; Bonmin; ANTIGONE; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

TOMLAB

Software Authors:   Holmstrom, K., Goran, A.O., Edvall, M.M.
Cited 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)

VMD

Software Authors:   Andrew Dalke, William Humphrey, Klaus Schulten
Cited in: 75 Publications (1999–2023)
Related Software: NAMD; Gromacs; CHARMM; PyMOL; RasMol; APBS; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Gecode

Software Authors:   Christian Schulte, KTH Royal Institute of Technology
Cited in: 76 Publications (2007–2022)
Related Software: MiniZinc; CPLEX; Choco; COMET; CSPLib; SCIP; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GiNaC

Software Authors:   European Patent Office (EPO); C.W. Bauer, A. Frink, R. Kreckel
Cited in: 71 Publications (2002–2022)
Related Software: FORM; Reduze; Mathematica; HPL; LiteRed; FIRE; …
Main Fields: Functions of a complex variable (30-XX); Geometry (51-XX); Numerical analysis (65-XX)

NAMD

Software Authors:   James Phillips
Cited in: 64 Publications (1999–2019)
Related Software: Gromacs; CHARMM; VMD; AMBER; CUDA; DESMOND; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

CAPD

Software Authors:   Grzegorz Jablonski; Kapela, T., Mrozek, M., Pilarczyk, P., Wilczak, D., Zgliczyński, P.
Cited in: 77 Publications (2005–2022)
Related Software: RODES; INTLAB; Cosy; Taylor; CHomP; RedHom; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

mCRL2

Software Authors:   Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel A.; Usenko, Yaroslav S.; van Weerdenburg, Muck
Cited in: 53 Publications (2007–2022)
Related Software: CADP; Reo; PRISM; Uppaal; SPIN; LTSmin; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GreatSPN

Software Authors:   Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew
Cited in: 51 Publications (1988–2021)
Related Software: GreatSPN 1.7; TimeNET; CADP; SPNP; PEPA; PRISM; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

DiVinE

Software Authors:   J. Barnat; L. Brim; P. Rockai
Cited in: 40 Publications (1996–2020)
Related Software: SPIN; BEEM; NuSMV; LTSmin; Uppaal; PRISM; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Adams

Software Authors:   MSC Software
Cited in: 51 Publications (2005–2022)
Related Software: Matlab; ANSYS; NASTRAN; SIMPACK; ABAQUS; Meschach; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

NetSolve

Software Authors:   Dorian Arnold, Sudesh Agrawal, Susan Blackford, Jack Dongarra, Christoph Fabianek, Tomo Hiroyasu, EricMeek, Michelle Miller, Kiran Sagi, Keith Seymour, Zhiao Shi, and Sathish Vadhiyar
Cited in: 43 Publications (1997–2016)
Related Software: Ninf-G/MPI; Nimrod/G; Globus Toolkit; ScaLAPACK; Condor-G; Diet; …
Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Numerical analysis (65-XX)

GridSim

Software Authors:   Buyya, Rajkumar; Murshed, Manzur
Cited in: 26 Publications (2002–2020)
Related Software: OptorSim; Nimrod/G; SIMGRID; Globus Toolkit; MicroGrid; GRID Infoware; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Cited in: 37 Publications (2002–2017)
Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; CMC; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

SlideCont

Software Authors:   Dercole, Fabio; Kuznetsov, Yuri A.
Cited in: 47 Publications (2003–2022)
Related Software: TC-HAT; AUTO; COCO; HomCont; MATCONT; Matlab; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Pegasus

Software Authors:   Ewa Deelman; Gurmeet Singh; Mei-Hui Su; James Blythe; Yolanda Gil; Carl Kesselman; Gaurang Mehta; Karan Vahi; G. Bruce Berriman; John Good; Anastasia Laity; Joseph C. Jacob; Daniel S. Katz
Cited in: 11 Publications (2006–2018)
Related Software: Java CoG Kit; Taverna; Globus Toolkit; MapReduce; Giggle; GridFlow; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

GreatSPN 1.7

Software Authors:   Chiola, G.; Franceschinis, G.; Gaeta, R.; Ribaudo, M.
Cited in: 38 Publications (1995–2012)
Related Software: GreatSPN; SPNP; PEPA; CADP; PRISM; Möbius; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Spark

Software Authors:   Zaharia M, Chowdhury M, Franklin MJ, Shenker S, Stoica I
Cited in: 39 Publications (2015–2021)
Related Software: MapReduce; Hadoop; Apache Spark; MLlib; Dryad; R; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

JADE

Software Authors:   JADE Team
Cited in: 19 Publications (2002–2022)
Related Software: Jadex; Jason; AgentSpeak; 2APL; METATEM; CArtAgO; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OMRS

Software Authors:   Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio
Cited in: 38 Publications (1995–2009)
Related Software: Analytica; Theorema; PVS; Nuprl; PROSPER; Maple; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

pARMS

Software Authors:   Saad, Y.; Sosonkina, M.
Cited in: 39 Publications (2002–2020)
Related Software: ARMS; ILUM; ILUT; PETSc; BILUTM; SparseMatrix; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Rapide

Software Authors:   Luckham, David C.
Cited in: 31 Publications (1997–2019)
Related Software: HOL; Isar; Isabelle/HOL; Isabelle; ArchJava; MANIFOLD; …
Main Fields: Computer science (68-XX)

WSAT

Software Authors:   Fu, Xiang; Bultan, Tevfik; Su, Jianwen
Cited in: 29 Publications (2004–2019)
Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Pluto

Software Authors:   Mignone, A.; Bodo, G.; Massaglia, S.; Matsakos, T.; Tesileanu, O.; Zanni, C.; Ferrari, A.
Cited in: 33 Publications (2007–2022)
Related Software: Athena; HLLE; RAMSES; NIRVANA; FLASH; ENZO; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

PEPS

Software Authors:   L. Baldo, L. Fernandes, P. Roisenberg, P. Velho, T. Webber
Cited in: 30 Publications (1993–2014)
Related Software: PEPA; GTAEXPRESS; SMART_; APNN-Toolbox; SPIN; CUDD; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

ABS

Software Authors:   Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Cited in: 29 Publications (2012–2022)
Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ARock

Software Authors:   Peng, Zhimin; Xu, Yangyang; Yan, Ming; Yin, Wotao
Cited in: 33 Publications (2016–2022)
Related Software: HOGWILD; iPiano; Saga; Finito; JuMP; Julia; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

IMITATOR

Software Authors:   André, Étienne
Cited in: 30 Publications (1996–2022)
Related Software: Uppaal; HyTech; PPL; PAT; TREX; VINAS-P; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

mCRL

Software Authors:   Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; van Langevelde, Izak; Lisser, Bert
Cited in: 23 Publications (2001–2016)
Related Software: Uppaal; SPIN; CADP; mCRL2; ATERM; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)

PMaude

Software Authors:   Gul Agha; José Meseguer; Koushik Sen
Cited in: 26 Publications (2005–2021)
Related Software: Maude; PVeStA; VESTA; CafeOBJ; ITP; PRISM; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PDELab

Software Authors:   Bastian, Peter; Heimann, Felix; Marnach, Sven
Cited in: 30 Publications (2010–2022)
Related Software: DUNE; ISTL; Gmsh; deal.ii; ALUGrid; FEniCS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

PROMELA

Software Authors:   Natarajan, V.; Holzmann, Gerard J.
Cited in: 29 Publications (1997–2018)
Related Software: SPIN; jSpin; ProB; Uppaal; Isabelle/HOL; Rodin; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TRACE-DDE

Software Authors:   Breda, D., Maset, S., Vermiglio, R.
Cited in: 30 Publications (2010–2021)
Related Software: DDE-BIFTOOL; Matlab; GradSamp; ARPACK; Parallel-delay-margin-finder; GitHub; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Creol

Software Authors:   Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
Cited in: 25 Publications (2006–2022)
Related Software: Featherweight Java; ABCL; Maude; Multilisp; ABS; AmbientTalk; …
Main Fields: Computer science (68-XX)

ISTL

Software Authors:   M. Blatt; P. Bastian
Cited in: 25 Publications (2007–2021)
Related Software: DUNE; DuMuX; Gmsh; deal.ii; UMFPACK; UG; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Cassandra

Software Authors:   Lakshman, A., Malik, P.
Cited in: 20 Publications (2012–2022)
Related Software: Dynamo; Bigtable; MongoDB; CouchDB; MySQL; Hadoop; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FieldTrip

Software Authors:   R. Oostenveld, P. Fries, E. Maris, J. Schoffelen
Cited in: 19 Publications (2012–2021)
Related Software: Matlab; Brainstorm; EEGLAB; R; Python; OpenMEEG; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

TLA

Software Authors:   L. Lamport
Cited in: 26 Publications (1992–2020)
Related Software: SPIN; z3; Z; ByMC; Uppaal; PEPA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Mcmt

Software Authors:   Ghilardi S, Ranise S
Cited in: 23 Publications (2010–2022)
Related Software: SAFARI; Cubicle; z3; SMT-LIB; MathSAT5; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SIESTA

Software Authors:   Soler J.S., Artacho E., Gale J.D., Garcia A., Junquera J., Ordejon P., Sanchez-Portal D
Cited in: 22 Publications (2006–2022)
Related Software: ONETEP; CASTEP; ABINIT; OCTOPUS; CONQUEST; ScaLAPACK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

UCLID

Software Authors:   Randal E. Bryant; Shuvendu K. Lahiri; Sanjit A. Seshia
Cited in: 24 Publications (2002–2020)
Related Software: Chaff; PVS; MiniSat; SMT-LIB; cvc3; Siege; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

GroupKit

Software Authors:   Roseman M.; Greenberg S.
Cited in: 2 Publications (2003–2009)
Related Software: DECAF; PlanEdit; KLAIM; MarCaSPiS; COWS; SAS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GRID Infoware

Software Authors:   Buyya R, Giddy J, Abramson D
Cited in: 17 Publications (2002–2013)
Related Software: Nimrod/G; Condor-G; GridSim; ICENI; GrADS; NetSolve; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

LTSmin

Software Authors:   Alfons Laarman; Jaco van de Pol; Michael Weber; Stefan Blom
Cited in: 19 Publications (2011–2022)
Related Software: SPIN; DiVinE; Uppaal; NuSMV; CADP; mCRL2; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ViennaCL

Software Authors:   Weinbub, Josef; Rupp, Karl; Selberherr, Siegfried
Cited in: 20 Publications (2011–2022)
Related Software: CUDA; OpenCL; PETSc; CUSP; Thrust; CUSPARSE; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Chapel

Software Authors:   Brad Chamberlain
Cited in: 13 Publications (2009–2021)
Related Software: CUDA; CoArray; MapReduce; Cilk; CHARM++; OpenCL; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

TAU

Software Authors:   S. Shende; A. D. Malony
Cited in: 12 Publications (2007–2021)
Related Software: PETSc; HPCTOOLKIT; Scalasca; ScaLAPACK; LAPACK; hypre; …
Main Fields: Integral transforms, operational calculus (44-XX); Numerical analysis (65-XX); Computer science (68-XX)

ALPS

Software Authors:   B. Bauer et al
Cited 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)

DECAF

Software Authors:   Graham, John R.; Decker, Keith S.
Cited in: 11 Publications (2000–2005)
Related Software: Voyager; GroupKit; GOLOG; ABLE; Jason; TAEMS; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

Giggle

Software Authors:   Chervenak, A., Deelman, E., Foster, I., Guy, L., Hoschek, W., Iamni tchi, A., Kesselman, C., Kunst, P., Ripeanu, M., Schwartzkopf, B., Stockinger, H., Stockinger, K., Tierney, B.
Cited in: 5 Publications (2005–2011)
Related Software: Pegasus; Nimrod/G; OptorSim; Taverna; Java CoG Kit; Globus Toolkit; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

MetaMorph

Software Authors:   Maturana, F.; Shen, W.; Norrie, D.H.
Cited in: 18 Publications (1999–2010)
Related Software: Aglets; Moise+; Inventor; CATIA V5; Tabu search; IMMUNE; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Mozart

Software Authors:   Peter Van Roy; Seif Haridi
Cited in: 15 Publications (1999–2018)
Related Software: Oz; CPLEX; CHIP; SICStus; Choco; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ParLinSys

Software Authors:   Popova, Evgenija D.; Krämer, Walter
Cited in: 20 Publications (2004–2022)
Related Software: INTLAB; C-XSC; C-XSC 2.0; Mathematica; FastPILSS; Mosek; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Maria

Software Authors:   M"akel"a, Marko
Cited in: 19 Publications (2000–2021)
Related Software: LoLA; Uppaal; M-nets; Isabelle; PEP; Kronos; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Biology and other natural sciences (92-XX)

SNAP

Software Authors:   Czajkowski, Karl; Foster, Ian; Kesselman, Carl; Sander, Volker; Tuecke, Steven
Cited in: 10 Publications (2002–2013)
Related Software: Globus Toolkit; Open Science Grid; Condor-G; Java CoG Kit; Pegasus; Jess; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

AMGCL

Software Authors:   Demidov, D.
Cited in: 16 Publications (2017–2022)
Related Software: GitHub; KRATOS; PETSc; Python; Trilinos; hypre; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

JModelica

Software Authors:   –
Cited in: 15 Publications (2010–2022)
Related Software: Optimica; Modelica; Dymola; Ipopt; CasADi; Matlab; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

MathWeb

Software Authors:   Zimmer, Jürgen; Kohlhase, Michael
Cited in: 16 Publications (2000–2016)
Related Software: TPTP; OTTER; PVS; Nuprl; TRAMP; tptp2X; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Ordinary differential equations (34-XX)

JXTA

Software Authors:   Gong, L.
Cited in: 8 Publications (2002–2012)
Related Software: Chord; Twister; MapReduce; C4.5; EvAg; Eureqa; …
Main Fields: Computer science (68-XX)

MBase

Software Authors:   Franke, Andreas; Kohlhase, Michael
Cited in: 17 Publications (1999–2006)
Related Software: TPS; OMEGA; Nuprl; Coq; OMDoc; TRAMP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)

Packmol

Software Authors:   Martínez, L., Andrade, R., Birgin, E.G., Martínez, J.M.
Cited in: 15 Publications (2012–2022)
Related Software: ALGENCAN; Ipopt; CUTEst; SPG; GradSamp; nanoHUB; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

PSPIKE

Software Authors:   Madan Sathe; Olaf Schenk; Ahmed H. Sameh; Murat Manguoğlu
Cited in: 14 Publications (2004–2022)
Related Software: SparseMatrix; SPIKE; PARDISO; MUMPS; CSparse; PSPIKE+; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Ymer

Software Authors:   Younes, Håkan L.S.
Cited in: 16 Publications (2005–2021)
Related Software: PRISM; VESTA; MRMC; COSMOS; Uppaal; Kronos; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

AmgX

Software Authors:   Naumov, M.; Arsaev, M.; Castonguay, P.; Cohen, J.; Demouth, J.; Eaton, J.; Layton, S.; Markovskiy, N.; Reguly, I.; Sakharnykh, N.; Sellappan, V.; Strzodka, R.
Cited in: 11 Publications (2015–2022)
Related Software: hypre; CUDA; PETSc; BoomerAMG; CUSPARSE; SparseMatrix; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Autograph

Software Authors:   Kim, H.A., Karp, B.
Cited in: 4 Publications (2010–2018)
Related Software: Polygraph; Snort; Hamsa; BLINC; KEA; Panorama; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)

CoreASM

Software Authors:   Farahbod, Roozbeh; Gervasi, Vincenzo; Glässer, Uwe; Ma, George
Cited in: 12 Publications (2007–2021)
Related Software: FALKO; Rodin; GitHub; ProB; ASM Workbench; Pict; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DAGH

Software Authors:   Parashar, Manish; Browne, James C.
Cited in: 12 Publications (1998–2011)
Related Software: PARAMESH; AMROC; SAMRAI; Chombo; PETSc; Carpet; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

FLICA-OVAP

Software Authors:   –
Cited in: 16 Publications (2011–2022)
Related Software: AUSM; HLLE; HE-E1GODF; CATHARE; L2Roe; AUSMPW+; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

STAPL

Software Authors:   An, Ping; Jula, Alin; Rus, Silvius; Saunders, Steven; Smith, Tim; Tanase, Gabriel; Thomas, Nathan; Amato, Nancy; Rauchwerger, Lawrence
Cited in: 12 Publications (1992–2021)
Related Software: Boost; STL; PBGL; BGL; Boost C++ Libraries; Chapel; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Hermes2D

Software Authors:   Pavel Solin; Pavel Karban; Lukas Korous; Pavel Kus; Franta Mach; David Pánek
Cited in: 15 Publications (2010–2021)
Related Software: Agros2D; FEniCS; COMSOL; PyFemax; pysparse; CFEM; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

i*

Software Authors:   University of Toronto
Cited in: 11 Publications (2001–2004)
Related Software: SecureUML; TAMBIS; UEML; GOLOG; SoFAR
Main Fields: Computer science (68-XX)

mpiBLAST

Software Authors:   –
Cited in: 8 Publications (2004–2019)
Related Software: BLAST; Globus Toolkit; PSI-BLAST; ClustalW; EMBOSS; UniProt; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

NetLogger

Software Authors:   Gunter, D., Tierney, B., Crowley, B., Holding, M., Lee, J.
Cited in: 10 Publications (2001–2012)
Related Software: CrossGrid; Java CoG Kit; ASP.NET; BlobSeer; MonALISA; SpecExplorer; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

TGFF

Software Authors:   Dick RP, Rhodes DL, Wolf W.
Cited in: 8 Publications (2008–2019)
Related Software: Simulink; CPLEX; Chameleon; ABC; OptorSim; Condor-G; …
Main Fields: Operator theory (47-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ARMCI

Software Authors:   J. Nieplocha, V. Tipparaju, M. Krishnan, D. Panda
Cited in: 9 Publications (2000–2010)
Related Software: CoArray; NAS Parallel Benchmarks; GPSHMEM; MPI; SUMMA; GAMESS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

CArtAgO

Software Authors:   Alessandro Ricci; Andrea Santi; Michele Piunti; Mirko Viroli; Andrea Omicini; Marco Guidi; Mattia Minotti
Cited in: 7 Publications (2009–2011)
Related Software: Jason; Jadex; AgentSpeak; 2APL; ReSpecT; simpA; …
Main Fields: Computer science (68-XX)

COSY

Software Authors:   Lauer, P. E.; Torrigiani, P. R.; Shields, M. W.
Cited in: 14 Publications (1979–2015)
Related Software: Path Pascal; LOTOS; Centaur
Main Fields: Computer science (68-XX)

DIASPORA

Software Authors:   Ramanath, Maya; Haritsa, Jayant R.
Cited in: 14 Publications (2000–2009)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX)

NAG4M2

Software Authors:   Anton Leykin
Cited in: 12 Publications (2011–2021)
Related Software: PHCpack; Bertini; NumericalAlgebraicGeometry; HOM4PS; Macaulay2; alphaCertified; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

DIEGO

Software Authors:   Taentzer, Gabriele; Schürr, Andy
Cited in: 13 Publications (1995–2017)
Related Software: PROGRES; DACTL; ATL; Maude; Aglets; DiaGen; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

GUM

Software Authors:   Trinder, P.W., Hammond, K., Mattson, J.S. Jr., Partridge, A.S., Peyton Jones, S.L.
Cited in: 12 Publications (1997–2016)
Related Software: Haskell; Eden; GHC; EdenTV; eSkel; Multilisp; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Hemelb

Software Authors:   Mazzeo, M.D.; Coveney, P.V.
Cited in: 12 Publications (2008–2021)
Related Software: MUPHY; Palabos; LUDWIG; OpenLB; CUDA; Spalart-Allmaras; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

SecureUML

Software Authors:   Lodderstedt, Torsten; Basin, David; Doser, Jürgen
Cited in: 7 Publications (2002–2014)
Related Software: Z; SPIN; HOL-OCL; STG; TorX; AGATHA; …
Main Fields: Computer science (68-XX)

SNNS

Software Authors:   A. Zell, N. Mache, R. Huebner et al
Cited in: 9 Publications (1996–2009)
Related Software: C4.5; ElemStatLearn; UCI-ml; PyTorch; Keras; Torch; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Ivy

Software Authors:   McMillan, K.L., Padon, O.
Cited in: 10 Publications (2017–2021)
Related Software: Ivy; z3; nuXmv; Verdi; GitHub; ABC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MAGDA

Software Authors:   Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
Cited in: 10 Publications (2006–2010)
Related Software: Globus Toolkit; Charlotte; MPICH-G2; Janet; CRACK; SYMMGRP; …
Main Fields: Combinatorics (05-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX)

MathLink

Software Authors:   wolfram.com
Cited in: 12 Publications (1995–2011)
Related Software: Mathematica; C-XSC; ParLinSys; filib++; K2K; LaunchSlave; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)