×

Found 160 Software Packages (Results 1–100)

Eigen

Cited in 249 Documents (2012–2024)
Software Authors: Benoît Jacob, Gaël Guennebaud
Related Software: R; GitHub; PETSc; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

OBJ3

Cited in 140 Documents (1989–2023)
Software Authors: J. Goguen, T. Winkler, J. Meseguer, K. Futatsigi and J. Jouannaud; (kiniry)
Related Software: Maude; CafeOBJ; CASL; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX); …

Armadillo

Cited in 88 Documents (2003–2024)
Software Authors: Conrad Sanderson
Related Software: R; RcppArmadillo; Rcpp; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Getfem++

Cited in 68 Documents (2004–2023)
Software Authors: Yves Renard, Julien Pommier
Related Software: deal.ii; Gmsh; PETSc; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

LabVIEW

Cited in 54 Documents (1999–2023)
Software Authors: National Instruments Corporation
Related Software: Matlab; Simulink; BabelFish; …
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …

Blitz++ library

Cited in 32 Documents (2000–2021)
Software Authors: Todd Veldhuizen
Related Software: Blitz++; Boost; BLAS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

hfloat

Cited in 32 Documents (2001–2023)
Software Authors: Jörg Arndt
Related Software: FXT; OEIS; SageMath; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …

PIGALE

Cited in 29 Documents (2000–2018)
Software Authors: H. de Fraysseix; P. Ossona de Mendez
Related Software: TSPLIB; LEDA; OGDF; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX); …

MayaVi

Cited in 22 Documents (2003–2022)
Software Authors: Prabhu Ramachandran
Related Software: Mayavi; Matplotlib; Python; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

BuDDy

Cited in 26 Documents (1999–2023)
Software Authors: Jorn Lind-Nielsen
Related Software: CUDD; Sylvan; PolyBoRi; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX); …

DELORES

Cited in 21 Documents (2000–2022)
Software Authors: Michael Maher; Tristan Miller
Related Software: DR-Prolog; LegalRuleML; swrl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

SHTns

Cited in 26 Documents (2008–2023)
Software Authors: Nathanael Schaeffer
Related Software: DLMF; Chebfun; Dedalus; …
Main Fields: Partial differential equations (35-XX); Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); …

TNT

Cited in 22 Documents (1998–2019)
Software Authors: Roldan Pozo
Related Software: LAPACK; JAMA; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

GTS

Cited in 20 Documents (2000–2019)
Software Authors: S. Popinet; T. Jones
Related Software: CGAL; DOLFIN; FEniCS; …
Main Fields: Algebraic topology (55-XX); Numerical analysis (65-XX); Computer science (68-XX); …

VIFF

Cited in 17 Documents (2009–2023)
Software Authors: Damgård, Ivan; Geisler, Martin; Krøigaard, Mikkel; Nielsen, Jesper Buus
Related Software: Sharemind; FairplayMP; TASTY; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)

DAGH

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

TeXmacs

Cited in 16 Documents (2004–2021)
Software Authors: Van Der Hoeven, J.
Related Software: Coq; Isabelle; Isabelle/HOL; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Special functions (33-XX); …

FXT

Cited in 16 Documents (2011–2023)
Software Authors: Jörg Arndt
Related Software: hfloat; OEIS; PARI/GP; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …

Orbital library

Cited in 16 Documents (2008–2021)
Software Authors: André Platzer
Related Software: z3; KeYmaera; QEPCAD; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

hmm

Cited in 12 Documents (2004–2020)
Software Authors: K Murphy
Related Software: R; Matlab; Brain Connectivity Toolbox; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …

Sollya

Cited in 14 Documents (2010–2023)
Software Authors: Chevillard, Sylvain; Joldeş, Mioara; Lauter, Christoph
Related Software: Gappa; MPFR; Coq; …
Main Fields: Real functions (26-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX); …

BioJava

Cited in 5 Documents (2009–2017)
Software Authors: Andreas Prlic; Andrew Yates; Spencer E. Bliven; Peter W. Rose; Julius Jacobsen; Peter V. Troshin; Mark Chapman; Jianjiong Gao; Chuan Hock Koh; Sylvain Foisy; Richard Holland; Gediminas Rimsa; Michael L. Heuer; H. Brandstatter-Muller; Philip E. Bourne; Scooter Willis
Related Software: Biopython; bioperl; MMTK; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

CZT

Cited in 6 Documents (2008–2012)
Software Authors: Community Z Tools Project
Related Software: Z; Circus; SPIN; …
Main Fields: Computer science (68-XX)

PHAML

Cited in 12 Documents (2002–2019)
Software Authors: Mitchell, W.F
Related Software: ParMETIS; ARPACK; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PURRS

Cited in 9 Documents (2006–2022)
Software Authors: Roberto Bagnara; Andrea Pescetti; Alessandro Zaccagnini; Enea Zaffanella; Tatiana Zolo
Related Software: ACE; LoAT; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX); …

ANNA

Cited in 8 Documents (1986–2007)
Software Authors: Luckham, David
Related Software: Ada95; SPARK; Spec#; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

ProActive

Cited in 6 Documents (2002–2019)
Software Authors: Inria Sophia Antipolis
Related Software: AmbientTalk; ABS; Creol; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)

OBSCURE

Cited in 7 Documents (1985–2017)
Software Authors: Lehmann, Thomas; Loeckx, Jacques
Related Software: Nuprl; LCF; Mantissa; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Dynamical systems and ergodic theory (37-XX); …

JTS Topology Suite

Cited in 2 Documents (2013–2015)
Software Authors: Vivid Solutions, Inc. (VSI)
Related Software: GRASS GIS; Spatial SQL; Informix; …
Main Fields: Geometry (51-XX); Statistics (62-XX)

Yacas

Cited in 3 Documents (2002–2023)
Software Authors: Pinkus, Ayal Z.; Winitzki, Serge
Related Software: Ryacas; R; SymPy; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

KRoC

Cited in 3 Documents (2002–2018)
Software Authors: Fred Barnes; Peter Welch
Related Software: Handel-C; occam-pi; FDR3; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

MCdevelop

Cited in 4 Documents (2011–2018)
Software Authors: Slawinska, M.; Jadach, S.
Related Software: Foam; ROOT; BHLUMI; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Quantum theory (81-XX); …

RPy

Cited in 0 Documents
Software Authors: Walter Moreira; Gregory R. Warnes; Laurent Gautier
Related Software: R; rpy2; Python; …
Main Fields:

TBTK

Cited in 3 Documents (2020–2023)
Software Authors: Kristofer Björnson
Related Software: Kwant; pybinding; Python; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …

CImg

Cited in 4 Documents (2006–2021)
Software Authors: David Tschumperlé
Related Software: VisualStudio.NET; IETL; STL; …
Main Fields: Fluid mechanics (76-XX); Geophysics (86-XX); Operations research, mathematical programming (90-XX); …

GTL

Cited in 4 Documents (2001)
Software Authors: Raitner, Marcus
Related Software: STL; LiDIA; GC; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

BFFL

Cited in 3 Documents (2002–2003)
Software Authors: Antonio Bellezza
Related Software: MIST
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)

CAFISE

Cited in 3 Documents (2003–2006)
Software Authors: Li, Gang; Zhao, Zhuofeng; Han, Yanbo; Liang, Ying
Related Software: XtremWeb
Main Fields: Computer science (68-XX)

CLHep

Cited in 1 Document (2001)
Software Authors: Leif Lönnblad
Related Software: PYTHIA8; ROOT; HERWIG 5.1; …
Main Fields: Quantum theory (81-XX)

DREAM Tool

Cited in 2 Documents (2006–2013)
Software Authors: Gabor Madl
Related Software: HyTech; IF-2.0; Kronos; …
Main Fields: Computer science (68-XX)

LPKIT

Cited in 3 Documents (1986–1996)
Software Authors: Nazareth, J.L.
Related Software: DEVEX; LSSOL; MINOS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Maximum Entropy Modeling Toolkit

Cited in 3 Documents (2006–2015)
Software Authors: Le Zhang
Related Software: Snowball
Main Fields: Statistics (62-XX); Computer science (68-XX)

PMax

Cited in 3 Documents (2014–2022)
Software Authors: Zaraket, Fadi A.; Olleik, Majd; Yassine, Ali A.
Related Software: SINTEF; CPLEX; npuScheduler; …
Main Fields: Operations research, mathematical programming (90-XX)

BCOOPL

Cited in 2 Documents (2001–2003)
Software Authors: De Bruin, Hans
Related Software:
Main Fields: Computer science (68-XX)

CORONET-Train

Cited in 2 Documents (2001)
Software Authors: Pfahl, Dietmar; Angkasaputra, Niniek; Differding, Christiane; Ruhe, Günther
Related Software:
Main Fields: Computer science (68-XX)

mbeddr

Cited in 1 Document (2017)
Software Authors: Markus Voelter, Daniel Ratiu, Bernhard Schaetz, Bernd Kolb
Related Software: Cyclone; Hume; Cedalion; …
Main Fields: Computer science (68-XX)

OPAL

Cited in 1 Document (2014)
Software Authors: Alan Fischer, Andres Reinot,Tyler Streeter; Oleksandr Lozitskiy
Related Software: LINDO; Optimization Test Environment; NEOS; …
Main Fields: Operations research, mathematical programming (90-XX)

OutlierFlag

Cited in 0 Documents
Software Authors: Shuai Huang; Yaqiang Wang; Yuanli Xie; Peng Zhao; Johannes Lüers
Related Software: MeteoInfo; outliers; GaFiR; …
Main Fields:

SpecialValue

Cited in 2 Documents (2004–2005)
Software Authors: Johan Vervloet
Related Software: INTLAB; GlobSol; Easyval
Main Fields: Mathematical logic and foundations (03-XX); Functions of a complex variable (30-XX); Special functions (33-XX); …

swiginac

Cited in 2 Documents (2010–2012)
Software Authors: Ola Skavhaug
Related Software: GiNaC; FFC; Instant; …
Main Fields: Functions of a complex variable (30-XX); Geometry (51-XX); Differential geometry (53-XX); …

switchrGist

Cited in 1 Document (2019)
Software Authors: Gabriel Becker
Related Software: R; CodeDepends; rocker; …
Main Fields: Statistics (62-XX)

Zebra

Cited in 2 Documents (2002–2006)
Software Authors: Chunikhin, O. Yu.
Related Software: gnuplot; PlanetLab; DiPerF; …
Main Fields: Computer science (68-XX)

BrookGPU

Cited in 0 Documents
Software Authors: Ian Buck; Tim Foley; Daniel Horn; Jeremy Sugerman; Pat Hanrahan; Mike Houston; Kayvon Fatahalian
Related Software: Bison; GPU-ABiSort; Cg; …
Main Fields:

Easyval

Cited in 1 Document (2005)
Software Authors: Johan Vervloet
Related Software: INTLAB; GlobSol; SpecialValue
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

FFEP

Cited in 1 Document (2008)
Software Authors: Jörg Frochte
Related Software:
Main Fields: Integral equations (45-XX); Numerical analysis (65-XX)

FreeMat

Cited in 0 Documents
Software Authors: Demetrios Kyriakis; Eugene Ingerman; Samit Basu
Related Software: Octave; Matlab; emgr
Main Fields:

Freva

Cited in 0 Documents
Software Authors: Kadow, C., Illing, S., Lucio-Eceiza, E.E., Bergemann, M., Ramadoss, M., Sommer, P.S., Kunst, O., Schartner, T., Pankatz, K., Grieger, J., Schuster, M., Richling, A., Thiemann, H., Kirchner, I., Rust, H.W., Ludwig, T., Cubasch, U., Ulbrich, U.
Related Software: ESMValTool; MurCSS; Solr; …
Main Fields:

gjrand

Cited in 1 Document (2020)
Software Authors: geronimojones
Related Software: Diehard; TestU01; PractRand; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

GraphGallery

Cited in 1 Document (2021)
Software Authors: Jintang Li, Kun Xu, Liang Chen, Zibin Zheng, Xiao Liu
Related Software: Rdkit; TUDataset; TensorFlow; …
Main Fields: Computer science (68-XX)

gRUP

Cited in 1 Document (2009)
Software Authors: El-Kadi, Amr; Badreddin, Omar B.
Related Software:
Main Fields: Computer science (68-XX)

HEDES

Cited in 1 Document (2000)
Software Authors: Rodr\'{\i}guez, M.J.; Parets, J.; Paderewski, P.; Anaya, A.; Hurtado, M.V.
Related Software: VisualWorks
Main Fields: Computer science (68-XX)

ISDF

Cited in 1 Document (2009)
Software Authors: Alkussayer, Abdulaziz; Allen, William H.
Related Software:
Main Fields: Computer science (68-XX)

IT++

Cited in 1 Document (2013)
Software Authors: Pål Frenger; Bogdan Cristea; Tony Ottosson; Adam Piątyszek
Related Software: Mfree2D; libMesh; PETSc; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

libkdtree++

Cited in 0 Documents
Software Authors: Martin F. Krafft; Paul Harris; Sylvain Bougerel
Related Software:
Main Fields:

LinkGrammar-WN

Cited in 0 Documents
Software Authors: Elliot Turner; Szolovits, P
Related Software: GENIA corpus; GENETAG; ABNER; …
Main Fields:

Mantissa

Cited in 1 Document (2017)
Software Authors: Luc Maisonobe
Related Software: AIM@SHAPE; OBSCURE; ProMoT; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Dynamical systems and ergodic theory (37-XX); …

Matrix Expression Templates

Cited in 0 Documents
Software Authors: masakatsu
Related Software: uBLAS; Algorithm 940; Armadillo; …
Main Fields:

reliability

Cited in 1 Document (2002)
Software Authors: Goel, L.; Shrestha, G. B.
Related Software: Visual Basic
Main Fields: Computer science (68-XX)

SDGdetector

Cited in 0 Documents
Software Authors: Yingjie Li, Veronica Frans, Yongze Song, Meng Cai, Yuqian Zhang, Jianguo Liu
Related Software: tidyverse; text2sdg; R
Main Fields:

Seldon

Cited in 1 Document (2016)
Software Authors: vmallet
Related Software: TUNAM; Traits; STL; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

SFEM-Pre

Cited in 1 Document (2020)
Software Authors: Zhang, J. F.; Niu, R. P.; Zhang, Y. F.; Wang, C. Q.; Li, M.; Liu, G. R.
Related Software: ABAQUS; HyperMesh; TetGen
Main Fields: Numerical analysis (65-XX)

SmartTools

Cited in 1 Document (2001)
Software Authors: Attali, Isabelle; Courbis, Carine; Degenne, Pascal; Fau, Alexandre; Parigot, Didier
Related Software: ATERM
Main Fields: Computer science (68-XX)

SPEFY

Cited in 1 Document (1994)
Software Authors: Li, Ming; Moriarty, K.J.M.; Srinivas, S.
Related Software: MIMDizer; PAT; SUPERB
Main Fields: Computer science (68-XX)

tvmet

Cited in 1 Document (2014)
Software Authors: Olaf Petzold
Related Software: ViennaCL; COOLFluiD; PETSc; …
Main Fields: Fluid mechanics (76-XX)

UDUNITS

Cited in 1 Document (2015)
Software Authors: imipak
Related Software: NumPy; pugixml; ViennaIPD; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

VXL

Cited in 0 Documents
Software Authors: scottim
Related Software: LibYAML; lmfit; ITK; …
Main Fields:

A+

Cited in 0 Documents
Software Authors: Morgan Stanley; Arthur Whitney
Related Software:
Main Fields:

Algae

Cited in 0 Documents
Software Authors: Scott Hunziker, Mike Brennan
Related Software:
Main Fields:

APFP

Cited in 0 Documents
Software Authors: djdarland
Related Software:
Main Fields:

AutoAbacus

Cited in 0 Documents
Software Authors: Nathan Funk
Related Software:
Main Fields:

Big Fraction

Cited in 0 Documents
Software Authors: steevatbluedust
Related Software:
Main Fields:

Botan

Cited in 0 Documents
Software Authors: Jack Lloyd
Related Software:
Main Fields:

calc

Cited in 0 Documents
Software Authors: chongo
Related Software:
Main Fields:

clac

Cited in 0 Documents
Software Authors: mborg
Related Software:
Main Fields:

Combean

Cited in 0 Documents
Software Authors: Thomas Schikinger
Related Software:
Main Fields:

cwmtx

Cited in 0 Documents
Software Authors: not-available
Related Software:
Main Fields:

DCA++

Cited in 0 Documents
Software Authors: Hähner, Urs R.; Alvarez, Gonzalo; Maier, Thomas A.; Solcà, Raffaele; Staar, Peter; Summers, Michael S.; Schulthess, Thomas C.
Related Software:
Main Fields:

DiaNa

Cited in 0 Documents
Software Authors: nonsns
Related Software:
Main Fields:

EFEU

Cited in 0 Documents
Software Authors: Erich Frühstück
Related Software:
Main Fields:

FrAid

Cited in 0 Documents
Software Authors: pepper_bg
Related Software:
Main Fields:

GEO

Cited in 0 Documents
Software Authors: Andrey Mirzoyan
Related Software:
Main Fields:

GMP compiler

Cited in 0 Documents
Software Authors: raymondz
Related Software:
Main Fields:

Gplib++

Cited in 0 Documents
Software Authors: mmoorkamp
Related Software:
Main Fields:

GraSy

Cited in 0 Documents
Software Authors: olwitt88
Related Software:
Main Fields:

Hasard

Cited in 0 Documents
Software Authors: haypo
Related Software:
Main Fields:

IDL2Matlab

Cited in 0 Documents
Software Authors: Farhi
Related Software:
Main Fields:

ixlib

Cited in 0 Documents
Software Authors: inducer
Related Software:
Main Fields:

J.A.D.E.

Cited in 0 Documents
Software Authors: Jean-Marie Dautelle
Related Software:
Main Fields:

Java Calculator Suite

Cited in 0 Documents
Software Authors: AdamBurns
Related Software:
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field