×

Found 25 Software Packages (Results 1–25)

CADNA

Software Authors:   Fabienne Jézéquel, Jean-Marie Chesneaux
Cited in: 46 Publications (1993–2022)
Related Software: mctoolbox; INTLAB; MPFR; SAM; filib++; TELEMAC; …
Main Fields: Ordinary differential equations (34-XX); Approximations and expansions (41-XX); Integral equations (45-XX)

BAT

Software Authors:   Caldwell, Allen; Kollar, Daniel; Kröninger, Kevin
Cited in: 6 Publications (2009–2018)
Related Software: HEPfit; Turing; Cuba; Optim; WinBUGS; R; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

GRKLib

Software Authors:   Olivier Bouissou , Matthieu Martel
Cited in: 6 Publications (2009–2018)
Related Software: Hybrid Trace Verifier; S-TaLiRo; VERICOMP; DynIbex; SCOTS; Flow*; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

RepFinder

Software Authors:   Cheng M M, Zhang F L, Mitra N J, Huang X L, Hu S M
Cited in: 1 Publication (2011)
Related Software: Sketch2Photo; Photosketcher; GrabCut
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Information and communication theory, circuits (94-XX)

reactingfoam-SCI

Software Authors:   Yang, Qi; Zhao, Peng; Ge, Haiwen
Cited in: 3 Publications (2019–2020)
Related Software: OpenFOAM; Cantera; laminarReactingFoam; TRANSPORT; CHEMKIN; PREMIX; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

uncertainties

Software Authors:   Lebigot E.O.
Cited in: 1 Publication (2019)
Related Software: MonteCarloMeasurements.jl; Distributions.jl; MetroloPy; Julia; NoisySignalIntegration.jl; NumPy; …
Main Fields: Relativity and gravitational theory (83-XX)

FEBPNN

Software Authors:   Zhou, Ya-Li; Zhang, Qi-Zhi; Li, Xiao-Dong; Gan, Woon-Seng
Cited in: 2 Publications (2005–2010)
Related Software:
Main Fields: Probability theory and stochastic processes (60-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

Filzbach

Software Authors:   D. Purves; V. Lyutsarev
Cited in: 2 Publications (2013)
Related Software: trueskill; FACTORIE; Church; IBAL; CUDD
Main Fields: Computer science (68-XX)

FlexMatch

Software Authors:   Bowen Zhang, Yidong Wang, Wenxin Hou, Hao Wu, Jindong Wang, Manabu Okumura, Takahiro Shinozaki
Cited in: 0 Publications
Related Software: PyTorch; ReMixMatch; MixMatch; FixMatch; Python; RandAugment; …
Main Fields:

SAM

Software Authors:   Graillat, Stef; Jézéquel, Fabienne; Wang, Shiyue; Zhu, Yuxiang
Cited in: 2 Publications (2011–2020)
Related Software: CADNA; mctoolbox; XBLAS; Algorithm 524; LBNL; MPFR; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

sFFT

Software Authors:   Uri Keich
Cited in: 2 Publications (2016–2021)
Related Software: FFTW; minFFT; ShiftConvolve; R; BRENT; NumPy; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

SLURP

Software Authors:   Emanuele Bastianelli, Andrea Vanzo, Pawel Swietojanski, Verena Rieser
Cited in: 0 Publications
Related Software: Python; Espresso; PyTorch-Kaldi; k2; VoxPopuli; ContextNet; …
Main Fields:

TEMPO2

Software Authors:   Edwards, RT; Hobbs, GB; Manchester, RN
Cited in: 2 Publications (2019–2020)
Related Software: REBOUND
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Mechanics of particles and systems (70-XX)

TreeCANN

Software Authors:   Igor Olonetsky; Shai Avidan
Cited in: 1 Publication (2017)
Related Software: SCALP; SuperPatchMatch
Main Fields: Information and communication theory, circuits (94-XX)

IncA

Software Authors:   Szabó, T., Erdweg, S., Voelter, M.
Cited in: 1 Publication (2021)
Related Software: VeriMAP; Flix; RAHFT; Infer; Datalog; SeaHorn; …
Main Fields: Computer science (68-XX)

Libunfold

Software Authors:   A. László
Cited in: 1 Publication (2016)
Related Software: RooUnfold; GSL
Main Fields: Operator theory (47-XX); Statistics (62-XX); Numerical analysis (65-XX)

NAOMI

Software Authors:   Yukai Liu, Rose Yu, Stephan Zheng, Eric Zhan, Yisong Yue
Cited in: 1 Publication (2021)
Related Software: E2EGAN; GP-VAE; matrix-completion; BRITS; GitHub; imputeTS; …
Main Fields: Computer science (68-XX)

PECE

Software Authors:   Zhang, Wen
Cited in: 1 Publication (1994)
Related Software:
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX)

PROPOSAL

Software Authors:   Koehne, J.-H.; Frantzen, K.; Schmitz, M.; Fuchs, T.; Rhode, W.; Chirkin, D.; Becker Tjus, J.
Cited in: 1 Publication (2013)
Related Software:
Main Fields: Quantum theory (81-XX); Astronomy and astrophysics (85-XX)

qasm-tools

Software Authors:   MIT Quanta Group
Cited in: 0 Publications
Related Software: qasm2circ; LLVM; QCL; F#; Haskell; SciPy; …
Main Fields:

SOFIT

Software Authors:   Avresky, D. R.; Geoghegan, S. J.; Tapadiya, P. K.
Cited in: 1 Publication (1998)
Related Software:
Main Fields: Computer science (68-XX)

TEXTNN

Software Authors:   Emilson Pereira Leite; Carlos Roberto de Souza Filho
Cited in: 1 Publication (2010)
Related Software: ATPDraw; EJS; LEKIN; MAST; Antenna Toolbox; SeismicLab; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

EditSQL

Software Authors:   Rui Zhang, Tao Yu, He Yang Er, Sungrok Shim, Eric Xue, Xi Victoria Lin, Tianze Shi, Caiming Xiong, Richard Socher, Dragomir Radev
Cited in: 0 Publications
Related Software:
Main Fields:

LabFit

Software Authors:   Wilton Pereira da Silva; Cleide Pereira da Silva
Cited in: 0 Publications
Related Software:
Main Fields:

MVC1

Software Authors:   Alejandro C. Olivieri; Héctor C. Goicoechea; Fernando A. Iñón
Cited in: 0 Publications
Related Software:
Main Fields: