×

Found 30 Software Packages (Results 1–30)

PHCpack

Software Authors:   Jan Verschelde
Cited in: 229 Publications (1999–2022)
Related Software: Bertini; HOM4PS; Macaulay2; SINGULAR; PHoM; MixedVol; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

ML

Software Authors:   Hu, J., Sala, M., Tong, C., Tuminaro, R., et al
Cited in: 124 Publications (2002–2022)
Related Software: Trilinos; PETSc; BoomerAMG; deal.ii; hypre; AztecOO; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

HSL_MI20

Software Authors:   Boyle, Jonathan; Mihajlovi, Milan; Scott, Jennifer
Cited in: 59 Publications (2009–2022)
Related Software: IFISS; Matlab; AGMG; UMFPACK; HSL; GitHub; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX)

AGMG

Software Authors:   Yvan Notay
Cited in: 44 Publications (2011–2022)
Related Software: IFISS; HSL_MI20; BoomerAMG; Matlab; LAMG; SparseMatrix; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

CADSOL

Software Authors:   Schmauder, M; Schoenauer, W.; Weiss, R.
Cited in: 39 Publications (1991–2022)
Related Software: PARDISO; COLSYS; LINSOL; VLUGR3; VLUGR2; Mathematica; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

BPKit

Software Authors:   Edmond Chow, Mike Heroux
Cited in: 21 Publications (1997–2021)
Related Software: SparseMatrix; ILUM; ILUT; ARMS; ML; SPARSKIT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-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)

FIDISOL

Software Authors:   Schönauer, Willi; Schnepf, Eric
Cited in: 12 Publications (1987–2002)
Related Software: ELLPACK; PELLPACK; PDECOL; Madpack; FDEM; VECFEM; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

CPR-AMG

Software Authors:   Quan M. Bui, Howard C. Elman, J.D. Moulton
Cited in: 11 Publications (2017–2022)
Related Software: IPARS; hypre; PETSc; BoomerAMG; MRST; Firedrake; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

FDEM

Software Authors:   Schönauer, Willi; Adolph, Torsten
Cited in: 8 Publications (2002–2012)
Related Software: LINSOL; SuperLU-DIST; ORESD; PDEX1M; VECFEM; FIDISOL
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

GePUP

Software Authors:   Zhang, Qinghai
Cited in: 8 Publications (2016–2021)
Related Software: MARS; AMRCFI; SADoRe; FEniCS; Gmsh; FIAT; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

UHM

Software Authors:   Kim, Kyungjoo; Eijkhout, Victor
Cited in: 7 Publications (2014–2021)
Related Software: MUMPS; METIS; SparseMatrix; DAGuE; StarPU; HSL_MA87; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Biips

Software Authors:   Adrien Todeschini, François Caron, Marc Fuentes, Pierrick Legrand, Pierre Del Moral
Cited in: 0 Publications
Related Software: vSMC; R; LibBi; pomp; JAGS; BUGS; …
Main Fields:

Dart

Software Authors:   J. Lee, M. X. Grey, S. Ha, T. Kunz, S. Jain, Y. Ye, S. S. Srinivasa, M. Stilman, C. K. Liu
Cited in: 2 Publications (2020–2021)
Related Software: MuJoCo; Flappy; DLTdv; ROS; Python; OpenAI Gym; …
Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX)

AdaptiveStressTesting.jl

Software Authors:   Ritchie Lee
Cited in: 1 Publication (2021)
Related Software: Breach; S-TaLiRo; OpenAI Gym; Julia; POMDPs.jl; POMDPStressTesting.jl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DryVR

Software Authors:   Qi, Bolun; Fan, Chuchu; Jiang, Minghao; Mitra, Sayan
Cited in: 3 Publications (2017–2021)
Related Software: S-TaLiRo; dReach; AutoMOTGen; Dymola; Uppaal; StateFlow; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

IMLI

Software Authors:   Bishwamittra Ghosh, Kuldeep S. Meel
Cited in: 3 Publications (2021–2022)
Related Software: MLIC; UCI-ml; ORL; C4.5; Scikit; LoRMIkA; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

prob-black-reach

Software Authors:   Aichernig, Bernhard K.; Tappler, Martin
Cited in: 3 Publications (2019–2021)
Related Software: PRISM; z3; Qhull; BisimDist; NModel; MQTT; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

FAMOUS

Software Authors:   Hanss, M., Walz, N.P., Universität Stuttgart
Cited in: 2 Publications (2018–2019)
Related Software: Morembs; Matlab
Main Fields: Ordinary differential equations (34-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

ginSODA

Software Authors:   S.M. Nobile, P. Cazzaniga, D. Besozzi, G. Mauri
Cited in: 2 Publications (2021–2022)
Related Software: MPGOS; CUDA; SUNDIALS; Matlab; ode23s; ode113; …
Main Fields: Numerical analysis (65-XX)

Pygpc

Software Authors:   Weise K., Poßner L., Müller E., Gast R., Knösche T.R.
Cited in: 0 Publications
Related Software: Python; Travis CI; PyRates; Scikit; Matlab; UQLab; …
Main Fields:

Algebraic kernel

Software Authors:   E. Berberich, M. Hemmer, S. Lazard, L. Peñaranda, M. Teillaud
Cited in: 1 Publication (2013)
Related Software: Lgp; insulate; Xalci; na20; 2D Arrangement; ISOLATE; …
Main Fields: Algebraic geometry (14-XX); Computer science (68-XX)

Drake

Software Authors:   Russ Tedrake; Drake Development Team
Cited in: 0 Publications
Related Software: CAZSL; MuJoCo; Optimica; JModelica; pyomo.dae; Crocoddyl; …
Main Fields:

Gremlins

Software Authors:   Todd Lipcon; Sean Busbey
Cited in: 0 Publications
Related Software: FATE; FlipIt; PreFail; NFTAPE; SciPy; Python; …
Main Fields:

LASSIE

Software Authors:   Tangherloni A, Nobile MS, Besozzi D, Mauri G, Cazzaniga P
Cited in: 1 Publication (2019)
Related Software: GeneNetWeaver; Path2Models; SOSlib; BioPreDyn-bench; MMG; sgnesR; …
Main Fields: Biology and other natural sciences (92-XX)

MDETR

Software Authors:   Aishwarya Kamath, Mannat Singh, Yann LeCun, Gabriel Synnaeve, Ishan Misra, Nicolas Carion
Cited in: 0 Publications
Related Software: COVAREP; RUBi; OpenFace; VL-InterpreT; CLEVR; ViLT; …
Main Fields:

PaRoT

Software Authors:   Edward Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside
Cited in: 0 Publications
Related Software: MixTrain; SkipNet; Adam; Marabou; Reluplex; TensorFlow
Main Fields:

POMDPStressTesting.jl

Software Authors:   Robert J. Moss
Cited in: 0 Publications
Related Software: AdaptiveStressTesting.jl; Breach; OpenAI Gym; S-TaLiRo; Julia; POMDPs.jl
Main Fields:

rbiips

Software Authors:   Adrien Todeschini; François Caron; Marc Fuentes
Cited in: 0 Publications
Related Software: factorstochvol; Stan; mcmcse; FKF; CppAD; TMB; …
Main Fields:

snake

Software Authors:   Guo C, Xiang T, von Delft J
Cited in: 1 Publication (2017)
Related Software: Tensor Network Theory; evoMPS; ITensor; GitHub; VirtualBox; DMRG++; …
Main Fields: Quantum theory (81-XX)