×

Found 62 Software Packages (Results 1–62)

SparseMatrix

Software Authors:   Davis, Timothy A; Hu, Yifan
Referenced in: 739 Publications (1997–2022)
Related Software: LAPACK; mctoolbox; Matlab; METIS; ILUT; HSL; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

SOCS

Software Authors:   Boeing; Betts, J.T.; Huffman, W.P
Referenced in: 150 Publications (1999–2022)
Related Software: Ipopt; GPOPS; SNOPT; Matlab; OTIS; ACADO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

PEPA

Software Authors:   Jane Hillston; http://www.dcs.ed.ac.uk/pepa/people/
Referenced in: 107 Publications (1995–2022)
Related Software: Bio-PEPA; PRISM; BIOCHAM; SPADES; SMART_; HyTech; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Bio-PEPA

Software Authors:   Federica Ciocchetta, Maria Luisa Guerriero, Vashti Galpin, Jane Hillston, Giulio Caravagna, Allan Clark, Andrea Degasperi, Adam Duguid, Kanimozhi Ellavarason, Stephen Gilmore, Laurence Loewe, Dimitrios Milios
Referenced in: 91 Publications (2008–2022)
Related Software: PEPA; PRISM; BIOCHAM; BlenX; BioNetGen; LBS; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

FeynCalc

Software Authors:   Rolf Mertig; Frederik Orellana; M. Böhm; A. Denner
Referenced in: 65 Publications (1995–2021)
Related Software: FeynArts; FORM; Mathematica; FormCalc; LoopTools; Package-X; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

IMPS

Software Authors:   Farmer, William M.; Guttman, Joshua D.; Thayer, F.Javier
Referenced in: 51 Publications (1990–2021)
Related Software: Isabelle; Nuprl; Coq; HOL; PVS; ETPS; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Referenced in: 47 Publications (2008–2022)
Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

PLASMA

Software Authors:   E. Agullo, J. Dongarra, B. Hadri, et al.
Referenced in: 41 Publications (2010–2021)
Related Software: MAGMA; LAPACK; ScaLAPACK; BLAS; StarPU; CUDA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

MoDeST

Software Authors:   D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
Referenced in: 31 Publications (2001–2021)
Related Software: PRISM; Uppaal; HyTech; IF-2.0; MOTOR; CADP; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

homalg

Software Authors:   Barakat, Mohamed; Robertz, Daniel
Referenced in: 28 Publications (2007–2021)
Related Software: GAP; SINGULAR; Macaulay2; Plural; OreModules; Magma; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX)

SPADES

Software Authors:   Harrison, Peter G.; Strulo, Ben
Referenced in: 27 Publications (2000–2021)
Related Software: PEPA; ipc; longmemo; Bio-PEPA; YALMIP; CPLEX; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CoCasl

Software Authors:   Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
Referenced in: 26 Publications (2003–2014)
Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

TSFC

Software Authors:   Miklós Homolya, Lawrence Mitchell, Fabio Luporini, David A. Ham
Referenced in: 22 Publications (2016–2022)
Related Software: Firedrake; PETSc; UFL; petsc4py; COFFEE; FEniCS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Volcano

Software Authors:   Graefe, G.
Referenced in: 6 Publications (2000–2018)
Related Software: DB2; POTENTIAL; IQ-Meter; LUBM; E Theorem Prover; SPARQL; …
Main Fields: Computer science (68-XX)

CSP-prover

Software Authors:   Isobe, Yoshinao; Roggenbach, Markus
Referenced in: 17 Publications (2005–2022)
Related Software: PVS; Isabelle/HOL; FDR2; Z; CASL; PAT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

CARIBOO

Software Authors:   O. Fissore, I. Gnaedig, H. Kirchner
Referenced in: 14 Publications (2004–2012)
Related Software: Maude; AProVE; ELAN; MU-TERM; Tsukuba; REVE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LTSA-WS

Software Authors:   Magee J, Kramer J, Uchitel S, et al
Referenced in: 11 Publications (2006–2021)
Related Software: WSAT; NuSMV; Uppaal; LoLA; COWS; ITACA; …
Main Fields: Computer science (68-XX)

MLD2P4

Software Authors:   Pasqua D'Ambra; Daniela di Serafino; Salvatore Filippone; Alfredo Buttari
Referenced in: 13 Publications (2010–2021)
Related Software: PSBLAS; 2LEV-D2P4; SParC-LES; hypre; BoomerAMG; Trilinos; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX)

PARAM

Software Authors:   Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
Referenced in: 13 Publications (2011–2020)
Related Software: PRISM; PROPhESY; Storm; Rapture; MRMC; Bio-PEPA; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

rrgmrestbx

Software Authors:   Neuman, Arthur; Reichel, Lothar; Sadok, Hassane
Referenced in: 14 Publications (2012–2022)
Related Software: Regularization tools; ErresTools; LSQR; OPQ; corner.m; lbdtik; …
Main Fields: Partial differential equations (35-XX); Integral equations (45-XX); Operator theory (47-XX)

fc2tools

Software Authors:   Bouali, A., Ressouche, A., Roy, V., de Simone, R.
Referenced in: 11 Publications (1999–2015)
Related Software: CADP; Exp.Open; CMC; CAESAR_SOLVE; E-LOTOS; Oyster; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

M-nets

Software Authors:   Eike Best, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
Referenced in: 10 Publications (1998–2012)
Related Software: Maria; PEP; Uppaal; Kronos; Ptolemy; Renew; …
Main Fields: Computer science (68-XX)

ML4PG

Software Authors:   Heras, Jónathan; Komendantskaya, Ekaterina
Referenced in: 9 Publications (2013–2021)
Related Software: Coq; SEPIA; Flyspeck; Coq/SSReflect; WEKA; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

MOTOR

Software Authors:   Katoen, Joost-Pieter; Bohnenkamp, Henrik; Klaren, Ric; Hermanns, Holger
Referenced in: 5 Publications (2004–2013)
Related Software: Uppaal; MoDeST; IF-2.0; Kronos; SPIN; UPPAAL CORA; …
Main Fields: Computer science (68-XX)

occam-pi

Software Authors:   Welch, Peter H.; Barnes, Frederick R.M.
Referenced in: 6 Publications (2005–2021)
Related Software: Pict; KRoC; Boids; Intel TBB; Eraser; Cilk; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

GBLA

Software Authors:   Brice Boyer, Christian Eder, Jean-Charles Faugère, Sylvian Lachartre, Fayssal Martani
Referenced in: 6 Publications (2016–2020)
Related Software: M4RI; FGb; Magma; Durandal; NTRU; F5C; …
Main Fields: Commutative algebra (13-XX); Numerical analysis (65-XX); Computer science (68-XX)

PALOMA

Software Authors:   Cheng Feng, Jane Hillston
Referenced in: 4 Publications (2016–2020)
Related Software: SCEL; CARMA; Bio-PEPA; Ntccrt; PEPA; PALOMA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

ATISBAT

Software Authors:   Aguilera-Venegas, Gabriel; Galán-García, José L.; Mérida-Casermeiro, Enrique; Rodríguez-Cielos, Pedro
Referenced in: 5 Publications (2014–2019)
Related Software: VRP
Main Fields: Functions of a complex variable (30-XX); Numerical analysis (65-XX); Computer science (68-XX)

Bio-PEPAd

Software Authors:   Caravagna, Giulio; Hillston, Jane
Referenced in: 4 Publications (2012–2015)
Related Software: Bio-PEPA; LBS; PRISM; BIOCHAM; UMDES; BlenX; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

FIDE

Software Authors:   R. Liska; L. Drsda
Referenced in: 4 Publications (1989–2012)
Related Software: QEPCAD; REDUCE; REDLOG; SINGULAR
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

OPTMODEL

Software Authors:   SAS Institute Inc.
Referenced in: 4 Publications (2004–2020)
Related Software: SAS; COPS; Ipopt; lp_solve; bootlib; R; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

randUTV

Software Authors:   Martinsson, P. G.; Quintana-Ortí, G.; Heavner, N.
Referenced in: 5 Publications (2019–2022)
Related Software: rsvd; tproduct; GitHub; libflame; UTV; LAPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Succinct

Software Authors:   Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan; Buchholtz, Mikael; Hansen, Rene Rydhof; Pilegaard, Henrik; Seidl, Helmut
Referenced in: 5 Publications (2004–2010)
Related Software: Linda; KLAIM; PEPA; SpiCO; HOL/SPIN
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

CARMA

Software Authors:   Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
Referenced in: 4 Publications (2016–2020)
Related Software: SCEL; PALOMA; Bio-PEPA; BioNetGen; Haskell; ANTLR; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

CASPA

Software Authors:   Bachmann, Jens; Riedl, Martin; Schuster, Johann; Siegle, Markus
Referenced in: 4 Publications (2008–2015)
Related Software: PRISM; PARAM; CUDD
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)

CSPsim

Software Authors:   Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L.
Referenced in: 4 Publications (2007–2009)
Related Software: Eiffel; SCOOP; Circus; TCOZ; Ada95; Boogie; …
Main Fields: Computer science (68-XX)

jFuzzyIBATranslator

Software Authors:   Milošević, P.; Petrović, B.; Radojević, D.; Kovačević, D.
Referenced in: 4 Publications (2015–2017)
Related Software: UCI-ml; ANFIS
Main Fields: Mathematical logic and foundations (03-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

M4GB

Software Authors:   Makarim, Rusydi H.; Stevens, Marc
Referenced in: 4 Publications (2017–2021)
Related Software: FGb; fgb_sage; Sidon Cryptosystem; ZHFE; SageMath; openf4; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

ASpecPaired-Matrix

Software Authors:   Ana C. Conceição , José C. Pereira
Referenced in: 3 Publications (2014–2021)
Related Software: ASpecPaired-Scalar; Mathematica; SInt
Main Fields: Functions of a complex variable (30-XX); Integral equations (45-XX); Operator theory (47-XX)

ASpecPaired-Scalar

Software Authors:   Ana C. Conceição , José C. Pereira
Referenced in: 3 Publications (2014–2021)
Related Software: ASpecPaired-Matrix; Mathematica; SInt
Main Fields: Functions of a complex variable (30-XX); Integral equations (45-XX); Operator theory (47-XX)

JACK

Software Authors:   Freitas, Leonardo; Cavalcanti, A.L.C.; Sampaio, Augusto
Referenced in: 1 Publication (2009)
Related Software: Circus; ProBE; FDR2; Z; MOCHA; Z/EVES; …
Main Fields: Computer science (68-XX)

AWN

Software Authors:   Timothy Bourke
Referenced in: 2 Publications (2014–2016)
Related Software: Isabelle/Circus; Isabelle/jEdit; TPTP; Isabelle/HOL; Psi-calculi; AODV; …
Main Fields: Computer science (68-XX)

CombBLAS

Software Authors:   Ariful Azad , Aydın Buluç , John R. Gilbert
Referenced in: 2 Publications (2018–2021)
Related Software: Boost; OpenSHMEM; GPS; GoFFish; Conductor; Airflow; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

ExaGeoStatR

Software Authors:   Sameh Abdulah, Yuxiao Li, Jian Cao, Hatem Ltaief, David E. Keyes, Marc G. Genton, Ying Sun
Referenced in: 1 Publication (2020)
Related Software: RandomFields; spBayes; geoR; fields; R; ggplot2; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX)

HAL

Software Authors:   Habbas, Zineb
Referenced in: 2 Publications (1992–1993)
Related Software:
Main Fields: Computer science (68-XX)

MASA

Software Authors:   Malaya, N., Estacio-Hiroms, K. C., Stogner, R. H., Schulz, K. W., Bauman, P. T., Carey, G. F.
Referenced in: 2 Publications (2014–2015)
Related Software: Spalart-Allmaras; libMesh; PETSc; SENSEI; NUMERICA; Python; …
Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

msolve

Software Authors:   Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
Referenced in: 1 Publication (2022)
Related Software: tinygb; SLV; FLINT; gmp; FGb; M4RI; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

VERSA

Software Authors:   D. Clarke, I. Lee, H.-l. Xie
Referenced in: 2 Publications (1997–2017)
Related Software: CARTS; Uppaal
Main Fields: Computer science (68-XX)

BAL

Software Authors:   Pérez Leándrez, Diego; Ruiz, M.Carmen; Pardo, J.Jose; Cazorla, Diego
Referenced in: 1 Publication (2011)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

clad

Software Authors:   V. Vassilev, V. Ilieva, L. Moneta, A. Penev, M. Vassilev
Referenced in: 1 Publication (2018)
Related Software: Matlab; F#; Autograd; Ceres Solver; ADiGator; MonoSLAM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

cubic.lib

Software Authors:   Böhm, Janko; Marais, Magdaleen S.; van der Merwe, André F.
Referenced in: 1 Publication (2016)
Related Software: Surf; SINGULAR
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

FluidMath

Software Authors:   Hernandez, Maria L.; Ahbel, Nils
Referenced in: 0 Publications
Related Software:
Main Fields:

JPlasma

Software Authors:   Piotr Wendykier
Referenced in: 1 Publication (2010)
Related Software: JTransforms; CSparseJ; Incanter; JCuda; Endrov; JQuantLib; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

LaunchSlave

Software Authors:   Ganzha, V. G.; Vorozhtsov, E. V.
Referenced in: 1 Publication (1999)
Related Software: MathLink; Mathematica
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

MathDIP

Software Authors:   Pacheco-Venegas, Nancy D.; López, Gilberto; Andrade-Aréchiga, María
Referenced in: 0 Publications
Related Software: STACK
Main Fields:

MatrixExp

Software Authors:   Poghosyan, V.A.
Referenced in: 1 Publication (2005)
Related Software: TRACER; Mathematica; Maple
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); Quantum theory (81-XX)

PathAVI

Software Authors:   Kim, Youngdae; Huber, Olivier; Ferris, Michael C.
Referenced in: 1 Publication (2018)
Related Software: LMGC90; Siconos; FCLIB; PATH Solver; UMFPACK
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

PHIST

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

PMC

Software Authors:   Simon Mørk , Ken Larsen , Henrik Reif Andersen , Lyngby Danmark , Peter Sestoft
Referenced in: 1 Publication (2001)
Related Software: Esterel; LOTOS
Main Fields: Computer science (68-XX)

T-algebra

Software Authors:   Rein Prank
Referenced in: 0 Publications
Related Software:
Main Fields:

GuessPolySequenceFormulas

Software Authors:   Maxie D. Schmidt
Referenced in: 0 Publications
Related Software:
Main Fields:

Tenscalc

Software Authors:   Hespanha, João P.
Referenced in: 0 Publications
Related Software:
Main Fields: