Turbo Pascal Software Authors: Borland; Philippe Kahn Cited in: 165 Publications (1985–2017) Related Software: dBase; REDUCE; COBOL; Multiplan; GBDRN; Modula; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)
CP-nets Software Authors: Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole Cited in: 131 Publications (2004–2023) Related Software: Walksat; M-MACBETH; MiniSat; VisualUTA; MiniMaxSat; Graphplan; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Choco Software Authors: Choco Team: http://www.emn.fr/z-info/choco-solver/index.php?page=Team Cited in: 62 Publications (2001–2022) Related Software: Gecode; CPLEX; CLAIRE; MINION; MiniZinc; CSPLib; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SARAH Software Authors: Staub, Florian Cited in: 57 Publications (2010–2022) Related Software: Spheno; FeynArts; HiggsSignals; HiggsBounds; Mathematica; SOFTSUSY; … Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX); Relativity and gravitational theory (83-XX)
QUICKXPLAIN Software Authors: Junker, U. Cited in: 31 Publications (2008–2022) Related Software: MiniSat; PicoSAT; Glucose; AMUSE; ELK; Pellet; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
Wordstar Software Authors: MicroPro Cited in: 1 Publication (2019) Related Software: Word; DERIVE; MACSYMA; REDUCE; AXIOM; Multiplan; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
SALSA Software Authors: Laburthe, Francois; Caseau, Yves Cited in: 30 Publications (2000–2017) Related Software: COMET; Localizer; Oz; CPLEX; OPL; CLAIRE; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-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: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-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: General and overarching topics; collections (00-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)
JaCoP Software Authors: Krzysztof Kuchcinski; Radoslaw Szymanek Cited in: 16 Publications (2007–2023) Related Software: Gecode; MiniZinc; Choco; CPLEX; SICStus; Sat4j; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
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: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-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: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
LILIX Software Authors: L.Gr. Ixaru Cited in: 13 Publications (2002–2022) Related Software: SLCPM12; MATSLISE; SLEDGE; formConv; PERSYS; QUADPACK; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX)
ezcsp Software Authors: Balduccini, Marcello; Lierler, Yuliya Cited in: 12 Publications (2009–2021) Related Software: Clingo; Clingcon; WASP; DLV2; clasp; Gringo; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
HIGLU Software Authors: M. Spira Cited in: 13 Publications (2006–2021) Related Software: SusHi; Herwig++; MATAD; HDECAY; POWHEG BOX; VBFNLO; … Main Fields: General and overarching topics; collections (00-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)
SMEFTsim Software Authors: Ilaria Brivio, Yun Jiang, Michael Trott Cited in: 6 Publications (2018–2022) Related Software: DsixTools; FeynRules; Wilson; SmeftFR; MatchingTools; flavio; … Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX); Relativity and gravitational theory (83-XX)
NMSPEC Software Authors: U. Ellwanger, C. Hugonie Cited in: 10 Publications (2010–2016) Related Software: NMHDECAY; micrOMEGAs; ISAJet; FeynArts; Spheno; NMSSMTools; … Main Fields: Statistics (62-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)
SIMPL Software Authors: Aron, Ionuţ; Hooker, John N.; Yunes, Tallys H. Cited in: 12 Publications (2004–2022) Related Software: SCIP; MIPLIB; SCIL; CPLEX; XPRESS; Mosel; … Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
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: Computer science (68-XX)
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: Optics, electromagnetic theory (78-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)
TensorToolbox.jl Software Authors: Kressner, Daniel; Periša, Lana Cited in: 11 Publications (2017–2022) Related Software: TensorToolbox; GitHub; Matlab; RandNLA; Tensorlab; TT Toolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX)
PSICO Software Authors: Krippahl, Ludwig; Barahona, Pedro Cited in: 9 Publications (2002–2017) Related Software: COCONUT; GLOPTLAB; BARON; INTLAB; ICOS; InC++; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-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: Quantum theory (81-XX); Relativity and gravitational theory (83-XX); Astronomy and astrophysics (85-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; LINDO; OrthoMADS; … Main Fields: Measure and integration (28-XX); Statistics (62-XX); Operations research, mathematical programming (90-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: Computer science (68-XX); Operations research, mathematical programming (90-XX)
CP Optimizer Software Authors: Philippe Laborie; Jérôme Rogerie Cited in: 8 Publications (2015–2022) Related Software: ILOG SCHEDULE; CPLEX; CHIP; PSPLIB; MiniZinc; Gecode; … Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
DiSCiPl Software Authors: – Cited in: 7 Publications (2007–2016) Related Software: COMET; Oz Explorer; VIFID/TRIFID; CHIP; CHUFFED; SATGraf; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
rTensor Software Authors: James Li; Jacob Bien; Martin Wells Cited in: 5 Publications (2020–2022) Related Software: R; Tensorlab; TensorToolbox; nnTensor; TensorLy; rMultiNet; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX); Statistics (62-XX)
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: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)
sunny-cp Software Authors: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Cited in: 7 Publications (2015–2021) Related Software: SUNNY; SATzilla; MiniZinc; Chaff; CUD@SAT; Essence; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
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: Computer science (68-XX); Operations research, mathematical programming (90-XX)
MultiwayRegression Software Authors: Eric F. Lock Cited in: 6 Publications (2018–2022) Related Software: SupCP; msda; penalizedLDA; glasso; fda (R); CORALS; … Main Fields: Statistics (62-XX)
TFPDE Software Authors: Zheng, Mengdi; Karniadakis, George Em Cited in: 6 Publications (2015–2020) Related Software: MASS (R); R Main Fields: Real functions (26-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)
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: Quantum theory (81-XX)
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: Computer science (68-XX); Operations research, mathematical programming (90-XX)
ParaMEME Software Authors: Grundy WN, Bailey TL, Elkan CP Cited in: 3 Publications (2002–2015) Related Software: Algorithm 97; PAML; ACME; ClustalW; MODA; MultiPhyl; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
SupCP Software Authors: Lock, Eric F.; Li, Gen Cited in: 4 Publications (2018–2022) Related Software: MultiwayRegression; PubFig; LFW; CORALS; JIVE; tensorregress; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)
ToOLS Software Authors: de Givry S., Jeannin L. Cited in: 4 Publications (2005–2006) Related Software: OPL; SALSA; Modeler; Localizer++; Oz; CPLEX; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
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: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
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)
BSMPT Software Authors: Philipp Basler, Margarete Muhlleitner Cited in: 3 Publications (2019–2021) Related Software: BubbleProfiler; Vevacious; CosmoTransitions; GiNaC; NLopt; GSL; … Main Fields: Classical thermodynamics, heat transfer (80-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)
EvtGen Software Authors: David J. Lange Cited in: 1 Publication (2015) Related Software: GEANT4; RooFit; RapidSim; HAMMER; HistFactory; RooHammerModel; … Main Fields: Quantum theory (81-XX)
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: Statistics (62-XX); Computer science (68-XX)
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: Quantum theory (81-XX); Relativity and gravitational theory (83-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)
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: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)
BiGGER Software Authors: Krippahl, Ludwig; Barahona, Pedro Cited in: 2 Publications (2005–2008) Related Software: PSICO; Chimera; BIOCHAM; CaSPER; DYANA Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
Concrete Software Authors: Julien Vion Cited in: 2 Publications (2018–2022) Related Software: GitHub; STR2; Scala; MiniZinc Main Fields: Computer science (68-XX)
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: Statistics (62-XX); Quantum theory (81-XX)
mlOSP Software Authors: Mike Ludkovski Cited in: 1 Publication (2022) Related Software: R; DiceOptim; DiceKriging; rlsm; StOpt; LSMonteCarlo Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Systems theory; control (93-XX)
P3S Software Authors: Partha Pal; Greg Lauer; Joud Khoury; Nick Hoff; Joe Loyall Cited in: 1 Publication (2018) Related Software: Matlab; INGRES; Vertica; Cassandra; HBase; SNOBOL; … Main Fields: Computer science (68-XX)
REGPAC Software Authors: Galpin, J.S. Cited in: 2 Publications (1979–1981) Related Software: – Main Fields: Statistics (62-XX); Numerical analysis (65-XX)
SusyTC Software Authors: Antusch, Stefan; Sluka, Constantin Cited in: 2 Publications (2016–2017) Related Software: REAP; Spheno; SOFTSUSY; SuSpect; Mathematica; FeynHiggs; … Main Fields: Quantum theory (81-XX); Relativity and gravitational theory (83-XX); Astronomy and astrophysics (85-XX)
TLViz Software Authors: Marie Roald; Yngve Mardal Moe Cited in: 0 Publications Related Software: Scikit; TensorLy; Python; PyTorch; PARAFAC; pytest; … Main Fields: –
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: Computer science (68-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: Computer science (68-XX)
DREGAR Software Authors: Hamed Haselimashhadi Cited in: 1 Publication (2018) Related Software: R; CRAN Main Fields: Statistics (62-XX)
J.CP Software Authors: Ringwelski, Georg Cited in: 1 Publication (2002) Related Software: – Main Fields: Computer science (68-XX)
Mspline Software Authors: Eva Cantoni Cited in: 0 Publications Related Software: S-PLUS Main Fields: –
nnTensor Software Authors: Koki Tsuyuzaki, Itoshi Nikaido Cited in: 0 Publications Related Software: TensorLy; rTensor; Tensorlab; TensorToolbox; R 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: –
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: –