Wirtinger Flow Cited in 143 Documents (2015–2023) Software Authors: Emmanuel Candes, Xiaodong Li, Mahdi Soltanolkotabi Related Software: PhaseLift; PhaseMax; GESPAR; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
SLICOT Cited in 85 Documents (1999–2022) Software Authors: Benner, Peter; Mehrmann, Volker; Sima, Vasile; Van Huffel, Sabine; Varga, Andras Related Software: LAPACK; Matlab; mctoolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
F3DAM Cited in 47 Documents (2021–2023) Software Authors: Mozaffar, M.; Bostanabad, R.; Chen, W.; Ehmann, K.; Cao, J.; Bessa, M. A. Related Software: Adam; PyTorch; TensorFlow; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
XPINNs Cited in 36 Documents (2020–2023) Software Authors: Zheyuan Hu, Ameya D. Jagtap, George Em Karniadakis, Kenji Kawaguchi Related Software: Adam; DeepONet; DeepXDE; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ProbView Cited in 11 Documents (2005–2018) Software Authors: Lakshmanan, V.S., Leone, N., Ross, R. and Subrahmanian, V.S. Related Software: Trio; ProTDB; MYSTIQ; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
MOPS Cited in 26 Documents (2006–2022) Software Authors: Dumitriu, Ioana; Edelman, Alan; Shuman, Gene Related Software: OPQ; dCATCH; SRJAC; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Special functions (33-XX); …
Quantomatic Cited in 23 Documents (2009–2022) Software Authors: Kissinger, Aleks Related Software: PyZX; Globular; pytket; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX); …
ObservabilityTest Cited in 22 Documents (2001–2022) Software Authors: Sedoglavic, Alexandre Related Software: DAISY; COMBOS; SIAN; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …
LARS Cited in 19 Documents (2016–2022) Software Authors: Beck, H., Dao-Tran, M., Eiter, T., Fink, M. Related Software: Clingo; oClingo; SPARQL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
iPhos-PseEvo Cited in 18 Documents (2016–2021) Software Authors: Qiu, W.R.; Sun, B.Q.; Xiao, X. Related Software: iRNAm5C-PseDNC; pLoc-mEuk; Pse-in-One; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
CFX-5 Cited in 16 Documents (2005–2016) Software Authors: Wüchner, Roland; Kupzok, Alexander; Bletzinger, Kai-Uwe Related Software: CARAT; ANSYS; FLUENT; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
Library of Triangulations Cited in 16 Documents (2013–2022) Software Authors: Bruno Benedetti, Frank H. Lutz Related Software: Simplicial complex library; GAP; polymake; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Algebraic topology (55-XX); …
SpiderBoost Cited in 15 Documents (2020–2022) Software Authors: Zhe Wang, Kaiyi Ji, Yi Zhou, Yingbin Liang, Vahid Tarokh Related Software: Saga; ProxSARAH; Adam; … Main Fields: Functional analysis (46-XX); Statistics (62-XX); Computer science (68-XX); …
zk-SNARK Cited in 15 Documents (2014–2022) Software Authors: Ben-Sasson, Eli; Chiesa, Alessandro; Tromer, Eran; Virza, Madars Related Software: Pinocchio; SNARKs for C; Marlin; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …
BrainNet Viewer Cited in 10 Documents (2018–2021) Software Authors: Xia M, Wang J, He Y. Related Software: Brain Connectivity Toolbox; CONN; GraphVar; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Statistics (62-XX); …
RedHom Cited in 12 Documents (2012–2017) Software Authors: Juda, Mateusz; Mrozek, Marian Related Software: GAP; CAPD; CHomP; … Main Fields: Convex and discrete geometry (52-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX); …
GameShrink Cited in 10 Documents (2007–2020) Software Authors: Gilpin, Andrew; Sandholm, Tuomas Related Software: DeepStack; Libratus; NetworkX; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
BEDFix Cited in 9 Documents (2003–2020) Software Authors: Shellman, Spencer; Sikorski, K. Related Software: Algorithm 848; minpack; TENSOLVE Main Fields: Operator theory (47-XX); Numerical analysis (65-XX); Computer science (68-XX); …
L2WPMA Cited in 8 Documents (2002–2022) Software Authors: Ioannis C. Demetriou Related Software: FITPACK; Sheppack; QSHEP5D; … Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX); …
DGDFT Cited in 8 Documents (2016–2022) Software Authors: Wei Hu, Lin Lin, Chao Yang Related Software: ONETEP; Quantum Espresso; ABINIT; … Main Fields: Combinatorics (05-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
NSO Cited in 8 Documents (2011–2019) Software Authors: Napsu Karmitsa Related Software: GradSamp; LDGB; SolvOpt; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
RSPOP Cited in 4 Documents (2005–2021) Software Authors: Ang, Kai Keng; Quek, Chai Related Software: ANFIS; GenSoFNN; Kernlab; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Systems theory; control (93-XX)
Atropos Cited in 2 Documents (2004–2010) Software Authors: Stephen F. Bush; Amit Kulkarn Related Software: PLAN Main Fields: Computer science (68-XX)
Jordan Normal Forms Cited in 7 Documents (2016–2021) Software Authors: René Thiemann; Akihisa Yamada Related Software: Isabelle/HOL; Isabelle; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Numerical analysis (65-XX); …
solverALL Cited in 6 Documents (2021–2023) Software Authors: Aleksander Figiel, Anne-Sophie Himmel, André Nichterlein, Rolf Niedermeier Related Software: SCIP Main Fields: Combinatorics (05-XX); Computer science (68-XX)
fastSTRUCTURE Cited in 6 Documents (2017–2021) Software Authors: Raj A, Stephens M, Pritchard JK Related Software: STRUCTURE; R; Frappe; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)
TUGlab Cited in 6 Documents (2012–2021) Software Authors: Miguel Ángel Mirás Calvo; Estela Sánchez Rodríguez Related Software: Benchmarking; sfa; DEAFrontier; … Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
APRIORI Cited in 2 Documents (2003–2018) Software Authors: Kosters, Walter A.; Pijls, Wim; Popova, Viara Related Software: Eclat; Apriori; gSpan; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CrasyDSE Cited in 5 Documents (2012–2020) Software Authors: Huber, Markus Q.; Mitter, Mario Related Software: Mathematica; DoFun; HEPMath; … Main Fields: Difference and functional equations (39-XX); Quantum theory (81-XX)
lifting Cited in 5 Documents (2018–2021) Software Authors: Fukasawa, Ricardo; Poirrier, Laurent; Xavier, Álinson S. Related Software: MIPLIB; onerow; CPLEX; … Main Fields: Operations research, mathematical programming (90-XX)
tuftests Cited in 4 Documents (2004–2022) Software Authors: George Marsaglia; Wai Wan Tsang Related Software: Diehard; TestU01; MersenneTwister; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX)
VERIFAS Cited in 4 Documents (2019–2021) Software Authors: Yuliang Li, Alin Deutsch, Victor Vianu Related Software: Cubicle; Mcmt; Booster; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ABAKO/RAPCAL Cited in 4 Documents (2010–2021) Software Authors: Rodriguez, R.; Florido, R.; Gil, J.M.; Rubiano, J.G.; Suarez, D.; Martel, P.; Minguez, E.; Mancini, R.C. Related Software: FLYCHK; HULLAC; HERACLES; … Main Fields: Fluid mechanics (76-XX); Optics, electromagnetic theory (78-XX); Statistical mechanics, structure of matter (82-XX)
helperOC Cited in 3 Documents (2020–2022) Software Authors: Somil Bansal, Mo Chen, Sylvia Herbert, Claire J. Tomlin Related Software: ToolboxLS; PILCO; Python; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …
IGLUE Cited in 3 Documents (2001–2020) Software Authors: Mephu Nguifo, Engelbert; Njiwoua, Patrick Related Software: FCALGS; AddIntent; Concept Explorer; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
Krohn-Rhodes Cited in 4 Documents (2005–2011) Software Authors: Egri-Nagy, Attila; Nehaniv, Chrystopher L. Related Software: GAP; SgpDec Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX)
MLAMBDA Cited in 4 Documents (2005–2018) Software Authors: Chang, X.-W.; Yang, X.; Zhou, T. Related Software: MILES; Mosek; CVX Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Geophysics (86-XX); …
permtest1 Cited in 4 Documents (2019–2022) Software Authors: Kaiser, J. Related Software: Stata; R; Rcpp; … Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
diffstrata Cited in 3 Documents (2021–2022) Software Authors: Matteo Costantini, Martin Möller, Jonathan Zachhuber Related Software: admcycles; SageMath; mgn; … Main Fields: Algebraic geometry (14-XX); Functions of a complex variable (30-XX); Special functions (33-XX); …
Livarh Cited in 3 Documents (2016–2022) Software Authors: Wang, Mu; Gebremedhin, Assefaw; Pothen, Alex Related Software: Livarhacc; edge_push_sp; ColPack; … Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
Livarhacc Cited in 3 Documents (2016–2022) Software Authors: Wang, Mu; Gebremedhin, Assefaw; Pothen, Alex Related Software: Livarh; edge_push_sp; ColPack; … Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
OT-Flow Cited in 3 Documents (2022) Software Authors: Derek Onken, Samy Wu Fung, Xingjian Li, Lars Ruthotto Related Software: U-Net; BDD100k; Inception-v4; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
possum Cited in 3 Documents (2021) Software Authors: Woody, Spencer; Carvalho, Carlos M.; Murray, Jared S. Related Software: BartPy; tsBCF; tsbart; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)
uncertainties Cited in 1 Document (2019) Software Authors: Lebigot E.O. Related Software: Python; QExpy; NumPy; … Main Fields: Relativity and gravitational theory (83-XX)
Algorithm 848 Cited in 2 Documents (2005–2011) Software Authors: Shellman, Spencer D.; Sikorski, K. Related Software: BEDFix; minpack; TENSOLVE Main Fields: Operator theory (47-XX); Numerical analysis (65-XX)
bgaPEST Cited in 2 Documents (2018–2020) Software Authors: Michael N. Fienen, Marco D’Oria, John E. Doherty, Randall J. Hunt Related Software: MODFLOW-2000; MODFLOW; AS 47; … Main Fields: Statistics (62-XX); Geophysics (86-XX)
BioSimulator.jl Cited in 0 Documents Software Authors: Alfonso Landeros, Timothy Stutz, Kevin L. Keys, Alexander Alekseyenko, Janet S. Sinsheimer, Kenneth Lange, Mary Sehl Related Software: DifferentialEquations.jl; Julia; DiffEqFlux; … Main Fields: –
FASP Cited in 2 Documents (2016–2017) Software Authors: Xu, J. Related Software: FEniCS; VAC Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
PyLlama Cited in 1 Document (2022) Software Authors: Mélanie M. Bay, Silvia Vignolini, Kevin Vynck Related Software: Reticolo; Berreman4x4; SymPy; … Main Fields: Optics, electromagnetic theory (78-XX)
Quin Cited in 2 Documents (2013–2019) Software Authors: Canetti, Ran; Riva, Ben; Rothblum, Guy N. 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 Cited in 2 Documents (2021–2022) Software Authors: Valkonen, T. Related Software: Triangle Main Fields: Partial differential equations (35-XX); Operator theory (47-XX); Numerical analysis (65-XX); …
RGCNN Cited in 1 Document (2022) Software Authors: Gusi Te, Wei Hu, Zongming Guo, Amin Zheng Related Software: PointNet; ScanNet; Cityscapes; … Main Fields: Computer science (68-XX)
ROC++ Cited in 2 Documents (2022) Software Authors: Phebe Vayanos, Qing Jin, George Elissaios Related Software: JuMP; MSPPy; ROME; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
SACS Toolkit Cited in 2 Documents (2009) Software Authors: Castellani, Brian; Hafferty, Frederic William 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 Cited in 0 Documents Software Authors: Frank Schäfer, Mohamed Tarek, Lyndon White, Chris Rackauckas Related Software: ChainRules.jl; SPNets; PyMC; … Main Fields: –
AMINO Cited in 1 Document (2023) Software Authors: Ravindra, P.; Smith, Z.; Tiwary, P. Related Software: Gromacs Main Fields: Statistical mechanics, structure of matter (82-XX); Biology and other natural sciences (92-XX)
aqp Cited in 0 Documents Software Authors: Dylan Beaudette, Pierre Roudier Related Software: R; Mapping Toolbox; rggobi; … Main Fields: –
BIGHORN Cited in 1 Document (2019) Software Authors: Idaho National Lab. (INL): Xia, Yidong; Andrs, David; Martineau, Richard Charles Related Software: SIERRA; Fuego; Flownex; … Main Fields: Fluid mechanics (76-XX)
CAMPY Cited in 1 Document (2017) Software Authors: Srikanth, Akhilesh; Sahin, Burak; Harris, William R. Related Software: Soot; LeetCode; z3 Main Fields: Computer science (68-XX)
ConFuL Cited in 1 Document (2022) Software Authors: Sabeti, Rostam Related Software: SINGULAR Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)
DescriptiveEnvironment Cited in 1 Document (2012) Software Authors: Carmosino, Marco; Immerman, Neil; Jordan, Charles Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DOAMI Cited in 1 Document (2019) Software Authors: Zhang, Kejia; Han, Qilong; Cai, Zhipeng; Yin, Guisheng; Lin, Junyu Related Software: – Main Fields: Computer science (68-XX)
GRETNA Cited in 0 Documents Software Authors: Wang J, Wang X, Xia M, Liao X, Evans A, He Y Related Software: Brain Connectivity Toolbox; BRAPH; BASCO; … Main Fields: –
HFGT Cited in 0 Documents Software Authors: Prabhat Hegde, Wester C. H. Schoonenberg, Dakota Thompson, Amro M. Farid Related Software: xml2struct; SysML; Matlab Main Fields: –
HydroZIP Cited in 1 Document (2013) Software Authors: Weijs, Steven V.; van de Giesen, Nick; Parlange, Marc B. Related Software: – Main Fields: Statistics (62-XX); Geophysics (86-XX); Information and communication theory, circuits (94-XX)
IQC-Game Cited in 1 Document (2021) Software Authors: Zhang, Guodong; Bao, Xuchan; Lessard, Laurent; Grosse, Roger Related Software: PESTO; GitHub; AlexNet; … Main Fields: Computer science (68-XX)
Jove Cited in 1 Document (2019) Software Authors: Gopalakrishnan, Ganesh Lalitha Related Software: Jupyter; Python Main Fields: Computer science (68-XX)
MoMEMta Cited in 0 Documents Software Authors: Sébastien Brochet; Christophe Delaere; Brieuc François; Vincent Lemaître; Alexandre Mertens; Alessia Saggio; Miguel Vidal Marono; Sébastien Wertz Related Software: DELPHES; PYTHIA8; DCUHRE; … Main Fields: –
PedPeel Cited in 1 Document (2007) Software Authors: Belonogova, Nadezhda M.; Axenovich, Tatiana I. Related Software: – Main Fields: Combinatorics (05-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)
PyPhi Cited in 0 Documents Software Authors: William G. P. Mayner; William Marshall; Larissa Albantakis; Graham Findlay; Robert Marchman; Giulio Tononi Related Software: Python; NumPy Main Fields: –
RAG Cited in 1 Document (2013) Software Authors: Daniela Fera, Namhee Kim, Nahum Shiffeldrim, Julie Zorn, Uri Laserson, Hin Hark Gan, Tamar Schlick Related Software: – Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX)
robot_arm Cited in 1 Document (2015) Software Authors: Bhattacharya, Subhrajit; Pivtoraiko, Mihail Related Software: JavaScript; OpenGL Main Fields: Mechanics of particles and systems (70-XX)
SAFFRON Cited in 1 Document (2019) Software Authors: Lee, Kangwook; Chandrasekher, Kabir; Pedarsani, Ramtin; Ramchandran, Kannan Related Software: – Main Fields: Information and communication theory, circuits (94-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: HyperMesh; ABAQUS; TetGen Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
tapir Cited in 1 Document (2023) Software Authors: Gerlach, Marvin; Herren, Florian; Lang, Martin Related Software: FORM; FeynRules; OneLOop Main Fields: Computer science (68-XX); Quantum theory (81-XX)
WaveComBox Cited in 0 Documents Software Authors: François Rottenberg; Mathieu Van Eeckhaute; François Horlin; Jérôme Louveaux Related Software: Matlab Main Fields: –
WSINDy Cited in 1 Document (2022) Software Authors: Messenger, Daniel A.; Bortz, David M. Related Software: GitHub; D-Tucker Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)
ZpL Cited in 1 Document (2018) Software Authors: Caruso, Xavier; Roe, David; Vaccon, Tristan Related Software: SageMath Main Fields: Number theory (11-XX); Computer science (68-XX)
BetaMol Cited in 0 Documents Software Authors: Youngsong Cho, Jae-Kwan Kim, Joonghyun Ryu, Chung-In Won, Chong-Min Kim, Donguk Kim, Deok-Soo Kim Related Software: – Main Fields: –
ExaTN Cited in 0 Documents Software Authors: Dmitry I. Lyakh; Thien Nguyen; Daniel Claudino; Eugene Dumitrescu; Alexander J. McCaskey Related Software: – Main Fields: –
statcomp Cited in 0 Documents Software Authors: Sebastian Sippel, Holger Lange, Fabian Gans Related Software: – Main Fields: –
Trickle Cited in 0 Documents Software Authors: Blackham B, Liffiton M, Heiser G Related Software: – Main Fields: –