×

Found 71 Software Packages (Results 1–71)

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:

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: