SnapPea Software Authors: Callahan, Patrick J.; Hildebrand, Martin V.; Weeks, Jeffrey R. Cited in: 165 Publications (1992–2022) Related Software: Snap; SnapPy; Regina; Magma; GAP; Knotscape; … Main Fields: Group theory and generalizations (20-XX); Functions of a complex variable (30-XX); Differential geometry (53-XX)
LattE Software Authors: De Loera, J.A., Hemmecke, R., Tauzer, J., Yoshida, R; M. Köppe Cited in: 130 Publications (2003–2023) Related Software: Normaliz; polymake; 4ti2; Maple; barvinok; cdd; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Convex and discrete geometry (52-XX)
ABACUS Software Authors: Elf, Matthias; Gutwenger, Carsten; Jünger, Michael; Rinaldi, Giovanni Cited in: 117 Publications (1996–2022) Related Software: CPLEX; MINTO; SYMPHONY; TSPLIB; PORTA; MIPLIB; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
BKZ Software Authors: Chen, Yuanmi; Nguyen, Phong Q. Cited in: 71 Publications (2011–2022) Related Software: NTRU; NTL; GitHub; G6K; fpLLL; BLISS; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)
PALP Software Authors: M. Kreuzer, H. Skarke Cited in: 72 Publications (2003–2022) Related Software: SageMath; TOPCOM; Calabi-Yau database; SINGULAR; cohomCalg; OEIS; … Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Differential geometry (53-XX)
MathSAT Software Authors: Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani Cited in: 56 Publications (2005–2022) Related Software: z3; Yices; HySAT; MiniSat; SMT-LIB; Chaff; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)
Regina Software Authors: B.A. Burton, R. Budney, W. Pettersson, et al. Cited in: 49 Publications (2004–2022) Related Software: SnapPy; SnapPea; GitHub; SageMath; Normaliz; simpcomp; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
CARAT Software Authors: J. Opgenorth, W. Plesken, T. Schulz; Franz Gähler Cited in: 44 Publications (1998–2023) Related Software: GAP; Magma; HAP; CrystCat; Orbifolder; Carat; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Group theory and generalizations (20-XX)
CliqueTop Software Authors: Giusti C Cited in: 30 Publications (2015–2022) Related Software: Holes; Ripser; GitHub; javaPlex; PersistenceImages; Gudhi; … Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX); Statistics (62-XX)
Adinkras Software Authors: Zhang, Yan X. Cited in: 27 Publications (2005–2021) Related Software: LieART; HEPTHools; Adinkra.m; Mathematica; adynkra; Susyno; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Group theory and generalizations (20-XX)
Octane Software Authors: Berthold, Timo; Hendel, Gregor Cited in: 26 Publications (2001–2023) Related Software: FEASPUMP; MIPLIB; CPLEX; MIPLIB2003; Tabu search; Benchmarks for Optimization Software; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
BinaryTrees Software Authors: Rowland, Eric S. Cited in: 24 Publications (2010–2023) Related Software: OEIS; GJsqfree; GJSAW; GJseries; SPGJ; SYMGJ; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX)
lrs Software Authors: David Avis Cited in: 21 Publications (1998–2021) Related Software: cdd; PORTA; Normaliz; polymake; 4ti2; Matlab; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
DEMiCs Software Authors: Mizutani, Tomohiko; Takeda, Akiko Cited in: 20 Publications (2007–2019) Related Software: MixedVol; PHCpack; HOM4PS; Gfan; Hom4PS-3; PHoM; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
01poly Software Authors: Aichholzer, Oswin Cited in: 18 Publications (2000–2021) Related Software: polymake; nauty; 2L_enum; birkhoff faces; GAP; polyquad; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)
Murphi Software Authors: David Dill Cited in: 11 Publications (2003–2020) Related Software: SPIN; DiVinE; BEEM; MSVL; CESAR; CPAchecker; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TABARIS Software Authors: Friden, C.; Hertz, A.; de Werra, Dominique Cited in: 16 Publications (1990–2013) Related Software: Algorithm 457; Tabu search; DIMACS; Cliquer; NISPOC; nauty; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
Tame Graphs Software Authors: Gertrud Bauer; Tobias Nipkow Cited in: 15 Publications (2006–2020) Related Software: Flyspeck; Isabelle/HOL; kepler98; HOL; Isabelle; Coq; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
TEIRESIAS Software Authors: Rigoutsos I., Floratos A. Cited in: 9 Publications (2004–2019) Related Software: Pfam; BioProspector; MEME; TRANSFAC; ELM; Cd-hit; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
HERB Software Authors: Zeilberger, Doron Cited in: 15 Publications (1998–2019) Related Software: WILF; OEIS; InsEnc; PermPAL; PermStruct; Lingeling; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
Mjollnir Software Authors: D. Monniaux Cited in: 14 Publications (2011–2022) Related Software: MiniSat; z3; Spacer; QUBE; sQueezeBF; SIMPLIFY; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)
WILF Software Authors: Zeilberger, Doron Cited in: 15 Publications (1998–2019) Related Software: HERB; OEIS; InsEnc; PermPAL; PermStruct; Lingeling; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
OPBDP Software Authors: Peter Barth Cited in: 14 Publications (1993–2021) Related Software: MIPLIB; Chaff; Pueblo; Open-WBO; Sat4j; CPLEX; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
LMHS Software Authors: Saikko, Paul; Berg, Jeremias; Järvisalo, Matti Cited in: 12 Publications (2016–2022) Related Software: Sat4j; Open-WBO; QMaxSAT; MiniSat; MaxHS; Lingeling; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
PEBBL Software Authors: Eckstein, Jonathan; Hart, William E.; Phillips, Cynthia A. Cited in: 12 Publications (2009–2022) Related Software: CHiPPS; SCIP; ParaSCIP; UG; SYMPHONY; ALPS; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
CAV Software Authors: Nakamura, Brian Cited in: 12 Publications (2011–2020) Related Software: GJsqfree; GJSAW; GJseries; SPGJ; SYMGJ; BLANKS; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Associative rings and algebras (16-XX)
2L_enum Software Authors: Bohn, Adam; Faenza, Yuri; Fiorini, Samuel; Fisikopoulos, Vissarion; Macchia, Marco; Pashkovich, Kanstantsin Cited in: 12 Publications (2015–2022) Related Software: 01poly; Macaulay2; SageMath; birkhoff faces; polymake; SlackIdeals; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Convex and discrete geometry (52-XX)
R-SPLINE Software Authors: Wang, Honggang; Pasupathy, Raghu; Schmeiser, Bruce W. Cited in: 12 Publications (2013–2021) Related Software: COMPASS; EGO; SimOpt; ASTRO-DF; PyMOSO; Tabu search; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
AdinKingRoichman Software Authors: Doron Zeilberger Cited in: 10 Publications (2011–2019) Related Software: OEIS Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Associative rings and algebras (16-XX)
Zeta Software Authors: Rossmann, Tobias Cited in: 10 Publications (2015–2022) Related Software: SageMath; LattE; Normaliz; SINGULAR; CharacteristicClasses; Guarana; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX)
CLT Software Authors: Doron Zeilberger Cited in: 9 Publications (2009–2023) Related Software: BiVariateMoms; OEIS; stCore; EvaluateMultiSums; SIGMA; A435; … Main Fields: Combinatorics (05-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)
Kaleido Software Authors: Zvi Har'El; Roman Maeder Cited in: 8 Publications (1993–2016) Related Software: Mathematica; Tiamat Main Fields: History and biography (01-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)
BinaryTest Software Authors: Massouros, Ch.G.; Tsitouras, Ch. Cited in: 8 Publications (2010–2020) Related Software: HyperGroupTest; Mathematica; OEIS Main Fields: Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); Field theory and polynomials (12-XX)
BMS Software Authors: Stefan Zeugner; Martin Feldkircher Cited in: 3 Publications (2017–2021) Related Software: R; BMA; BAS; gretl; johansensmall; spikeSlabGAM; … Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)
CaTS Software Authors: Anders Nedergaard Jensen Cited in: 8 Publications (2005–2020) Related Software: Macaulay2; Gfan; CoCoALib; CoCoA; MDSpackage; TiGERS; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Commutative algebra (13-XX)
HyperGroupTest Software Authors: Tsitouras, Ch.; Massouros, Ch.G. Cited in: 8 Publications (2005–2022) Related Software: BinaryTest; Mathematica; Smallsemi; OEIS Main Fields: Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); Field theory and polynomials (12-XX)
bs3np Software Authors: Xin, Guoce; Zhang, Terence Y. J. Cited in: 7 Publications (2008–2018) Related Software: OEIS; Maple; ROBBINS Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)
mplrs Software Authors: David Avis, Charles Jordan Cited in: 6 Publications (2017–2020) Related Software: polymake; lrs; PORTA; TOPCOM; Gurobi; Minksum; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX)
PANDA Software Authors: Stefan Lörwald, Gerhard Reinelt Cited in: 7 Publications (2015–2022) Related Software: PORTA; MOCHA; JBool; Gurobi; Mjollnir; cfme; … Main Fields: Real functions (26-XX); Convex and discrete geometry (52-XX); Quantum theory (81-XX)
RackEnumeration Software Authors: Hoste, Jim; Shanahan, Patrick D. Cited in: 7 Publications (2019–2022) Related Software: GAP; Essence; MINION; RiG Main Fields: Associative rings and algebras (16-XX); Group theory and generalizations (20-XX); Manifolds and cell complexes (57-XX)
RowLayout Software Authors: Anja Fischer Fischer, Frank Fischer, Philipp Hungerländer Cited in: 7 Publications (2017–2021) Related Software: CPLEX; ConicBundle Main Fields: Operations research, mathematical programming (90-XX)
Elizalde Software Authors: Baxter, Andrew; Nakamura, Brian; Zeilberger, Doron Cited in: 6 Publications (2012–2020) Related Software: Sergi; CAV; GJsqfree; GJSAW; GJseries; SPGJ; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX)
Sergi Software Authors: Baxter, Andrew; Nakamura, Brian; Zeilberger, Doron Cited in: 6 Publications (2012–2020) Related Software: Elizalde; CAV; GJsqfree; GJSAW; GJseries; SPGJ; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX)
StrSolve Software Authors: Hooimeijer, P., Weimer, W. Cited in: 6 Publications (2014–2020) Related Software: PASS; Gecode; MiniZinc; HAMPI; S3; Z3-str; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
surface_dynamics Software Authors: V. Delecroix, C. Fougeron, S. Lelievre Cited in: 6 Publications (2020–2022) Related Software: SageMath Main Fields: Algebraic geometry (14-XX); Functions of a complex variable (30-XX); Several complex variables and analytic spaces (32-XX)
WFSC Software Authors: Kempe, André; Baeijs, Christof; Gaál, Tamás; Guingne, Franck; Nicart, Florent Cited in: 4 Publications (2005–2008) Related Software: – Main Fields: Computer science (68-XX)
ACE Software Authors: Gamble, G.; Havas, G.; Hulpke, A.; Ramsay, C. Cited in: 5 Publications (2003–2017) Related Software: GAP; FR; anusq; NQL; Magma; Cohomolo Main Fields: Group theory and generalizations (20-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)
Algolib Software Authors: Algo team at INRIA Cited in: 5 Publications (2004–2022) Related Software: Maple; OEIS; HOL Light; Coq; gdev; Coq-Combi; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX); Computer science (68-XX)
FARMER Software Authors: G. Cong, A.K.H. Tung, X. Xu, F. Pan, J. Yang Cited in: 4 Publications (2009–2015) Related Software: Carpenter; COBBLER; C4.5; RP-Tree; TitanicOR; BLOSOM; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)
HgMUS Software Authors: Arif, M. Fareed; Mencía, Carlos; Marques-Silva, Joao Cited in: 5 Publications (2015–2019) Related Software: BEACON; CEL; EL2MCS; Ltur; ELK; Just; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
polco Software Authors: Terzer M Cited in: 4 Publications (2013–2021) Related Software: efmtool; 4ti2; PAGAI; PPL; HyTech; PHAVer; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Convex and discrete geometry (52-XX); Manifolds and cell complexes (57-XX)
SAPPER Software Authors: S. Zhang, J. Yang, W. Jin Cited in: 5 Publications (2014–2019) Related Software: TALE; GADDI; Fg-index; GraphGrep; GString; NeMa; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
DynamicPrevariety Software Authors: Anders Jensen, Jeff Sommars, Jan Verschelde Cited in: 3 Publications (2018–2021) Related Software: Gfan; SINGULAR; PHCpack; SoPlex; DEMiCs; Tcmalloc; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
QUAD01 Software Authors: Comley, Warwick J. Cited in: 4 Publications (1995–2020) Related Software: OR-Library Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
APT Software Authors: Carro, M., Hermenegildo, M.V. Cited in: 3 Publications (2009–2018) Related Software: Oz Explorer; SMTS; PKind; OpenSMT2; Chaff; Whelp; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
COBBLER Software Authors: F. Pan, A.K.H. Tung, G. Cong, X. Xu Cited in: 2 Publications (2009–2014) Related Software: Carpenter; FARMER; CMAR; CLOSET; RP-Tree; TitanicOR; … Main Fields: Computer science (68-XX)
FluxModeCalculator Software Authors: Jan Bert Van Klinken; Ko Willems van Dijk Cited in: 3 Publications (2018–2021) Related Software: MA48; FK-B; cl-jointgen; efmtool; GitHub; JBool; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX)
FreeSquares Software Authors: M. Katzman Cited in: 3 Publications (2005–2009) Related Software: OEIS; Macaulay2 Main Fields: History and biography (01-XX); Combinatorics (05-XX); Commutative algebra (13-XX)
FXrays Software Authors: M Culler, N Dunfield Cited in: 3 Publications (2009–2013) Related Software: Regina; polco; gmp; SnapPea Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Manifolds and cell complexes (57-XX)
GPB Software Authors: Man Zhang, Yili Hong, Narayanaswamy Balakrishnan Cited in: 2 Publications (2018) Related Software: R; PRMLT; FFTW Main Fields: Statistics (62-XX)
GroupExt Software Authors: Eick, Bettina; Horn, Max Cited in: 3 Publications (2014–2018) Related Software: SmallGroups Library; GAP; AutPGrp; ANUPQ; SglPPow; GrpConst; … Main Fields: History and biography (01-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
lrslib Software Authors: David Avis Cited in: 2 Publications (2008–2017) Related Software: lrs; PORTA; 4ti2; LattE; Normaliz; cdd; … Main Fields: Group theory and generalizations (20-XX); Convex and discrete geometry (52-XX); Statistics (62-XX)
McAiT Software Authors: Lv, Mingsong; Guan, Nan; Deng, Qingxu; Yu, Ge; Yi, Wang Cited in: 1 Publication (2013) Related Software: OTAWA; CPAchecker; REDLIB; Synthia; UPPAAL TIGA; CMC; … Main Fields: Computer science (68-XX)
MDGs Software Authors: Zhou Z, Boulerice N Cited in: 2 Publications (2009–2013) Related Software: HOL; ML; Why3; Caduceus; Bandera; KRAKATOA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
pyglaf Software Authors: Mario Alviano Cited in: 3 Publications (2018–2019) Related Software: circumscriptino; DLV2; maxino; Datalog; WASP; DLV; … Main Fields: Computer science (68-XX)
QuickLex Software Authors: Chang, Yen-Jung; Garg, Vijay K. Cited in: 3 Publications (2016–2021) Related Software: jPredictor; AVIO; FastTrack; CTrigger; PENELOPE; ASM Main Fields: Computer science (68-XX)
RAGE Software Authors: Marcus D, Shavitt Y Cited in: 1 Publication (2019) Related Software: R; GraphCrunch; graph; FNN; orca; FANMOD Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX)
Scarab Software Authors: Soh, Takehide; Tamura, Naoyuki; Banbara, Mutsunori Cited in: 2 Publications (2014) Related Software: Sat4j; GRAPPA; Lynx; TSPLIB; OscaR; Copris; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
SeaPearl Software Authors: Chalumeau, Félix; Coulon, Ilan; Cappart, Quentin; Rousseau, Louis-Martin Cited in: 3 Publications (2021–2022) Related Software: AlphaGo; Adam; Concorde; Tensor2Tensor; TensorFlow; Gurobi; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Simcluster Software Authors: Vencio; Varuzza et al. Cited in: 1 Publication (2012) Related Software: – Main Fields: Statistics (62-XX); Geophysics (86-XX)
AS 205 Software Authors: I. W. Saunders Cited in: 2 Publications (1985–1990) Related Software: AS 88; AS 112; AS 159; AS 144; AS 191; AS 163; … Main Fields: Statistics (62-XX)
CFPjOrbit Software Authors: Deveikis, A. Cited in: 2 Publications (2005–2008) Related Software: GCFP Main Fields: Quantum theory (81-XX)
DAOmap Software Authors: Chen, D., Cong, J Cited in: 2 Publications (2009–2018) Related Software: LIQUi; RevKit Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)
DeCIF Software Authors: Cornelius, Felix Cited in: 2 Publications (1999–2001) Related Software: – Main Fields: Computer science (68-XX)
FETE Software Authors: Ingalls, D. Cited in: 2 Publications (1980–1982) Related Software: – Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
FourierMotzkin Software Authors: Gregory G. Smith Cited in: 2 Publications (1995–2015) Related Software: OldPolyhedra; LatticePolytopes Main Fields: Combinatorics (05-XX); Nonassociative rings and algebras (17-XX); Convex and discrete geometry (52-XX)
GreedyBB Software Authors: Pablo San Segundo Cited in: 2 Publications (2018–2021) Related Software: Algorithm 457; SHOT; RAPTOR; Bonmin; SNDlib; MIPLIB; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Holophrasm Software Authors: Daniel Whalen Cited in: 2 Publications (2017–2021) Related Software: FEMaLeCoP; TPTP; HOL; ENIGMA; DeepMath; kepler98; … Main Fields: Computer science (68-XX)
IOP Software Authors: Andrew Van Herick Cited in: 2 Publications (2011–2012) Related Software: PolyLib; barvinok; PARI/GP; cdd Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
Kaskade Software Authors: Joana M. F. da Trindade, Konstantinos Karanasos, Carlo Curino, Samuel Madden, Julian Shun Cited in: 0 Publications Related Software: Ligra; GraphFrames; WebGraph; NetworkX; EmptyHeaded; GraphLab; … Main Fields: –
Lie algebra gradings Software Authors: Hakavuori, Eero; Kivioja, Ville; Moisala, Terhi; Tripaldi, Francesca Cited in: 2 Publications (2022) Related Software: LieAlgDB Main Fields: Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX); Topological groups, Lie groups (22-XX)
LSSPAR Software Authors: Aktaş, Fatih S.; Ekmekcioglu, Ömer; Pinar, Mustafa Ç. Cited in: 2 Publications (2021) Related Software: Guppy 3; GitHub; Python; CVXPY; SciPy; CPLEX; … Main Fields: Measure and integration (28-XX); Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX)
NaSt2D Software Authors: Research Group M. Griebel Cited in: 2 Publications (1995–1998) Related Software: NaSt3DGP; GENSMAC; NASTRAN; ADINA Main Fields: Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)
non-orientable_maps Software Authors: Krasko, E.; Omelchenko, A. Cited in: 2 Publications (2020–2021) Related Software: GitHub; o_r_orbifolds; n_o_orbifolds; reflexible_maps Main Fields: Combinatorics (05-XX)
Oris Software Authors: Bucci, Giacomo; Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico Cited in: 1 Publication (2005) Related Software: TINA; Uppaal; TIMES; TAXYS; Kronos; Romeo Main Fields: Computer science (68-XX)
pd Software Authors: David Bremner Cited in: 2 Publications (2007–2009) Related Software: PORTA; CARAT; nauty; cdd; Polyhedral; GAP Main Fields: Number theory (11-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
PULi Software Authors: Kazakov, Yevgeny; Skočovský, Peter Cited in: 2 Publications (2018–2022) Related Software: BEACON; ELK; QUICKXPLAIN; EL2MCS Main Fields: Computer science (68-XX)
AS 179 Software Authors: K. J. Berry Cited in: 1 Publication (1990) Related Software: AS 191; AS 163; AS 130; AS 155; AS 170; AS 124; … Main Fields: Statistics (62-XX)
AS 303 Software Authors: Lyons, N. I.; Hutcheson, K. Cited in: 1 Publication (1996) Related Software: – Main Fields: Statistics (62-XX)
BiMine+ Software Authors: Ayadi, W; Elloumi, M; Hao, J Cited in: 1 Publication (2018) Related Software: apcluster; Bsig; BicPAM; APCluster Main Fields: Statistics (62-XX); Quantum theory (81-XX)
CAcount Software Authors: Shalosh B. Ekhad, N. J. A. Sloane, Doron Zeilberger Cited in: 0 Publications Related Software: gfun; OEIS; Maple Main Fields: –
CAMPY Software Authors: Srikanth, Akhilesh; Sahin, Burak; Harris, William R. Cited in: 1 Publication (2017) Related Software: LeetCode; Soot; z3 Main Fields: Computer science (68-XX)
CATemplates Software Authors: Verardo, M.; de Oliveira, P. P. B. Cited in: 1 Publication (2019) Related Software: GitHub; Mathematica Main Fields: Computer science (68-XX)
ChromaClique Software Authors: Chakraborty, Shounak; Canzar, Stefan; Marschall, Tobias; Schulz, Marcel H. Cited in: 1 Publication (2018) Related Software: ART; Bismark Main Fields: Biology and other natural sciences (92-XX)
dce Software Authors: Steve Linton Cited in: 1 Publication (2004) Related Software: Magma; GAP Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX)
DRIMust Software Authors: Leibovich L, et al. Cited in: 1 Publication (2019) Related Software: Methylation; GitHub; Adam Main Fields: Biology and other natural sciences (92-XX)
Enumeration RankKey Software Authors: Nicolas Veyrat-Charvillon Cited in: 1 Publication (2016) Related Software: – Main Fields: Information and communication theory, circuits (94-XX)
FindAlmostSymmetry Software Authors: Knueven, Ben; Ostrowski, Jim; Pokutta, Sebastian Cited in: 1 Publication (2018) Related Software: PEBBL; Traces; GraphBase; nauty Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)
Gauss-lintel Software Authors: Khan, Abdullah; Lisitsa, Alexei; Vernitski, Alexei Cited in: 1 Publication (2021) Related Software: SWI-Prolog; OEIS Main Fields: Algebraic geometry (14-XX); Manifolds and cell complexes (57-XX)
GCFP Software Authors: Deveikis, A.; Juodagalvis, A. Cited in: 1 Publication (2008) Related Software: CFPjOrbit Main Fields: Quantum theory (81-XX)