CLEAN Software Authors: Plasmeijer, M.J. Cited in: 55 Publications (1987–2016) Related Software: Haskell; Miranda; Sparkle; Coq; ML; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Abella Software Authors: Andrew Gacek Cited in: 53 Publications (2008–2022) Related Software: Twelf; Beluga; Coq; Isabelle/HOL; PoplMark; Bedwyr; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
MediaBench Software Authors: Lee, C., Potkonjak, M., Mangione-Smith, W.H. Cited in: 16 Publications (2001–2016) Related Software: MiBench; SimpleScalar; Wattch; CACTI; SEC-DED; RTMemController; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
Multilinear Engine Software Authors: Pentti Paatero Cited in: 33 Publications (2002–2022) Related Software: TensorToolbox; Matlab; N-way Toolbox; Tensorlab; NMFLAB; PRMLT; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)
avalanche.f Software Authors: Koch, Othmar; Weinmüller, Ewa Cited in: 20 Publications (2001–2022) Related Software: bvpsuite; Sbvp; COLSYS; bvp4c; Matlab; COLNEW; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
DNASequenceGenerator Software Authors: Feldkamp, Udo; Saghafi, Sam; Banzhaf, Wolfgang; Rauhe, Hilmar Cited in: 11 Publications (2002–2020) Related Software: PUNCH; R Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
GenSSI Software Authors: Chis O, Banga J, Balsa-Canto E Cited in: 16 Publications (2013–2023) Related Software: DAISY; SIAN; AMIGO; COMBOS; ObservabilityTest; GitHub; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)
Finite Automata HF Software Authors: Lawrence C. Paulson Cited in: 6 Publications (2015–2020) Related Software: Hereditarily Finite Sets; Coq; Coq/SSReflect; Myhill-Nerode; MSO_Regex_Equivalence; Presburger Automata; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
STR Software Authors: Michelangelo Preti Cited in: 5 Publications (2019–2021) Related Software: WiLE; FIRE5; Mathematica Main Fields: Statistics (62-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)
gNCA Software Authors: Linh M. Tran; Mark P. Brynildsen; Katy C. Kao; Jason K. Suen; James C. Lia Cited in: 4 Publications (2009–2010) Related Software: MatInspector; PMA; BRENDA; WinBEST-KIT; ESSYNS; KEGG; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
GraphState Software Authors: D. Batkovich, Y. Kirienko, M. Kompaniets, S. Novikov Cited in: 4 Publications (2015–2022) Related Software: LiteRed; Loopedia; QCDLoop; Graphviz; RStar Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX); Relativity and gravitational theory (83-XX)
Dubins explorer Software Authors: Ayala, J.; Diaz, J. Cited in: 3 Publications (2015–2020) Related Software: – Main Fields: Differential geometry (53-XX); Manifolds and cell complexes (57-XX); Global analysis, analysis on manifolds (58-XX)
MapDE Software Authors: Mohammadi, Zahra; Reid, Gregory J.; Huang, Tracy Shih-lung Cited in: 3 Publications (2019–2021) Related Software: GeM; DifferentialGeometry; LieAlgebrasOfVectorFields; SADE; CRACK; DifferentialAlgebra; … Main Fields: Field theory and polynomials (12-XX); Partial differential equations (35-XX); Computer science (68-XX)
OR/SM Software Authors: Wright, Gordon P.; Worobetz, N.Dan; Kang, Myong; Mookerjee, Radha V.; Chandrasekharan, Radha Cited in: 3 Publications (1997–2005) Related Software: GAMS; AMPL; NEOS; OOPS; LPFML; CONOPT; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Stern-Brocot Tree Software Authors: Peter Gammie; Andreas Lochbihler Cited in: 3 Publications (2016–2017) Related Software: Archive Formal Proofs; Isabelle/HOL; HOL; Lifting; Transfer; HOL-Omega; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
Bears Software Authors: Fernanda Madeiral, Simon Urli, Marcelo Maia, Martin Monperrus Cited in: 0 Publications Related Software: Bugbench; JUnit; GitHub; Travis CI; Maven; Defects4J; … Main Fields: –
CellFIT Software Authors: Brodland G W, Veldhuis J H, Kim S, Perrone M, Mashburn D and Hutson M S Cited in: 2 Publications (2018–2019) Related Software: PhysiCell; VirtualLeaf; LBIBCell Main Fields: Mechanics of deformable solids (74-XX); Biology and other natural sciences (92-XX)
EMEuIA Software Authors: Dvorkin, Vladimir; Kazempour, Jalal; Pinson, Pierre Cited in: 2 Publications (2019–2022) Related Software: GitHub; JuMP Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
LaCasa Software Authors: Haller, P.; Loiko, A. Cited in: 2 Publications (2018–2020) Related Software: Eff; Koka; Scala; OCaml; GitHub; Scalding; … Main Fields: Computer science (68-XX)
rifsimp Software Authors: Maplesoft Cited in: 2 Publications (2018–2020) Related Software: Maple; Exterior Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Fluid mechanics (76-XX)
code_uniqueness Software Authors: Brouwer, Andries E.; Polak, Sven C. Cited in: 1 Publication (2019) Related Software: GitHub; Traces; nauty Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)
cSEM Software Authors: Manuel E. Rademaker, Florian Schuberth, Tamara Schamberger, Michael Klesel, Theo K. Dijkstra, Jörg Henseler Cited in: 1 Publication (2021) Related Software: plssem; plspm; Stata; R Main Fields: Statistics (62-XX)
DeLS-3D Software Authors: Peng Wang, Ruigang Yang, Binbin Cao, Wei Xu, Yuanqing Lin Cited in: 0 Publications Related Software: SYNTHIA Dataset; BDD100k; CamVid; KITTI; Cityscapes; ApolloScape Main Fields: –
interaction-equation-attracting-manifolds Software Authors: Patacchini, Francesco S.; Slepčev, Dejan Cited in: 1 Publication (2022) Related Software: GitHub Main Fields: Partial differential equations (35-XX); Integral equations (45-XX); Numerical analysis (65-XX)
InteriorNet Software Authors: Wenbin Li, Sajad Saeedi, John McCormac, Ronald Clark, Dimos Tzoumanikas, Qing Ye, Yuzhong Huang, Rui Tang, Stefan Leutenegger Cited in: 0 Publications Related Software: PointSIFT; VoxNet; PointNet; YOLO; OctNet; SYNTHIA Dataset; … Main Fields: –
pSPARQL Software Authors: Fang, Hong Cited in: 1 Publication (2019) Related Software: YAGO; SPARQL Main Fields: Computer science (68-XX)
SFS Software Authors: Laursen, Ragnhild; Hobolth, Asger Cited in: 1 Publication (2022) Related Software: signeR; FACPACK; GitHub; R Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)
smirnov Software Authors: Alexey Shipunov Cited in: 1 Publication (1991) Related Software: – Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)
SPNET Software Authors: Cacace, Simone; Camilli, Fabio; Corrias, Lucilla Cited in: 1 Publication (2018) Related Software: – Main Fields: Partial differential equations (35-XX); Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX)