Turbo Pascal Software Authors: Borland; Philippe Kahn Cited in: 165 Publications (1985–2017) Related Software: dBase; REDUCE; COBOL; Multiplan; GBDRN; Modula; … Main Fields: –
CP-nets Software Authors: Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole Cited in: 129 Publications (2004–2023) Related Software: Walksat; M-MACBETH; MiniSat; VisualUTA; Graphplan; PDDL; … Main Fields: (68T37-XX); (91B06-XX); (91B08-XX)
Choco Software Authors: Choco Team: http://www.emn.fr/z-info/choco-solver/index.php?page=Team Cited in: 61 Publications (2001–2022) Related Software: Gecode; CPLEX; CLAIRE; MINION; MiniZinc; CSPLib; … Main Fields: –
SARAH Software Authors: Staub, Florian Cited in: 57 Publications (2010–2022) Related Software: Spheno; FeynArts; HiggsSignals; HiggsBounds; Mathematica; SOFTSUSY; … Main Fields: (81P05-XX); (81T60-XX); (81Q60-XX)
QUICKXPLAIN Software Authors: Junker, U. Cited in: 31 Publications (2008–2022) Related Software: MiniSat; PicoSAT; Glucose; AMUSE; ELK; Pellet; … Main Fields: –
Wordstar Software Authors: MicroPro Cited in: 1 Publication (2019) Related Software: Word; DERIVE; MACSYMA; REDUCE; AXIOM; Multiplan; … Main Fields: –
SALSA Software Authors: Laburthe, Francois; Caseau, Yves Cited in: 30 Publications (2000–2017) Related Software: COMET; Localizer; Oz; CPLEX; OPL; CLAIRE; … Main Fields: (68P10-XX)
SLCPM12 Software Authors: L.Gr. Ixaru, H. De Meyer, G. Vanden Berghe Cited in: 25 Publications (1999–2022) Related Software: MATSLISE; SLEDGE; LILIX; SLDRIVER; SLEIGN2; SLTSTPAK; … Main Fields: (34B24-XX); (34-04-XX)
SuSpect Software Authors: Djouadi, Abdelhak; Kneur, Jean-Loïc; Moultaka, Gilbert Cited in: 22 Publications (2006–2018) Related Software: SOFTSUSY; Spheno; micrOMEGAs; FeynHiggs; ISAJet; MicrOMEGAs 2.0; … Main Fields: (81-04-XX)
JaCoP Software Authors: Krzysztof Kuchcinski; Radoslaw Szymanek Cited in: 16 Publications (2007–2023) Related Software: Gecode; MiniZinc; Choco; CPLEX; SICStus; Sat4j; … Main Fields: –
CP-logic Software Authors: Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice Cited in: 19 Publications (2009–2022) Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; … Main Fields: (68N17-XX); (68T27-XX)
CPGraph Software Authors: Deville, Y., Dooms, G., Zampelli, S., Dupont, P. Cited in: 16 Publications (2005–2022) Related Software: Cardinal; Gecode; Isabelle/HOL; Coq; sharpSAT; Lynx; … Main Fields: –
LILIX Software Authors: L.Gr. Ixaru Cited in: 14 Publications (2002–2022) Related Software: SLCPM12; MATSLISE; SLEDGE; formConv; PERSYS; QUADPACK; … Main Fields: (65L05-XX); (34-04-XX); (65L20-XX)
ezcsp Software Authors: Balduccini, Marcello; Lierler, Yuliya Cited in: 12 Publications (2009–2021) Related Software: Clingo; Clingcon; WASP; DLV2; clasp; Gringo; … Main Fields: (68N17-XX); (68T20-XX); (68T27-XX)
HIGLU Software Authors: M. Spira Cited in: 13 Publications (2006–2021) Related Software: SusHi; Herwig++; MATAD; HDECAY; POWHEG BOX; VBFNLO; … Main Fields: –
NMSPEC Software Authors: U. Ellwanger, C. Hugonie Cited in: 10 Publications (2010–2016) Related Software: NMHDECAY; micrOMEGAs; ISAJet; FeynArts; Spheno; NMSSMTools; … Main Fields: –
CP-miner Software Authors: Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou Cited in: 2 Publications (2009–2010) Related Software: CCFinder; Winnowing; Dotplot; DECKARD; Gplag; YAP3; … Main Fields: –
CPsuperH Software Authors: J.S. Lee; A. Pilaftsis; M. Carena; S.Y. Choi; M. Drees; J. Ellis; C.E.M. Wagner Cited in: 10 Publications (2007–2013) Related Software: SOFTSUSY; SuSpect; FeynHiggs; ISAJet; SLHAplus; CalcHEP; … Main Fields: –
SIMPL Software Authors: Aron, Ionuţ; Hooker, John N.; Yunes, Tallys H. Cited in: 11 Publications (2004–2018) Related Software: SCIP; SCIL; MIPLIB; CPLEX; XPRESS; Mosel; … Main Fields: (68T20-XX); (90C27-XX)
PSICO Software Authors: Krippahl, Ludwig; Barahona, Pedro Cited in: 9 Publications (2002–2017) Related Software: COCONUT; GLOPTLAB; BARON; INTLAB; ICOS; InC++; … Main Fields: (68N19-XX)
SUSY_FLAVOR Software Authors: Rosiek, J.; Chankowski, P.H.; Dedes, A.; Jäger, S.; Tanedo, P. Cited in: 7 Publications (2010–2017) Related Software: Spheno; micrOMEGAs; SuperLFV; Mathematica; SUSEFLAV; FeynArts; … Main Fields: (81V22-XX); (81T60-XX); (81V15-XX)
MCS Software Authors: Le Huédé, F.; Grabisch, M.; Labreuche, C.; Savéant, P. Cited in: 9 Publications (1997–2017) Related Software: M-MACBETH; Tabu search; Hyperheuristics; FIRBS; Python; kappalab; … Main Fields: (90C29-XX); (90C27-XX)
NumberJack Software Authors: Barry O'Sullivan; Eoin O'Mahony; Emmanuel Hebrard Cited in: 7 Publications (2013–2018) Related Software: MiniZinc; ToulBar2; SUNNY; SATzilla; Essence; Gecode; … Main Fields: –
SMEFTsim Software Authors: Ilaria Brivio, Yun Jiang, Michael Trott Cited in: 2 Publications (2018–2019) Related Software: DsixTools; FeynRules; Wilson; SmeftFR; MatchingTools; flavio; … Main Fields: –
CP Optimizer Software Authors: Philippe Laborie; Jérôme Rogerie Cited in: 8 Publications (2015–2022) Related Software: ILOG SCHEDULE; CHIP; MiniZinc; CPLEX; PSPLIB; GitHub; … Main Fields: –
DiSCiPl Software Authors: – Cited in: 7 Publications (2007–2016) Related Software: COMET; Oz Explorer; VIFID/TRIFID; CHIP; CHUFFED; SATGraf; … Main Fields: –
UNAFold Software Authors: Markham, N. R., Zuker, M. Cited in: 6 Publications (2012–2020) Related Software: Mfold; Pfold; ViennaRNA; RNAplex; tRNAscan-SE; OligoArray; … Main Fields: –
rTensor Software Authors: James Li; Jacob Bien; Martin Wells Cited in: 5 Publications (2020–2022) Related Software: R; rMultiNet; dbscan; reticulate; difNLR; microbenchmark; … Main Fields: –
sunny-cp Software Authors: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Cited in: 7 Publications (2015–2021) Related Software: SUNNY; MiniZinc; SATzilla; NumberJack; meSAT; Proteus; … Main Fields: –
Access/CPN Software Authors: Westergaard, Michael; Kristensen, Lars Michael Cited in: 3 Publications (2010–2014) Related Software: CPN/Tools; SNOOPY; PeCAn; TAPAAL; ASAP; Design/CPN Main Fields: –
MultiwayRegression Software Authors: Eric F. Lock Cited in: 6 Publications (2018–2022) Related Software: SupCP; msda; penalizedLDA; glasso; fda (R); CORALS; … Main Fields: –
TFPDE Software Authors: Zheng, Mengdi; Karniadakis, George Em Cited in: 6 Publications (2015–2020) Related Software: MASS (R); R Main Fields: –
FormFlavor Software Authors: J. A. Evans; D. Shih Cited in: 0 Publications Related Software: Mathematica; FormCalc; Spheno; flavio; Superiso; Wilson; … Main Fields: –
2LEDM Software Authors: Li, Yingchuan; Profumo, Stefano; Ramsey-Musolf, Michael Cited in: 4 Publications (2010–2019) Related Software: CPsuperH; LaTeX; TRACER; FeynCalc; NMSSMCALC; HiggsSignals; … Main Fields: –
MiniSearch Software Authors: Rendl, A., Guns, T., Stuckey, P.J., Tack, G. Cited in: 3 Publications (2017–2019) Related Software: MiniZinc; Essence; OR-tools; Gecode; GitHub; Localizer; … Main Fields: –
ParaMEME Software Authors: Grundy WN, Bailey TL, Elkan CP Cited in: 3 Publications (2002–2015) Related Software: PAML; ACME; ClustalW; Algorithm 97; MODA; MultiPhyl; … Main Fields: –
ToOLS Software Authors: de Givry S., Jeannin L. Cited in: 4 Publications (2005–2006) Related Software: OPL; SALSA; Modeler; Localizer++; Oz; CPLEX; … Main Fields: –
Zephyrus2 Software Authors: Ábrahám, E.; Corzilius, F.; Johnsen, EB; Kremer, G.; Mauro, J.; Fränzle, M.; Kapur, D.; Zhan, N. Cited in: 4 Publications (2019–2022) Related Software: z3; CPLEX; Yices; REDLOG; libpoly; dReal; … Main Fields: –
Belle II Software Authors: Andreas Moll Cited in: 2 Publications (2017–2020) Related Software: PHOTOS; ROOT; EvtGen; GEANT4; Belle; B2BII Main Fields: Quantum theory (81-XX); Relativity and gravitational theory (83-XX); Astronomy and astrophysics (85-XX)
EvtGen Software Authors: David J. Lange Cited in: 1 Publication (2015) Related Software: GEANT4; RooFit; RapidSim; HAMMER; HistFactory; RooHammerModel; … Main Fields: –
MLIC Software Authors: Dmitry Malioutov, Kuldeep S. Meel Cited in: 3 Publications (2021–2022) Related Software: IMLI; UCI-ml; ORL; C4.5; Scikit; LoRMIkA; … Main Fields: –
NMSSMCALC Software Authors: J. Baglio, R. Gröber, M. Mühlleitner, D.T. Nhung, H. Rzehak, M. Spira, J. Streicher, K. Walz Cited in: 3 Publications (2015) Related Software: HiggsSignals; HiggsBounds; FlexibleSUSY; Spheno; SARAH; SOFTSUSY; … Main Fields: –
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: (68T20-XX); (90C27-XX)
SupCP Software Authors: Lock, Eric F.; Li, Gen Cited in: 3 Publications (2018–2022) Related Software: MultiwayRegression; PubFig; LFW; CORALS; JIVE; tensorregress; … Main Fields: (62H20-XX); (62P10-XX)
tntorch Software Authors: Rafael Ballester-Ripoll Cited in: 1 Publication (2022) Related Software: TensorFlow; t3f; PyTorch; Scikit-TT; GitHub; NumPy; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
TOMSYM Software Authors: Tomlab Optimization Inc.; Per Rutquist; Marcus Edvall Cited in: 3 Publications (1999–2018) Related Software: PROPT; TOMLAB; SOCS; MISER3; ICLOCS; OptimTraj; … Main Fields: –
BiGGER Software Authors: Krippahl, Ludwig; Barahona, Pedro Cited in: 2 Publications (2005–2008) Related Software: PSICO; Chimera; BIOCHAM; CaSPER; DYANA Main Fields: (68T20-XX); (90C59-XX); (92C40-XX)
Concrete Software Authors: Julien Vion Cited in: 2 Publications (2018–2022) Related Software: GitHub; STR2; Scala; MiniZinc Main Fields: –
2HDECAY Software Authors: Marcel Krause, Margarete Muhlleitner, Michael Spira Cited in: 2 Publications (2021) Related Software: PROPHECY4F; H-COUP; RACOONWW; HDECAY; CHAPLIN; SusHi; … Main Fields: –
mlOSP Software Authors: Mike Ludkovski Cited in: 1 Publication (2022) Related Software: R; DiceOptim; DiceKriging; rlsm; StOpt; LSMonteCarlo Main Fields: –
P3S Software Authors: Partha Pal; Greg Lauer; Joud Khoury; Nick Hoff; Joe Loyall Cited in: 1 Publication (2018) Related Software: Vertica; Matlab; Cassandra; HBase; SNOBOL; GraphBLAS; … Main Fields: –
REGPAC Software Authors: Galpin, J.S. Cited in: 2 Publications (1979–1981) Related Software: – Main Fields: (62-04-XX); (62J05-XX); (62J07-XX)
SusyTC Software Authors: Antusch, Stefan; Sluka, Constantin Cited in: 2 Publications (2016–2017) Related Software: REAP; Spheno; SOFTSUSY; SuSpect; Mathematica; FeynHiggs; … Main Fields: (81-04-XX)
AmPharoS Software Authors: Gilles Audemard; Jean-Marie Lagniez; Nicolas Szczepanski; Sébastien Tabary Cited in: 0 Publications Related Software: Splatz; MapleAmpharos; Syrup; HordeSat; PMiniSAT; CryptoMiniSat; … Main Fields: Computer science (68-XX)
CGIF Software Authors: Pfeiffer, Heather D. Cited in: 1 Publication (2004) Related Software: ToscanaJ; Visual Basic Main Fields: (68T30-XX)
conformalClassification Software Authors: Niharika Gauraha, Ola Spjuth Cited in: 0 Publications Related Software: R; UCI-ml Main Fields: –
CP4CAP Software Authors: Houndji, V.R., Schaus, P. Cited in: 1 Publication (2017) Related Software: OscaR Main Fields: –
DREGAR Software Authors: Hamed Haselimashhadi Cited in: 1 Publication (2018) Related Software: R; CRAN Main Fields: –
J.CP Software Authors: Ringwelski, Georg Cited in: 1 Publication (2002) Related Software: – Main Fields: (68T20-XX); (68N19-XX)
Mspline Software Authors: Eva Cantoni Cited in: 0 Publications Related Software: S-PLUS Main Fields: –
RUBi Software Authors: Remi Cadene, Corentin Dancette, Hedi Ben-younes, Matthieu Cord, Devi Parikh Cited in: 0 Publications Related Software: COVAREP; OpenFace; VL-InterpreT; CLEVR; MDETR; ViLT; … Main Fields: –
SimTensor Software Authors: Hadi Fanaee-T, Joao Gama Cited in: 1 Publication (2021) Related Software: MOA Main Fields: Computer science (68-XX)
TedNet Software Authors: Yu Pan, Maolin Wang, Zenglin Xu Cited in: 0 Publications Related Software: TensorNetwork; TensorD; TensorLy; tntorch; TensorFlow; t3f; … Main Fields: –
TLViz Software Authors: Marie Roald; Yngve Mardal Moe Cited in: 0 Publications Related Software: pandas; Scikit; N-way Toolbox; Python; Seaborn; TensorLy; … Main Fields: –
Laura++ Software Authors: John Back, Tim Gershon, Paul Harrison, Thomas Latham, Daniel O'Hanlon, Wenbin Qian, Pablo del Amo Sanchez, Daniel Craik, Jelena Ilic, Juan Otalora Goicochea, Eugenia Puccio, Rafael Silva Coutinho, Mark Whitehead Cited in: 0 Publications Related Software: – Main Fields: –
RNAiFold2T Software Authors: Juan Antonio Garcia-Martin, Ivan Dotu, Javier Fernandez-Chamorro, Gloria Lozano, Jorge Ramajo, Encarnacion Martinez-Salas, Peter Clote Cited in: 0 Publications Related Software: – Main Fields: –
SignifReg Software Authors: Jongwook Kim, Adriano Zanin Zambom Cited in: 0 Publications Related Software: – Main Fields: –