×

Found 76 Software Packages (Results 1–76)

Wirtinger Flow

Software Authors:   Emmanuel Candes, Xiaodong Li, Mahdi Soltanolkotabi
Referenced in: 124 Publications (2015–2022)
Related Software: PhaseLift; PhaseMax; GESPAR; SparsePR; CVX; PhaseCut; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

SLICOT

Software Authors:   Benner, Peter; Mehrmann, Volker; Sima, Vasile; Van Huffel, Sabine; Varga, Andras
Referenced in: 84 Publications (1999–2022)
Related Software: LAPACK; Matlab; mctoolbox; ScaLAPACK; ARPACK; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ProbView

Software Authors:   Lakshmanan, V.S., Leone, N., Ross, R. and Subrahmanian, V.S.
Referenced in: 11 Publications (2005–2018)
Related Software: ProTDB; MYSTIQ; PSQL; clusfind; flanagan; LingPipe; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

XPINNs

Software Authors:   Zheyuan Hu, Ameya D. Jagtap, George Em Karniadakis, Kenji Kawaguchi
Referenced in: 26 Publications (2020–2022)
Related Software: Adam; TensorFlow; DiffSharp; PyTorch; FPINNs; PINNsNTK; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

MOPS

Software Authors:   Dumitriu, Ioana; Edelman, Alan; Shuman, Gene
Referenced in: 25 Publications (2006–2022)
Related Software: OPQ; SRJAC; dCATCH; Polygint; Matlab; Manopt; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Special functions (33-XX)

Quantomatic

Software Authors:   Kissinger, Aleks
Referenced in: 22 Publications (2009–2022)
Related Software: PyZX; pytket; Jupyter; Matplotlib; NumPy; DisCoPy; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

ObservabilityTest

Software Authors:   Sedoglavic, Alexandre
Referenced in: 20 Publications (2001–2020)
Related Software: DAISY; Maple; GenSSI; SIAN; COMBOS; BLAD; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

iPhos-PseEvo

Software Authors:   Qiu, W.R.; Sun, B.Q.; Xiao, X.
Referenced in: 17 Publications (2016–2019)
Related Software: iRNAm5C-PseDNC; pLoc-mEuk; Pse-in-One; 2L-piRNA; iRSpot-EL; iRNA-PseColl; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

CFX-5

Software Authors:   Wüchner, Roland; Kupzok, Alexander; Bletzinger, Kai-Uwe
Referenced in: 16 Publications (2005–2016)
Related Software: CARAT; ANSYS; FLUENT; FLANN; SUMO; revolve; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

zk-SNARK

Software Authors:   Ben-Sasson, Eli; Chiesa, Alessandro; Tromer, Eran; Virza, Madars
Referenced in: 15 Publications (2014–2022)
Related Software: Pinocchio; SNARKs for C; ADSNARK; GitHub; Geppetto; Marlin; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Library of Triangulations

Software Authors:   Bruno Benedetti, Frank H. Lutz
Referenced in: 14 Publications (2013–2021)
Related Software: Simplicial complex library; RedHom; polymake; CHomP; Perseus; GAP; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Algebraic topology (55-XX)

BrainNet Viewer

Software Authors:   Xia M, Wang J, He Y.
Referenced in: 10 Publications (2018–2021)
Related Software: Brain Connectivity Toolbox; CONN; GraphVar; eConnectome; Gephi; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Statistics (62-XX)

RedHom

Software Authors:   Juda, Mateusz; Mrozek, Marian
Referenced 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)

GameShrink

Software Authors:   Gilpin, Andrew; Sandholm, Tuomas
Referenced in: 10 Publications (2007–2020)
Related Software: DeepStack; Libratus; NetworkX; Radish; AMPL; LPbook
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

BEDFix

Software Authors:   Shellman, Spencer; Sikorski, K.
Referenced in: 9 Publications (2003–2020)
Related Software: Algorithm 848; minpack; TENSOLVE
Main Fields: Operator theory (47-XX); Numerical analysis (65-XX); Computer science (68-XX)

L2WPMA

Software Authors:   Ioannis C. Demetriou
Referenced in: 8 Publications (2002–2022)
Related Software: FITPACK; Sheppack; QSHEP5D; CSHEP2D; TSHEP2D; QSHEP3D; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)

NSO

Software Authors:   Napsu Karmitsa
Referenced in: 8 Publications (2011–2019)
Related Software: GradSamp; LDGB; SolvOpt; MPBNGC; QSM; PBNCGC; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

RSPOP

Software Authors:   Ang, Kai Keng; Quek, Chai
Referenced in: 4 Publications (2005–2021)
Related Software: GenSoFNN; ANFIS; clusfind; Kernlab; R; DENFIS
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Systems theory; control (93-XX)

Atropos

Software Authors:   Stephen F. Bush; Amit Kulkarn
Referenced in: 2 Publications (2004–2010)
Related Software: PLAN
Main Fields: Computer science (68-XX)

DGDFT

Software Authors:   Wei Hu, Lin Lin, Chao Yang
Referenced in: 7 Publications (2016–2021)
Related Software: Quantum Espresso; ABINIT; ONETEP; lobpcg.m; CheFSI; NWChem; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

Jordan Normal Forms

Software Authors:   René Thiemann; Akihisa Yamada
Referenced in: 6 Publications (2016–2021)
Related Software: Isabelle/HOL; Archive Formal Proofs; Isabelle; Polynomials; Deep_Learning; Groebner_Bases; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Numerical analysis (65-XX)

TUGlab

Software Authors:   Miguel Ángel Mirás Calvo; Estela Sánchez Rodríguez
Referenced in: 6 Publications (2012–2021)
Related Software: Benchmarking; sfa; DEAFrontier; Excel
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

APRIORI

Software Authors:   Kosters, Walter A.; Pijls, Wim; Popova, Viara
Referenced in: 2 Publications (2003–2018)
Related Software: Apriori; Eclat; gSpan; Genocop
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

fastSTRUCTURE

Software Authors:   Raj A, Stephens M, Pritchard JK
Referenced in: 5 Publications (2017–2021)
Related Software: STRUCTURE; R; Frappe; plyr; LBFGS-B; ggplot2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

lifting

Software Authors:   Fukasawa, Ricardo; Poirrier, Laurent; Xavier, Álinson S.
Referenced in: 5 Publications (2018–2021)
Related Software: MIPLIB; CPLEX; onerow; MIPLIB2003; infinite group relaxation; gmp
Main Fields: Operations research, mathematical programming (90-XX)

tuftests

Software Authors:   George Marsaglia; Wai Wan Tsang
Referenced in: 4 Publications (2004–2022)
Related Software: Diehard; TestU01; MersenneTwister; dieharder; RngStreams; NIST Statistical Test Suite; …
Main Fields: Number theory (11-XX); Statistics (62-XX); Numerical analysis (65-XX)

VERIFAS

Software Authors:   Yuliang Li, Alin Deutsch, Victor Vianu
Referenced in: 4 Publications (2019–2021)
Related Software: Cubicle; Mcmt; Booster; SAFARI; ASASP; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ABAKO/RAPCAL

Software Authors:   Rodriguez, R.; Florido, R.; Gil, J.M.; Rubiano, J.G.; Suarez, D.; Martel, P.; Minguez, E.; Mancini, R.C.
Referenced in: 4 Publications (2010–2021)
Related Software: FLYCHK; HULLAC; SPECT3D; IRIS; MIXKIP/RAPCAL; HERACLES; …
Main Fields: Fluid mechanics (76-XX); Optics, electromagnetic theory (78-XX); Statistical mechanics, structure of matter (82-XX)

CrasyDSE

Software Authors:   Huber, Markus Q.; Mitter, Mario
Referenced in: 4 Publications (2012–2020)
Related Software: Mathematica; JaxoDraw; FormTracer; FeynHelpers; HEPMath; FORM; …
Main Fields: Quantum theory (81-XX)

helperOC

Software Authors:   Somil Bansal, Mo Chen, Sylvia Herbert, Claire J. Tomlin
Referenced in: 3 Publications (2020–2022)
Related Software: ToolboxLS; PILCO; Python; BaRC
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

IGLUE

Software Authors:   Mephu Nguifo, Engelbert; Njiwoua, Patrick
Referenced in: 3 Publications (2001–2020)
Related Software: FCALGS; AddIntent; Concept Explorer; Galicia; LCM; CMAR; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Krohn-Rhodes

Software Authors:   Egri-Nagy, Attila; Nehaniv, Chrystopher L.
Referenced in: 4 Publications (2005–2011)
Related Software: GAP; SgpDec
Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX)

MLAMBDA

Software Authors:   Chang, X.-W.; Yang, X.; Zhou, T.
Referenced in: 4 Publications (2005–2018)
Related Software: MILES; Mosek; CVX
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Geophysics (86-XX)

Livarh

Software Authors:   Wang, Mu; Gebremedhin, Assefaw; Pothen, Alex
Referenced in: 3 Publications (2016–2022)
Related Software: Livarhacc; edge_push_sp; ColPack; NUTS; torchdiffeq; JuMP; …
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
Referenced in: 3 Publications (2016–2022)
Related Software: Livarh; edge_push_sp; ColPack; NUTS; torchdiffeq; JuMP; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

permtest1

Software Authors:   Kaiser, J.
Referenced in: 3 Publications (2019–2020)
Related Software: Stata
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)

possum

Software Authors:   Woody, Spencer; Carvalho, Carlos M.; Murray, Jared S.
Referenced in: 3 Publications (2021)
Related Software: BartPy; tsBCF; tsbart; gamair; R; grf; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

solverALL

Software Authors:   Aleksander Figiel, Anne-Sophie Himmel, André Nichterlein, Rolf Niedermeier
Referenced in: 2 Publications (2021)
Related Software: SCIP
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

uncertainties

Software Authors:   Lebigot E.O.
Referenced in: 1 Publication (2019)
Related Software: MonteCarloMeasurements.jl; Distributions.jl; MetroloPy; Julia; NoisySignalIntegration.jl; NumPy; …
Main Fields: Relativity and gravitational theory (83-XX)

Algorithm 848

Software Authors:   Shellman, Spencer D.; Sikorski, K.
Referenced in: 2 Publications (2005–2011)
Related Software: BEDFix; minpack; TENSOLVE
Main Fields: Operator theory (47-XX); Numerical analysis (65-XX)

bgaPEST

Software Authors:   Michael N. Fienen, Marco D’Oria, John E. Doherty, Randall J. Hunt
Referenced in: 2 Publications (2018–2020)
Related Software: MODFLOW-2000; MODFLOW; AS 47; EnKF
Main Fields: Statistics (62-XX); Geophysics (86-XX)

BioSimulator.jl

Software Authors:   Alfonso Landeros, Timothy Stutz, Kevin L. Keys, Alexander Alekseyenko, Janet S. Sinsheimer, Kenneth Lange, Mary Sehl
Referenced in: 0 Publications
Related Software: DifferentialEquations.jl; Julia; DiffEqFlux; Flux; GR Framework; epinet; …
Main Fields:

diffstrata

Software Authors:   Matteo Costantini, Martin Möller, Jonathan Zachhuber
Referenced in: 2 Publications (2021–2022)
Related Software: mgn; admcycles; CoCalc; SageMath; MathOverflow
Main Fields: Algebraic geometry (14-XX); Functions of a complex variable (30-XX); Special functions (33-XX)

FASP

Software Authors:   Xu, J.
Referenced in: 2 Publications (2016–2017)
Related Software: FEniCS; VAC
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

OT-Flow

Software Authors:   Derek Onken, Samy Wu Fung, Xingjian Li, Lars Ruthotto
Referenced in: 2 Publications (2022)
Related Software: Julia; Wasserstein GAN; DeepAdverserialRegulariser; LoDoPaB-CT; Entropy-SGD; PNKH-B; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Quin

Software Authors:   Canetti, Ran; Riva, Ben; Rothblum, Guy N.
Referenced in: 2 Publications (2013–2019)
Related Software: PyEmu; Flicker; DynInst
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Regtheory.jl

Software Authors:   Valkonen, T.
Referenced in: 2 Publications (2021–2022)
Related Software: Triangle
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

RGCNN

Software Authors:   Gusi Te, Wei Hu, Zongming Guo, Amin Zheng
Referenced in: 1 Publication (2022)
Related Software: PointNet; ScanNet; Cityscapes; PointSIFT; InteriorNet; VoxNet; …
Main Fields: Computer science (68-XX)

SACS Toolkit

Software Authors:   Castellani, Brian; Hafferty, Frederic William
Referenced in: 2 Publications (2009)
Related Software: Pajek; SACS
Main Fields: Dynamical systems and ergodic theory (37-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

AbstractDifferentiation.jl

Software Authors:   Frank Schäfer, Mohamed Tarek, Lyndon White, Chris Rackauckas
Referenced in: 0 Publications
Related Software: ChainRules.jl; SPNets; PyMC; PyTorch; NumPy; MathOptInterface.jl; …
Main Fields:

aqp

Software Authors:   Dylan Beaudette, Pierre Roudier
Referenced in: 0 Publications
Related Software: R; Mapping Toolbox; rggobi; ossimPlanet; gstat; INTAMAP; …
Main Fields:

BIGHORN

Software Authors:   Idaho National Lab. (INL): Xia, Yidong; Andrs, David; Martineau, Richard Charles
Referenced in: 1 Publication (2019)
Related Software: SIERRA; Fuego; Flownex; SimScale; Refprop; HyperMesh; …
Main Fields: Fluid mechanics (76-XX)

CAMPY

Software Authors:   Srikanth, Akhilesh; Sahin, Burak; Harris, William R.
Referenced in: 1 Publication (2017)
Related Software: LeetCode; Soot; z3
Main Fields: Computer science (68-XX)

ConFuL

Software Authors:   Sabeti, Rostam
Referenced in: 1 Publication (2022)
Related Software: SINGULAR
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

DescriptiveEnvironment

Software Authors:   Carmosino, Marco; Immerman, Neil; Jordan, Charles
Referenced in: 1 Publication (2012)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DOAMI

Software Authors:   Zhang, Kejia; Han, Qilong; Cai, Zhipeng; Yin, Guisheng; Lin, Junyu
Referenced in: 1 Publication (2019)
Related Software:
Main Fields: Computer science (68-XX)

GRETNA

Software Authors:   Wang J, Wang X, Xia M, Liao X, Evans A, He Y
Referenced in: 0 Publications
Related Software: Brain Connectivity Toolbox; BRAPH; BASCO; GTG; BrainNet Viewer; eConnectome; …
Main Fields:

HFGT

Software Authors:   Prabhat Hegde, Wester C. H. Schoonenberg, Dakota Thompson, Amro M. Farid
Referenced in: 0 Publications
Related Software: xml2struct; SysML; Matlab
Main Fields:

HydroZIP

Software Authors:   Weijs, Steven V.; van de Giesen, Nick; Parlange, Marc B.
Referenced in: 1 Publication (2013)
Related Software:
Main Fields: Statistics (62-XX); Geophysics (86-XX); Information and communication theory, circuits (94-XX)

IQC-Game

Software Authors:   Zhang, Guodong; Bao, Xuchan; Lessard, Laurent; Grosse, Roger
Referenced in: 1 Publication (2021)
Related Software: Wasserstein GAN; AlexNet; SBEED; GitHub; ImageNet; PESTO; …
Main Fields: Computer science (68-XX)

Jove

Software Authors:   Gopalakrishnan, Ganesh Lalitha
Referenced in: 1 Publication (2019)
Related Software: Jupyter; Python
Main Fields: Computer science (68-XX)

MoMEMta

Software Authors:   Sébastien Brochet; Christophe Delaere; Brieuc François; Vincent Lemaître; Alexandre Mertens; Alessia Saggio; Miguel Vidal Marono; Sébastien Wertz
Referenced in: 0 Publications
Related Software: DELPHES; PYTHIA8; DCUHRE; Cuba; LHAPDF; StdHep; …
Main Fields:

PedPeel

Software Authors:   Belonogova, Nadezhda M.; Axenovich, Tatiana I.
Referenced in: 1 Publication (2007)
Related Software:
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)

PyLlama

Software Authors:   Mélanie M. Bay, Silvia Vignolini, Kevin Vynck
Referenced in: 0 Publications
Related Software: Reticolo; Berreman4x4; SymPy; SciPy; NumPy; Python
Main Fields:

PyPhi

Software Authors:   William G. P. Mayner; William Marshall; Larissa Albantakis; Graham Findlay; Robert Marchman; Giulio Tononi
Referenced in: 0 Publications
Related Software: Python; NumPy
Main Fields:

RAG

Software Authors:   Daniela Fera, Namhee Kim, Nahum Shiffeldrim, Julie Zorn, Uri Laserson, Hin Hark Gan, Tamar Schlick
Referenced in: 1 Publication (2013)
Related Software:
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX)

robot_arm

Software Authors:   Bhattacharya, Subhrajit; Pivtoraiko, Mihail
Referenced in: 1 Publication (2015)
Related Software: JavaScript; OpenGL
Main Fields: Mechanics of particles and systems (70-XX)

ROC++

Software Authors:   Phebe Vayanos, Qing Jin, George Elissaios
Referenced in: 1 Publication (2022)
Related Software: ROmodel; PyROS; RSOME; JuMP; PICOS; Pyomo
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SAFFRON

Software Authors:   Lee, Kangwook; Chandrasekher, Kabir; Pedarsani, Ramtin; Ramchandran, Kannan
Referenced in: 1 Publication (2019)
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

SFEM-Pre

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

WaveComBox

Software Authors:   François Rottenberg; Mathieu Van Eeckhaute; François Horlin; Jérôme Louveaux
Referenced in: 0 Publications
Related Software: Matlab
Main Fields:

WSINDy

Software Authors:   Messenger, Daniel A.; Bortz, David M.
Referenced in: 1 Publication (2022)
Related Software: GitHub
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

ZpL

Software Authors:   Caruso, Xavier; Roe, David; Vaccon, Tristan
Referenced in: 1 Publication (2018)
Related Software: SageMath
Main Fields: Number theory (11-XX); Computer science (68-XX)

BetaMol

Software Authors:   Youngsong Cho, Jae-Kwan Kim, Joonghyun Ryu, Chung-In Won, Chong-Min Kim, Donguk Kim, Deok-Soo Kim
Referenced in: 0 Publications
Related Software:
Main Fields:

statcomp

Software Authors:   Sebastian Sippel, Holger Lange, Fabian Gans
Referenced in: 0 Publications
Related Software:
Main Fields:

Trickle

Software Authors:   Blackham B, Liffiton M, Heiser G
Referenced in: 0 Publications
Related Software:
Main Fields: