Z-Tree Software Authors: Fischbacher U. Cited in: 668 Publications (2001–2022) Related Software: ORSEE; hroot; Stata; Gambit; R; oTree; … Main Fields: –
MATCONT Software Authors: Dhooge, A.; Sautois, B.; Govaerts, W.; Kuznetsov, Yu.A. Cited in: 469 Publications (2003–2023) Related Software: AUTO; Matlab; CL_MATCONT; HomCont; AUTO-07P; XPPAUT; … Main Fields: (65P30-XX); (37M20-XX); (37G05-XX)
Walksat Software Authors: Bart Selman, Henry Kautz Cited in: 207 Publications (1996–2022) Related Software: Graphplan; Chaff; DIMACS; MiniSat; SATO; STAN; … Main Fields: –
RODES Software Authors: Tucker, Warwick Cited in: 131 Publications (2002–2023) Related Software: CAPD; Taylor; INTLAB; kepler98; TIDES; Matlab; … Main Fields: (37C10-XX); (37D45-XX); (65G30-XX)
PROC NLMIXED Software Authors: SAS Cited in: 57 Publications (2001–2022) Related Software: SAS; SAS/STAT; R; Stata; glimmix; WinBUGS; … Main Fields: –
DepQBF Software Authors: Lonsing, F., Biere, A. Cited in: 46 Publications (2010–2022) Related Software: Bloqqer; MiniSat; Quaffle; sQueezeBF; CAQE; Nenofex; … Main Fields: –
classifyCeq.lib Software Authors: Afzal, Deeba; Binyamin, Muhammad Ahsan; Janjua, Faira Kanwal Cited in: 40 Publications (1990–2022) Related Software: SINGULAR; planebranches.mws; classifyReq.lib; equising.lib; Felix; Macaulay2; … Main Fields: (14B05-XX); (14H20-XX); (14J17-XX)
ERATO Software Authors: Gruber, R.; Troyon, F.; Berger, D.; Bernard, L. C.; Roussert, S.; Schreiber, R.; Kerner, W.; Schneider, W.; Roberts, K. V. Cited in: 40 Publications (1979–2022) Related Software: XTOR; CHEASE; GATO; CASTOR; ECOM; FINESSE; … Main Fields: –
gcmr Software Authors: Masarotto, Guido; Varin, Cristiano Cited in: 34 Publications (2012–2022) Related Software: R; CopulaModel; copula; VGAM; weightedScores; copBasic; … Main Fields: Statistics (62-XX)
Janet Software Authors: Blinkov Y, Cid C, Gerdt V, Plesken W, Robertz D Cited in: 37 Publications (2005–2021) Related Software: SINGULAR; Maple; OreModules; DifferentialThomas; Macaulay2; Plural; … Main Fields: –
UnitWalk Software Authors: Hirsch, Edward A.; Kojevnikov, Arist Cited in: 32 Publications (2002–2021) Related Software: Chaff; SATO; BerkMin; SatEx; QingTing1; Walksat; … Main Fields: (68T20-XX); (03B05-XX); (68W20-XX)
Homology Software Authors: Dumas, Jean-Guillaume; Heckenbach, Frank; Saunders, David; Welker, Volkmar Cited in: 32 Publications (2001–2022) Related Software: GAP; CAPD; CHomP; Chom; polymake; Macaulay2; … Main Fields: (55N99-XX); (55-04-XX)
simpcomp Software Authors: Felix Effenberger, Jonathan Spreer Cited in: 23 Publications (2010–2022) Related Software: GAP; GitHub; Regina; polymake; SageMath; Macaulay2; … Main Fields: –
Coxeter Software Authors: Fokko du CLOUX Cited in: 22 Publications (1996–2021) Related Software: CHEVIE; GAP; SageMath; Python; PyCox; Maple Main Fields: –
goodwin.f77 Software Authors: Crouch EAC, Spiegelman D. Cited in: 22 Publications (1990–2019) Related Software: R; relibpls8; BLINPLUS; SAS; glmmAK; Multsurr; … Main Fields: –
EMMIX Software Authors: McLachlan, G., Peel, D., Basford, K. and Adams, P Cited in: 19 Publications (2002–2022) Related Software: R; mclust; UCI-ml; PGMM; Mixmod; flexmix; … Main Fields: –
PrecoSAT Software Authors: Biere, A Cited in: 21 Publications (2010–2021) Related Software: Plingeling; MiniSat; Lingeling; Chaff; CryptoMiniSat; Glucose; … Main Fields: –
GAMUT Software Authors: Eugene Nudelman, Jennifer Wortman, Kevin Leyton-Brown, Yoav Shoham Cited in: 16 Publications (2007–2022) Related Software: Gambit; CPLEX; MCMAS; PRISM-games; dot; EVE; … Main Fields: –
tlmec Software Authors: Matos, Larissa A.; Prates, Marcos O.; Chen, Ming-Hui; Lachos, Victor H. Cited in: 19 Publications (2013–2022) Related Software: R; lmec; mvtnorm; MomTrunc; CensMixReg; sn; … Main Fields: Statistics (62-XX)
Nenofex Software Authors: Florian Lonsing, Armin Biere Cited in: 18 Publications (2008–2017) Related Software: DepQBF; sQueezeBF; Bloqqer; QUBOS; Quaffle; Quantor; … Main Fields: –
FLOTTER Software Authors: Weidenbach, Christoph; Gaede, Bernd; Rock, Georg Cited in: 16 Publications (1992–2016) Related Software: SPASS; OTTER; TPTP; SETHEO; E Theorem Prover; VAMPIRE; … Main Fields: (68T15-XX)
HARP Software Authors: Oppacher, F.; Suen, E Cited in: 14 Publications (1994–2020) Related Software: SETHEO; TPTP; 3TAP; SATCHMO; OTTER; METEOR; … Main Fields: –
AS 256 Software Authors: Farebrother, R.W. Cited in: 14 Publications (1985–2021) Related Software: AS 155; Ox; AS 106; AS 204; clusfind; AS 153; … Main Fields: (62H10-XX); (62-04-XX); (65C30-XX)
blasso Software Authors: Hans, Chris Cited in: 14 Publications (2011–2022) Related Software: OSCAR; glmnet; ElemStatLearn; glasso; EBayesThresh; mcmcse; … Main Fields: (62J05-XX); (62E10-XX); (62F15-XX)
KoMeT Software Authors: Egly, Uwe; Rath, Thomas Cited in: 13 Publications (1996–2012) Related Software: SETHEO; TPTP; OTTER; SATCHMO; SCOTT; ILF-SETHEO; … Main Fields: (68T15-XX)
AClib Software Authors: Karel Dekimpe, Bettina Eick Cited in: 12 Publications (2002–2022) Related Software: GAP; Polycyclic; Polenta; KANT/KASH; Nilmat; recog; … Main Fields: –
reducedLP Software Authors: André L. Tits, P.-A. Absil, William P. Woessner Cited in: 12 Publications (1992–2019) Related Software: rMPC; SDPT3; NewtonKKTqp; LIPSOL; CVX; SeDuMi; … Main Fields: –
zoverw Software Authors: George Marsaglia Cited in: 11 Publications (2011–2021) Related Software: R Main Fields: –
BCCG+FAI Software Authors: Vollebregt, E. Cited in: 11 Publications (2014–2022) Related Software: CONTACT; FEAPpv; AnyBody; SPACAR; Simulink; MBSymba; … Main Fields: –
cirt Software Authors: Fox, J.-P., Klein Entink, R.H., van der Linden, W.J Cited in: 8 Publications (2010–2019) Related Software: R; BILOG; CODA; LNIRT; MBESS; MASS (R); … Main Fields: –
bernor Software Authors: Sung, Yun Ju; Geyer, Charles J. Cited in: 10 Publications (2007–2021) Related Software: R; PMTK; spBayes; Rcpp; GMRFLib; trustOptim; … Main Fields: (62F12-XX); (65C05-XX); (62J12-XX)
FRONTIER Software Authors: Coelli TJ Cited in: 9 Publications (2005–2014) Related Software: LIMDEP; frontier; Ox; Stata; QUADPACK; gnuplot; … Main Fields: –
GP-COACH Software Authors: Berlanga, F. J.; Rivera, A. J.; Del Jesus, M. J.; Herrera, F. Cited in: 2 Publications (2011–2017) Related Software: KEEL; UCI-ml; FURIA; MEPAR; GAssist; C4.5; … Main Fields: –
CirCUs Software Authors: Jin, HoonSang; Somenzi, Fabio Cited in: 9 Publications (2004–2017) Related Software: Chaff; zChaff; CUDD; BerkMin; Circus; ZRC; … Main Fields: (68T20-XX)
Dsharp Software Authors: Muise, C., McIlraith, S.A., Beck, J.C., Hsu, E.I. Cited in: 8 Publications (2015–2022) Related Software: sharpSAT; Church; htd; CP-logic; ProbLog; Haskell; … Main Fields: –
EDIM Software Authors: Frank Lübeck Cited in: 9 Publications (2001–2020) Related Software: GAP; CPLEX; SPOTless; QuadProgBB; FLO; GraphGen; … Main Fields: –
POT4A Software Authors: S.J. Beard, R.W. Hockney Cited in: 9 Publications (1985–2011) Related Software: – Main Fields: (65N22-XX); (65F05-XX); (35-04-XX)
Autowrite Software Authors: Durand, Irene Cited in: 8 Publications (2002–2014) Related Software: MONA; Datalog; Treewidthlib; CPLEX; McCLIM; Timbuk Main Fields: (68Q42-XX)
DLog Software Authors: Lukácsy, Gergely; Szeredi, Péter Cited in: 7 Publications (2008–2019) Related Software: Pellet; OntoDLV; PR-OWL; leanTAP; KL-ONE; Konclude; … Main Fields: (68N17-XX); (68T27-XX)
GITA Software Authors: V. Basios, N.A. Chekanov, B.L. Markovski, V.A. Rostovtsev, S.I. Vinitsky Cited in: 8 Publications (1990–2006) Related Software: REDUCE; LINA01; pchip; UNCMND Main Fields: (Index-XX); (5:-XX); (Computer-XX)
Gpd Software Authors: Emma Moore, Chris Wensley Cited in: 8 Publications (2002–2010) Related Software: GAP; XMod; groupoids Main Fields: –
Shatter Software Authors: Aloul, F.A., Markov, I.L., Sakallah, K.A. Cited in: 8 Publications (2009–2022) Related Software: nauty; MiniSat; bliss; SymChaff; Velev SAT Benchmarks; BerkMin; … Main Fields: –
SymChaff Software Authors: Sabharwal, Ashish Cited in: 8 Publications (2007–2022) Related Software: MiniSat; bliss; Shatter; Traces; nauty; CDCLSym; … Main Fields: –
lp2normal Software Authors: Bomanson, Jori Cited in: 7 Publications (2014–2022) Related Software: Clingo; WASP; ASSAT; clasp; eclingo; selp; … Main Fields: (68N17-XX); (68T27-XX)
Catfact Software Authors: R. G. Cowell; F. J. Wright Cited in: 6 Publications (1989–2005) Related Software: SINGULAR; Macaulay2; Transversal; Maple; KELLEY; moregroebner; … Main Fields: –
CirQit2 Software Authors: Goultiaeva, Alexandra; Bacchus, Fahiem Cited in: 6 Publications (2009–2016) Related Software: QUBE; Nenofex; sKizzo; Quantor; QuBE++; QBFLIB; … Main Fields: (68T20-XX); (68Q25-XX); (94C10-XX)
horseshoe Software Authors: Stephanie van der Pas, James Scott, Antik Chakraborty, Anirban Bhattacharya Cited in: 3 Publications (2019–2020) Related Software: R; glmnet; BayesReg; EBayesThresh; ebnm; flashier; … Main Fields: –
JNF Software Authors: Kagstr\"om, Bo; Ruhe, Axel Cited in: 6 Publications (1980–2022) Related Software: JDQZ; JDQR; Matlab; Algorithm 432; NACLab; UTV; … Main Fields: (65F15-XX); (65-04-XX); (68W99-XX)
Jordan Normal Forms Software Authors: René Thiemann; Akihisa Yamada Cited in: 6 Publications (2016–2021) Related Software: Isabelle/HOL; Archive Formal Proofs; Isabelle; Polynomials; Deep_Learning; Groebner_Bases; … Main Fields: –
LINA01 Software Authors: Yu. A. Ukolov, N.A. Chekanov, A.A. Gusev, V.A. Rostovtsev, S.I. Vinitsky, Y. Uwano Cited in: 6 Publications (2005–2006) Related Software: GITA; Maple; pchip; UNCMND; REDUCE Main Fields: (70-04-XX); (65P10-XX); (70H05-XX)
Sibyl Software Authors: Cerrito, Serenella; Cialdea Mayer, Marta Cited in: 6 Publications (2010–2020) Related Software: HyLoTab; HTab; Spartacus; HGen; HyLoRes; Pilate; … Main Fields: –
QRATPre+ Software Authors: Lonsing, F., Egly, U. Cited in: 5 Publications (2019–2021) Related Software: HQSpre; DepQBF; Bloqqer; CAQE; sQueezeBF; semprop; … Main Fields: –
SMNCensReg Software Authors: Garay, Aldo M.; Lachos, Victor H.; Bolfarine, Heleno; Cabral, Celso R.B. Cited in: 5 Publications (2015–2018) Related Software: R; BayesCR; lmec; astrodatR; BayesDA; tlmec Main Fields: Statistics (62-XX)
SPARSEM Software Authors: S.J. Sciutto Cited in: 5 Publications (1993–2007) Related Software: POWEV; SparseM; SPLASH-2; IPM; PCx; LIPSOL; … Main Fields: (65F50-XX); (15-04-XX); (65Y15-XX)
BRMaximin Software Authors: Caballero, William N.; Lunday, Brian J.; Uber, Richard P. Cited in: 4 Publications (2021–2022) Related Software: DiffSharp; EasyMKL; SpicyMKL; SimpleMKL; LIBSVM; ROME; … Main Fields: (90B-XX)
Cadmium Software Authors: Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J. Cited in: 4 Publications (2008–2017) Related Software: MiniZinc; Gecode; G12; MiniSat; MINION; Sugar; … Main Fields: Computer science (68-XX)
CTL-RP Software Authors: Zhang, Lan; Hustadt, Ullrich; Dixon, Clare Cited in: 4 Publications (2010–2014) Related Software: SPASS; TRP++; XPath; NuSMV; PGSolver; TSPASS; … Main Fields: (68T15-XX); (68T27-XX)
DeltaCCS Software Authors: Lochau, Malte; Mennicke, Stephan; Baller, Hauke; Ribbeck, Lars Cited in: 3 Publications (2015–2016) Related Software: VMC; Maude; MSTA; MultiVeStA; CPAchecker; ProMoVer; … Main Fields: Computer science (68-XX)
EvoDyn-3s Software Authors: Luis R. Izquierdo; Segismundo S. Izquierdo; William H. Sandholm Cited in: 3 Publications (2019–2022) Related Software: ABED; Dynamo; PDToolbox; birds; BehaviorSpace; NetLogo; … Main Fields: –
IRTmu2no Software Authors: Yanyan Sheng Cited in: 2 Publications (2012–2013) Related Software: Matlab; IRTm2noHA; IRTuno; eRm; ltm; plRasch; … Main Fields: –
LOGLAN Software Authors: Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek Cited in: 4 Publications (1985–2016) Related Software: Simula 67; BETA Main Fields: (68N15-XX); (68N01-XX); (68-01-XX)
Superposition Calculus Software Authors: Nicolas Peltier Cited in: 4 Publications (2018–2020) Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; Isabelle/jEdit; HOL; Isar; … Main Fields: –
BIRKHOFF Software Authors: Kaluža, Matjaž Cited in: 3 Publications (1993–1999) Related Software: SYMMGRP.MAX; Mathematica; REDUCE Main Fields: (65L05-XX); (34-04-XX); (37-99-XX)
Bosphorus Software Authors: Choo, D., Soos, M., Chai, K.M.A., Meel, K.S. Cited in: 3 Publications (2020–2021) Related Software: Pacheck; Nusschecker; RevSCA; Btor2Tools; BtorMC; PolyCleaner; … Main Fields: –
CryptLogVer Software Authors: Homsirikamol, E., Morawiecki, P., Rogawski, M., Srebrny, M. Cited in: 2 Publications (2013–2015) Related Software: Keccak; PrecoSAT Main Fields: –
designv2 Software Authors: Smith, D. M.; Ridout, M. S. Cited in: 3 Publications (2003–2006) Related Software: NPSOL; LISP-STAT; AS 245; AS 47; AS 7; AS 6 Main Fields: (62K05-XX); (62P10-XX); (65C60-XX)
GORIC Software Authors: Rebecca M. Kuiper, Herbert Hoijtink Cited in: 2 Publications (2019–2022) Related Software: R; IMSL Numerical Libraries; goric; Bain; ConfirmatoryANOVA; BayesDA Main Fields: –
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: –
LiPsMin Software Authors: Fiege, Sabrina; Walther, Andrea; Kulshreshtha, Kshitij; Griewank, Andreas Cited in: 3 Publications (2018–2021) Related Software: ORBIT; MPBNGC; PBNCGC; HANSO; GradSamp; ADOL-C Main Fields: (90C26-XX); (90C30-XX); (90C47-XX)
Monty Python Software Authors: George Marsaglia; Wai Wan Tsang Cited in: 2 Publications (1998–2004) Related Software: UNU.RAN; IMSL Numerical Libraries; SPSS; R; GAUSS; Diehard Main Fields: –
MSBVAR Software Authors: Patrick T. Brandt Cited in: 2 Publications (2009–2020) Related Software: R; vars; fArma; urca; strucchange; MASS (R); … Main Fields: –
Nested Multisets Software Authors: Jasmin Christian Blanchette; Mathias Fleury; Dmitriy Traytel Cited in: 3 Publications (2017–2020) Related Software: Isar; Isabelle/HOL; Archive Formal Proofs; Coq; Knuth Bendix Orders; AVATAR; … Main Fields: –
ProbitSpatial Software Authors: Martinetti, Davide; Geniaux, Ghislain Cited in: 3 Publications (2016–2021) Related Software: Arc_Mat; R; spatialprobit; spatsurv; spBayesSurv; spBayes; … Main Fields: Statistics (62-XX)
QuteSAT Software Authors: Wu, C.A., Lin, T.H., Lee, C.C., Huang, C.Y. Cited in: 2 Publications (2009–2017) Related Software: Chaff; sKizzo; Quantor; QUBE; CirQit2; QBFLIB; … Main Fields: –
VisFlowConnect Software Authors: Yin, X., Yurcik, W., Treaster, M., Li, Y., Lakkaraju, K. Cited in: 0 Publications Related Software: NVisionIP; BotGraph; BLINC; SaM; Nfdump; Dynagraph; … Main Fields: –
classifyReq.lib Software Authors: Afzal, Deeba; Binyamin, Muhammad Ahsan; Janjua, Faira Kanwal Cited in: 2 Publications (2014–2020) Related Software: classifyCeq.lib; SINGULAR Main Fields: (14B05-XX); (14H20-XX); (14J17-XX)
CLProver Software Authors: Nalon, Cláudia; Zhang, Lan; Dixon, Clare; Hustadt, Ullrich Cited in: 2 Publications (2014–2015) Related Software: TATL; TRP++; SPASS; VAMPIRE Main Fields: (68V15-XX); (03B35-XX); (03B45-XX)
FourierSAT Software Authors: Kyrillidis, Anastasios; Shrivastava, Anshumali; Vardi, Moshe Y.; Zhang, Zhiwei Cited in: 2 Publications (2021) Related Software: Lingeling; Plingeling; Walksat; MiniSat; YalSAT; CrystalBall; … Main Fields: (68T-XX)
Hilberticus Software Authors: J. Lücke, J. D. Bouecke, M. Benzke, A. Dimek, A. Mitchkowski and S. Muras Cited in: 2 Publications (2001) Related Software: VAMPIRE; P.rex; MODPROF; QUBE; E Theorem Prover; JProver; … Main Fields: (classification-XX)
HUHFA Software Authors: Heismann O, Hildenbrandt A, Silvestri F, Reinelt G, Borndörfer R. Cited in: 2 Publications (2015–2019) Related Software: PORTA; LOLIB; PANDA; polymake Main Fields: –
improb Software Authors: Troffaes, M. C. M. Cited in: 2 Publications (2011–2015) Related Software: GitHub Main Fields: –
IRTm2noHA Software Authors: Yanyan Sheng Cited in: 1 Publication (2012) Related Software: IRTmu2no; IRTuno; eRm; Matlab; ltm; plRasch; … Main Fields: –
JanetBasis Software Authors: Zhang, Shanqing; Li, Zhibin Cited in: 2 Publications (2004–2009) Related Software: Maple; SPDE Main Fields: (35-04-XX); (13P99-XX); (35A30-XX)
KurSL Software Authors: Laszuk, Dawid; Cadenas, Jose O.; Nasuto, Slawomir J. Cited in: 2 Publications (2018) Related Software: PyEMD; Python; Matlab; EMDLAB; EEGLAB Main Fields: Statistics (62-XX)
Limboole Software Authors: – Cited in: 2 Publications (2013–2018) Related Software: z3; SMT-LIB; CoReS; MiniSat; Lingeling; MetExplore; … Main Fields: –
MatcotM Software Authors: Naik, Parvaiz Ahmad; Eskandari, Zohreh; Yavuz, Mehmet; Zu, Jian Cited in: 2 Publications (2022) Related Software: MatContM Main Fields: (92D-XX); (39A-XX); (37N-XX)
NestedProducts Software Authors: Schneider, Carsten Cited in: 2 Publications (2020–2021) Related Software: SIGMA; RatDiff; RhoSum; hypergeometricsols; EvaluateMultiSums; Dependencies; … Main Fields: (33D05-XX); (12H10-XX); (68W30-XX)
OApackage Software Authors: P.T. Eendebak, A.R. Vazquez Cited in: 1 Publication (2019) Related Software: Python; JMP; Orthogonal Array; R; DoE.base; Algorithm 647; … Main Fields: –
Perron Frobenius Software Authors: Jose Divasón, Ondřej Kunčar, René Thiemann, Akihisa Yamada Cited in: 2 Publications (2017–2021) Related Software: Archive Formal Proofs; Isabelle/HOL; CeTA; TcT; AProVE; Isar; … Main Fields: –
pPCx Software Authors: Coleman TF, Czyzyk J, Sun C, Wagner M, Wright SJ Cited in: 2 Publications (1999–2012) Related Software: MIPLIB; Kendo; GCG; SDPARA; MIPLIB2003; CHiPPS; … Main Fields: –
PTTP+GLiDeS Software Authors: Marianne Brown; Geoff Sutcliffe Cited in: 2 Publications (2000–2002) Related Software: SCOTT; TPTP; SETHEO Main Fields: –
QSCMVN Software Authors: Alan Genz Cited in: 2 Publications (1972–1976) Related Software: MVNEXG Main Fields: –
RSP Software Authors: Glas C.A.W.; Ellis, J.L. Cited in: 2 Publications (2001–2006) Related Software: Lord-Wingersky; TESTFACT; BILOG; NOHARM; BayesDA Main Fields: –
Tensorial Software Authors: D. Park, R. Cabrera, J.-F. Gouyet Cited in: 1 Publication (2014) Related Software: xPerm; Cadabra; Maple; xAct; GiNaC; Ricci; … Main Fields: –
VBF Software Authors: José Antonio Álvarez-Cubero, Pedro J. Zufiria Cited in: 2 Publications (2016–2017) Related Software: SageMath; VBFlib; MatPack; CrypTool; boolfun; KASUMI; … Main Fields: (06E30-XX); (94A60-XX)
VG_codes Software Authors: Bee, Marco; Dickson, Maria Michela; Santi, Flavio Cited in: 2 Publications (2018–2020) Related Software: QRM; Rugarch; VarianceGamma; fGarch; ghyp; R Main Fields: Statistics (62-XX)
Wombit Software Authors: Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. Cited in: 2 Publications (2019–2020) Related Software: CVC4; sunny-cp; Boogie; STP; SUNNY; meSAT; … Main Fields: (68T20-XX)
ADIL Software Authors: Fateman, Richard Cited in: 1 Publication (2014) Related Software: PMAD; Matlab; Maple Main Fields: –
BooleanCanalization Software Authors: Dimitrova, Elena; Stigler, Brandilyn; Kadelka, Claus; Murrugarra, David Cited in: 1 Publication (2022) Related Software: Python; Macaulay2 Main Fields: –
classifyMapGerms Software Authors: Gerhard Pfister, Deeba Afzal, Shamsa Kanwal Cited in: 1 Publication (2017) Related Software: SINGULAR Main Fields: –