×

Found 68 Software Packages (Results 1–68)

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:

msgps

Software Authors:   Kei Hirose
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: