Eigen Software Authors: Benoît Jacob, Gaël Guennebaud Cited in: 193 Publications (2012–2023) Related Software: R; GitHub; PETSc; CUDA; Matlab; Gmsh; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
OBJ3 Software Authors: J. Goguen, T. Winkler, J. Meseguer, K. Futatsigi and J. Jouannaud; (kiniry) Cited in: 137 Publications (1989–2021) Related Software: Maude; CafeOBJ; CASL; ELAN; Haskell; AProVE; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)
Armadillo Software Authors: Conrad Sanderson Cited in: 65 Publications (2003–2022) Related Software: R; RcppArmadillo; Rcpp; Matlab; Eigen; Python; … Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Numerical analysis (65-XX)
Getfem++ Software Authors: Yves Renard, Julien Pommier Cited in: 64 Publications (2004–2022) Related Software: deal.ii; Gmsh; XFEM; PETSc; FreeFem++; FEniCS; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
LabVIEW Software Authors: National Instruments Corporation Cited in: 52 Publications (1999–2021) Related Software: Matlab; Simulink; Modelica; PhysioToolkit; ADOL-C; CasADi; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
Blitz++ library Software Authors: Todd Veldhuizen Cited in: 32 Publications (2000–2021) Related Software: Blitz++; Boost; BLAS; Boost C++ Libraries; ATLAS; STL; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
PIGALE Software Authors: H. de Fraysseix; P. Ossona de Mendez Cited in: 29 Publications (2000–2018) Related Software: TSPLIB; LEDA; OGDF; ForceAtlas2; Gephi; Pajek datasets; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)
hfloat Software Authors: Jörg Arndt Cited in: 28 Publications (2001–2023) Related Software: FXT; OEIS; SageMath; GitHub; Matlab; Stony Brook; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Numerical analysis (65-XX)
MayaVi Software Authors: Prabhu Ramachandran Cited in: 22 Publications (2003–2022) Related Software: Mayavi; Matplotlib; Python; SciPy; VTK; NumPy; … Main Fields: Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
DELORES Software Authors: Michael Maher; Tristan Miller Cited in: 20 Publications (2000–2020) Related Software: DR-Prolog; DLV2; WebPIE; LegalRuleML; swrl; Potassco; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
BuDDy Software Authors: Jorn Lind-Nielsen Cited in: 24 Publications (1999–2022) Related Software: CUDD; Sylvan; GitHub; PDDL; ML; SINGULAR; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)
TNT Software Authors: Roldan Pozo Cited in: 22 Publications (1998–2019) Related Software: LAPACK; JAMA; Matlab; TAO; Trilinos; Blitz++; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
GTS Software Authors: S. Popinet; T. Jones Cited in: 20 Publications (2000–2019) Related Software: CGAL; DOLFIN; FEniCS; Triangle; FFC; Qhull; … Main Fields: Algebraic topology (55-XX); Numerical analysis (65-XX); Computer science (68-XX)
SHTns Software Authors: Nathanael Schaeffer Cited in: 18 Publications (2008–2022) Related Software: Python; FFTW; pySDC; chammp; DLMF; PARDISO; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-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)
TeXmacs Software Authors: Van Der Hoeven, J. Cited in: 15 Publications (2004–2021) Related Software: Coq; Isabelle/HOL; Isabelle; GAP; OMDoc; Automath; … Main Fields: Field theory and polynomials (12-XX); Special functions (33-XX); Computer science (68-XX)
VIFF Software Authors: Damgård, Ivan; Geisler, Martin; Krøigaard, Mikkel; Nielsen, Jesper Buus Cited in: 14 Publications (2009–2022) Related Software: Sharemind; FairplayMP; TASTY; VMCrypt; fhe; MP-SPDZ; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)
FXT Software Authors: Jörg Arndt Cited in: 14 Publications (2011–2022) Related Software: hfloat; OEIS; GitHub; SageMath; infCS; MRI Simulation and Reconstruction; … Main Fields: Combinatorics (05-XX); Special functions (33-XX); Numerical analysis (65-XX)
hmm Software Authors: K Murphy Cited in: 12 Publications (2004–2020) Related Software: Matlab; R; Brain Connectivity Toolbox; depmixS4; hmm.discnp; mhsmm; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
Orbital library Software Authors: André Platzer Cited in: 14 Publications (2008–2021) Related Software: z3; QEPCAD; KeYmaera; AXIOM; SINGULAR; MetiTarski; … Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
BioJava 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 Cited in: 5 Publications (2009–2017) Related Software: Biopython; bioperl; MMTK; ProDy; Python; Taverna; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CZT Software Authors: Community Z Tools Project Cited in: 6 Publications (2008–2012) Related Software: Z; Circus; SPIN; ProofPower; Z/EVES; FDR2; … Main Fields: Computer science (68-XX)
PHAML Software Authors: Mitchell, W.F Cited in: 12 Publications (2002–2019) Related Software: ParMETIS; ARPACK; Gmsh; quadva; PetIGA; quadgk; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Sollya Software Authors: Chevillard, Sylvain; Joldeş, Mioara; Lauter, Christoph Cited in: 11 Publications (2010–2018) Related Software: Coq; Flocq; CR-LIBM; ARPREC; MPFR; MACHAR; … Main Fields: Real functions (26-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
ANNA Software Authors: Luckham, David Cited in: 8 Publications (1986–2007) Related Software: Ada95; Spec#; JML; Eiffel; SPARK; LARCH; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
PURRS Software Authors: Roberto Bagnara; Andrea Pescetti; Alessandro Zaccagnini; Enea Zaffanella; Tatiana Zolo Cited in: 8 Publications (2006–2022) Related Software: ACE; LoAT; GitHub; CiaoPP; Ciao; PPL; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)
ProActive Software Authors: Inria Sophia Antipolis Cited in: 6 Publications (2002–2019) Related Software: AmbientTalk; ABS; Creol; Multilisp; IC2D; ABCL; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)
OBSCURE Software Authors: Lehmann, Thomas; Loeckx, Jacques Cited in: 7 Publications (1985–2017) Related Software: Nuprl; LCF; Mantissa; AIM@SHAPE; ProMoT; COBOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Dynamical systems and ergodic theory (37-XX)
JTS Topology Suite Software Authors: Vivid Solutions, Inc. (VSI) Cited in: 2 Publications (2013–2015) Related Software: GRASS GIS; Spatial SQL; Informix; DB2; Oracle; Matlab; … Main Fields: Geometry (51-XX); Statistics (62-XX)
KRoC Software Authors: Fred Barnes; Peter Welch Cited in: 3 Publications (2002–2018) Related Software: Handel-C; occam-pi; FDR3; Haskell; SPIN; Dafny; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
MCdevelop Software Authors: Slawinska, M.; Jadach, S. Cited in: 4 Publications (2011–2018) Related Software: Foam; ROOT; BHLUMI; Doxygen; GitHub; PYTHIA8; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Quantum theory (81-XX)
Yacas Software Authors: Pinkus, Ayal Z.; Winitzki, Serge Cited in: 2 Publications (2002–2018) Related Software: Ryacas; R; SymPy; reticulate; Deriv; caracas; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
CImg Software Authors: David Tschumperlé Cited in: 4 Publications (2006–2021) Related Software: VisualStudio.NET; IETL; STL; Boost; PBGL; Boost C++ Libraries; … Main Fields: Fluid mechanics (76-XX); Geophysics (86-XX); Operations research, mathematical programming (90-XX)
GTL Software Authors: Raitner, Marcus Cited in: 4 Publications (2001) Related Software: STL; LiDIA; GC; GVF; GraphXML; LEDA Main Fields: Combinatorics (05-XX); Computer science (68-XX)
RPy Software Authors: Walter Moreira; Gregory R. Warnes; Laurent Gautier Cited in: 0 Publications Related Software: R; rpy2; Rserve; RinRuby; WebArrayDB; WebArray; … Main Fields: –
TBTK Software Authors: Kristofer Björnson Cited in: 2 Publications (2020–2021) Related Software: Kwant; ASE; SMEAGOL; pybinding; GOLLUM; GPAW; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
BFFL Software Authors: Antonio Bellezza Cited in: 3 Publications (2002–2003) Related Software: MIST Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)
CAFISE Software Authors: Li, Gang; Zhao, Zhuofeng; Han, Yanbo; Liang, Ying Cited in: 3 Publications (2003–2006) Related Software: XtremWeb Main Fields: Computer science (68-XX)
CLHep Software Authors: Leif Lönnblad Cited in: 1 Publication (2001) Related Software: PYTHIA8; ROOT; HERWIG 5.1; PhysUnits; HepMC; CoREAS; … Main Fields: Quantum theory (81-XX)
DREAM Tool Software Authors: Gabor Madl Cited in: 2 Publications (2006–2013) Related Software: HyTech; IF-2.0; Kronos; Ptolemy; REDLIB; Synthia; … Main Fields: Computer science (68-XX)
LPKIT Software Authors: Nazareth, J.L. Cited in: 3 Publications (1986–1996) Related Software: DEVEX; MINOS; LSSOL; GAMS; pchip; UNCMND; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Maximum Entropy Modeling Toolkit Software Authors: Le Zhang Cited in: 3 Publications (2006–2015) Related Software: Snowball Main Fields: Statistics (62-XX); Computer science (68-XX)
PMax Software Authors: Zaraket, Fadi A.; Olleik, Majd; Yassine, Ali A. Cited in: 3 Publications (2014–2022) Related Software: npuScheduler; Gurobi; CPLEX; SINTEF Main Fields: Operations research, mathematical programming (90-XX)
BCOOPL Software Authors: De Bruin, Hans Cited in: 2 Publications (2001–2003) Related Software: – Main Fields: Computer science (68-XX)
CORONET-Train Software Authors: Pfahl, Dietmar; Angkasaputra, Niniek; Differding, Christiane; Ruhe, Günther Cited in: 2 Publications (2001) Related Software: – Main Fields: Computer science (68-XX)
mbeddr Software Authors: Markus Voelter, Daniel Ratiu, Bernhard Schaetz, Bernd Kolb Cited in: 1 Publication (2017) Related Software: Cyclone; Hume; Cedalion; JastAdd; Feldspar; js_of_ocaml; … Main Fields: Computer science (68-XX)
OPAL Software Authors: Alan Fischer, Andres Reinot,Tyler Streeter; Oleksandr Lozitskiy Cited in: 1 Publication (2014) Related Software: Optimization Test Environment; NEOS; OPAL; COPS; PATH Solver; MINOS; … Main Fields: Operations research, mathematical programming (90-XX)
OutlierFlag Software Authors: Shuai Huang; Yaqiang Wang; Yuanli Xie; Peng Zhao; Johannes Lüers Cited in: 0 Publications Related Software: MeteoInfo; outliers; GaFiR; Matlab; Python; SAGA; … Main Fields: –
SpecialValue Software Authors: Johan Vervloet Cited in: 2 Publications (2004–2005) Related Software: GlobSol; Easyval; INTLAB Main Fields: Mathematical logic and foundations (03-XX); Functions of a complex variable (30-XX); Special functions (33-XX)
swiginac Software Authors: Ola Skavhaug Cited in: 2 Publications (2010–2012) Related Software: GiNaC; Instant; FFC; Sundance; SyFi; FEniCS; … Main Fields: Functions of a complex variable (30-XX); Geometry (51-XX); Differential geometry (53-XX)
switchrGist Software Authors: Gabriel Becker Cited in: 1 Publication (2019) Related Software: R; CodeDepends; rocker; fastdigest; GRANBase; switchr; … Main Fields: Statistics (62-XX)
Zebra Software Authors: Chunikhin, O. Yu. Cited in: 2 Publications (2002–2006) Related Software: PlanetLab; DiPerF; Globus Toolkit; gnuplot; GridBench Main Fields: Computer science (68-XX)
BrookGPU Software Authors: Ian Buck; Tim Foley; Daniel Horn; Jeremy Sugerman; Pat Hanrahan; Mike Houston; Kayvon Fatahalian Cited in: 0 Publications Related Software: Bison; GPU-ABiSort; Cg; GPGPU; OpenGL; CUDA Main Fields: –
Easyval Software Authors: Johan Vervloet Cited in: 1 Publication (2005) Related Software: GlobSol; SpecialValue; INTLAB Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
FFEP Software Authors: Jörg Frochte Cited in: 1 Publication (2008) Related Software: – Main Fields: Integral equations (45-XX); Numerical analysis (65-XX)
FreeMat Software Authors: Demetrios Kyriakis; Eugene Ingerman; Samit Basu Cited in: 0 Publications Related Software: Octave; Matlab; emgr Main Fields: –
Freva 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. Cited in: 0 Publications Related Software: PCMDI metrics package; RCMES Toolkit; ESMValTool; MurCSS; Solr; ImageMagick; … Main Fields: –
gjrand Software Authors: geronimojones Cited in: 1 Publication (2020) Related Software: PractRand; Diehard; TestU01; dieharder; GSL; MersenneTwister; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
GraphGallery Software Authors: Jintang Li, Kun Xu, Liang Chen, Zibin Zheng, Xiao Liu Cited in: 1 Publication (2021) Related Software: TensorFlow; StellarGraph; CogDL; SchNet; XGNN; MoleculeNet; … Main Fields: Computer science (68-XX)
gRUP Software Authors: El-Kadi, Amr; Badreddin, Omar B. Cited in: 1 Publication (2009) Related Software: – Main Fields: Computer science (68-XX)
HEDES Software Authors: Rodr\'{\i}guez, M.J.; Parets, J.; Paderewski, P.; Anaya, A.; Hurtado, M.V. Cited in: 1 Publication (2000) Related Software: VisualWorks Main Fields: Computer science (68-XX)
ISDF Software Authors: Alkussayer, Abdulaziz; Allen, William H. Cited in: 1 Publication (2009) Related Software: – Main Fields: Computer science (68-XX)
IT++ Software Authors: Pål Frenger; Bogdan Cristea; Tony Ottosson; Adam Piątyszek Cited in: 1 Publication (2013) Related Software: Mfree2D; libMesh; PETSc; Gmsh Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
libkdtree++ Software Authors: Martin F. Krafft; Paul Harris; Sylvain Bougerel Cited in: 0 Publications Related Software: – Main Fields: –
LinkGrammar-WN Software Authors: Elliot Turner; Szolovits, P Cited in: 0 Publications Related Software: GENIA corpus; GENETAG; ABNER; iHOP; MedScan; ProMiner Main Fields: –
Mantissa Software Authors: Luc Maisonobe Cited in: 1 Publication (2017) Related Software: AIM@SHAPE; OBSCURE; ProMoT; COBOL; SingSurf Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Dynamical systems and ergodic theory (37-XX)
Matrix Expression Templates Software Authors: masakatsu Cited in: 0 Publications Related Software: uBLAS; Algorithm 940; Armadillo; Eigen; FLENS; Blitz++ Main Fields: –
reliability Software Authors: Goel, L.; Shrestha, G. B. Cited in: 1 Publication (2002) Related Software: Visual Basic Main Fields: Computer science (68-XX)
Seldon Software Authors: vmallet Cited in: 1 Publication (2016) Related Software: TUNAM; Traits; STL; FiPy; hpGEM; MTL4; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
SFEM-Pre Software Authors: Zhang, J. F.; Niu, R. P.; Zhang, Y. F.; Wang, C. Q.; Li, M.; Liu, G. R. Cited in: 1 Publication (2020) Related Software: HyperMesh; ABAQUS; TetGen Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
SmartTools Software Authors: Attali, Isabelle; Courbis, Carine; Degenne, Pascal; Fau, Alexandre; Parigot, Didier Cited in: 1 Publication (2001) Related Software: ATERM Main Fields: Computer science (68-XX)
SPEFY Software Authors: Li, Ming; Moriarty, K.J.M.; Srinivas, S. Cited in: 1 Publication (1994) Related Software: MIMDizer; PAT; SUPERB Main Fields: Computer science (68-XX)
tvmet Software Authors: Olaf Petzold Cited in: 1 Publication (2014) Related Software: ViennaCL; COOLFluiD; PETSc; CUDA Main Fields: Fluid mechanics (76-XX)
UDUNITS Software Authors: imipak Cited in: 1 Publication (2015) Related Software: ViennaMaterials; ViennaIPD; pugixml; SIUNITS; MatWeb; Boost; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
VXL Software Authors: scottim Cited in: 0 Publications Related Software: LibYAML; lmfit; ITK; qMTLab; TOMATO Main Fields: –
A+ Software Authors: Morgan Stanley; Arthur Whitney Cited in: 0 Publications Related Software: – Main Fields: –
Algae Software Authors: Scott Hunziker, Mike Brennan Cited in: 0 Publications Related Software: – Main Fields: –
Big Fraction Software Authors: steevatbluedust Cited in: 0 Publications Related Software: – Main Fields: –
C++ expression template matrix library Software Authors: Ricky Lung Man Tat Cited in: 0 Publications Related Software: – Main Fields: –
Combean Software Authors: Thomas Schikinger Cited in: 0 Publications Related Software: – Main Fields: –
J.A.D.E. Software Authors: Jean-Marie Dautelle Cited in: 0 Publications Related Software: – Main Fields: –
Java Calculator Suite Software Authors: AdamBurns Cited in: 0 Publications Related Software: – Main Fields: –