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)
Arb Software Authors: Fredrik Johansson Cited in: 55 Publications (2015–2022) Related Software: DLMF; SageMath; Julia; PARI/GP; mpmath; Mathematica; … Main Fields: Number theory (11-XX); Special functions (33-XX); Partial differential equations (35-XX)
na10 Software Authors: Bini, Dario Andrea Cited in: 53 Publications (1996–2022) Related Software: na20; mctoolbox; ISOLATE; Eigensolve; SYNAPS; Matlab; … Main Fields: Field theory and polynomials (12-XX); Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX)
BraMBLe Software Authors: Isard, M., MacCormick, J. Cited in: 6 Publications (2006–2014) Related Software: Pfinder; AdaBoost.MH; OTCBVS; pyuvdata; i-LIDS; PittPatt; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
galepu Software Authors: Gameiro, Marcio; Lessard, Jean-Philippe; Pugliese, Alessandro Cited in: 15 Publications (2016–2023) Related Software: INTLAB; MATCONT; Matlab; CL_MATCONT; GitHub; RODES; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
RedHom Software Authors: Juda, Mateusz; Mrozek, Marian Cited in: 12 Publications (2012–2017) Related Software: GAP; CAPD; CHomP; Library of Triangulations; Simplicial complex library; Perseus; … Main Fields: Convex and discrete geometry (52-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX)
VSDP Software Authors: V. Härter; C. Jansson; M. Lange Cited in: 12 Publications (2009–2019) Related Software: Mosek; SeDuMi; YALMIP; SDPT3; SDPA; CSDP; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
endomorphisms Software Authors: Costa, Edgar; Mascot, Nicolas; Sijsling, Jeroen; Voight, John Cited in: 11 Publications (2018–2022) Related Software: LMFDB; SageMath; GitHub; Magma; curve_reconstruction; genus3; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX)
OCOTILLO Software Authors: Goldman, Deborah; Istrail, Sorin; Lancia, Giuseppe; Piccolboni, Antonio; Walenz, Brian Cited in: 10 Publications (2000–2016) Related Software: – Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
ACETAF Software Authors: Eble, Ingo; Neher, Markus Cited in: 7 Publications (2003–2019) Related Software: INTOPT_90; filib++; C-XSC 2.0; GlobSol; INTLAB; ore_algebra; … Main Fields: Functions of a complex variable (30-XX); Special functions (33-XX); Ordinary differential equations (34-XX)
CoStLy Software Authors: Neher, Markus Cited in: 6 Publications (2004–2018) Related Software: INTLAB; C-XSC 2.0; filib++; Matlab; Algorithm 524; Algorithm 713; … Main Fields: General and overarching topics; collections (00-XX); Functions of a complex variable (30-XX); Dynamical systems and ergodic theory (37-XX)
GRKLib Software Authors: Olivier Bouissou , Matthieu Martel Cited in: 6 Publications (2009–2018) Related Software: Hybrid Trace Verifier; S-TaLiRo; VERICOMP; DynIbex; SCOTS; Flow*; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
Livarh Software Authors: Wang, Mu; Gebremedhin, Assefaw; Pothen, Alex Cited in: 3 Publications (2016–2022) Related Software: Livarhacc; edge_push_sp; ColPack; MatrixCalculus; L-BFGS; TADIFF; … Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
Livarhacc Software Authors: Wang, Mu; Gebremedhin, Assefaw; Pothen, Alex Cited in: 3 Publications (2016–2022) Related Software: Livarh; edge_push_sp; ColPack; MatrixCalculus; L-BFGS; TADIFF; … Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
clustRviz Software Authors: Weylandt, Michael; Nagorski, John; Allen, Genevera I. Cited in: 2 Publications (2020–2021) Related Software: clusterpath; ConvexLAR; t-SNE; k-means++; DEseq Main Fields: Statistics (62-XX); Computer science (68-XX)
sFFT Software Authors: Uri Keich Cited in: 2 Publications (2016–2021) Related Software: FFTW; minFFT; ShiftConvolve; R; BRENT; NumPy; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)
AERN Software Authors: Michal Konecny Cited in: 1 Publication (2014) Related Software: PolyPaver; iRRAM Main Fields: Numerical analysis (65-XX)
BeBP Software Authors: Smith, A.P. Cited in: 1 Publication (2009) Related Software: filib++; INTOPT_90; GLOBALLib Main Fields: Operations research, mathematical programming (90-XX)
DEMONIC Software Authors: Abramsky, Samson; Horsman, Dominic Cited in: 1 Publication (2015) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Classical thermodynamics, heat transfer (80-XX)
FScaFi Software Authors: Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani Cited in: 1 Publication (2021) Related Software: TuSoW; xarray; Featherweight Java; Matplotlib Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Kodiak Software Authors: Marco A. Feliu; Aaron M. Dutle; Cesar A. Munoz; et al. Cited in: 1 Publication (2021) Related Software: ReachNN; Kaa; Sapo; GitHub Main Fields: Computer science (68-XX)
MRCPP Software Authors: Frediani, Luca; Bast, Radovan; Bjorgve, Magnar; Di Remigio, Roberto; Durdek, Antoine; Fossgaard, Eirik; Gerez, Gabriel; Jensen, Stig Rune; Juselius, Jonas; Monstad, Rune; Wind, Peter Cited in: 1 Publication (2023) Related Software: GitHub; Kinetic-energy-free-HF; VAMPyR; Binder 2.0; VASP; Python Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)
PuRSUE Software Authors: Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo Cited in: 1 Publication (2020) Related Software: ROS; NuSMV; LTLMoP; GitHub; PRISM-games; Synthia; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
TheoDORE Software Authors: F. Plasser Cited in: 0 Publications Related Software: ezSpectra; Gabedit; Q-Chem; Spartan; BrianQC; Armadillo; … Main Fields: –
YADAS Software Authors: Graves, Todd L.; Hamada, Michael S. Cited in: 1 Publication (2005) Related Software: WinBUGS; R Main Fields: Statistics (62-XX); Numerical analysis (65-XX)
RiCaSi Software Authors: Mantel, H.; Scheidel, L.; Schneider, T.; Weber, A.; Weinert, C.; Weißmantel, T.; Krenn, S.; Shulman, H.; Vaudenay, S. Cited in: 0 Publications Related Software: – Main Fields: –