×

Found 17 Software Packages (Results 1–17)

COUPLEX

Software Authors:   Bourgeat, A.; Kern, M.; Schumacher, S.; Talandier, J.
Referenced in: 32 Publications (2004–2021)
Related Software: UG; HYDROGEOCHEM; JHomogenizer; PhreeqcRM; PHREEQC; MoMaS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

MGTP

Software Authors:   Hasegawa, Ryuzo; Fujita, Hiroshi; Koshimura, Miyuki; Shirai, Yasuyuki
Referenced in: 6 Publications (1995–2013)
Related Software: SATCHMO; TPTP; MiniSat; FINDER; QMaxSAT; Scsat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ReebHanTun

Software Authors:   Dey, Tamal K.; Fan, Fengtao; Wang, Yusu
Referenced in: 6 Publications (2013–2021)
Related Software: Blossom-Quad; QuadCover; libQEx; QEx; CPLEX; TopologyNet; …
Main Fields: Algebraic topology (55-XX); Manifolds and cell complexes (57-XX); Numerical analysis (65-XX)

Tiamat

Software Authors:   Williams, Sean; Lund, Kyle; Lin, Chenxiang; Wonka, Peter; Lindsay, Stuart; Yan, Hao
Referenced in: 5 Publications (2011–2021)
Related Software: Shift; MPACT; Insilico; Peregrine; VERA; ORIGEN2; …
Main Fields: Combinatorics (05-XX); Geometry (51-XX); Manifolds and cell complexes (57-XX)

PyDMD

Software Authors:   Demo, N.; Tezzele, M.; Rozza, G.
Referenced in: 4 Publications (2016–2022)
Related Software: EZyRB; PyGeM; GitHub; Python; DeepONet; VAMPnets; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Operator theory (47-XX); Numerical analysis (65-XX)

CADfix

Software Authors:   International TechneGroup Incorporated
Referenced in: 4 Publications (2008–2021)
Related Software: CGAL; Open CASCADE; Nektar++; Nek5000; GrabCAD; QuadCover; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Computer science (68-XX)

RSVP

Software Authors:   Barequet G, Duncan C A, Kumar S.
Referenced in: 2 Publications (2008–2010)
Related Software: ReMESH; SCAPE; Gerris; CartGen
Main Fields: Numerical analysis (65-XX)

SONOLAR

Software Authors:   Lapschies, F., Peleska, J., Gorbachuk, E., Mangels
Referenced in: 3 Publications (2014–2018)
Related Software: ASTREE; MathSAT5; HOL Light; z3; XSat; UppSAT; …
Main Fields: Computer science (68-XX)

MODPROF

Software Authors:   Happe, Jens
Referenced in: 2 Publications (2001)
Related Software: P.rex; QUBE; E Theorem Prover; JProver; Racer; LoTREC; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

PolyMeCo

Software Authors:   Samuel Silva; Joaquim Madeira; Beatriz Sousa Santos
Referenced in: 2 Publications (2012–2022)
Related Software: SegMatch; Powercrust
Main Fields: Numerical analysis (65-XX)

FastSpeech

Software Authors:   Yi Ren, Chenxu Hu, Xu Tan, Tao Qin, Sheng Zhao, Zhou Zhao, Tie-Yan Liu
Referenced in: 0 Publications
Related Software: FastPitch; Kaldi; SentencePiece; Conformer; Transformers; BERT; …
Main Fields:

LSBert

Software Authors:   Jipeng Qiang, Yun Li, Yi Zhu, Yunhao Yuan, Xindong Wu
Referenced in: 0 Publications
Related Software: LEXenstein; PPDB; BERT
Main Fields:

Mr.CAS

Software Authors:   Matteo Ragni
Referenced in: 0 Publications
Related Software: SymPy; Python; SymEngine; Symbolic; RuCas; Ipopt; …
Main Fields:

Mumbo

Software Authors:   Aktemur, Barış; Kamin, Sam
Referenced in: 1 Publication (2006)
Related Software: Maude
Main Fields: Computer science (68-XX)

VVT

Software Authors:   Henning Günther; Alfons Laarman; Simon Jantsch
Referenced in: 1 Publication (2017)
Related Software: CTIGAR
Main Fields: Computer science (68-XX)

Wave2Vec

Software Authors:   Kim S., Kim J., Chun H.-W.
Referenced in: 0 Publications
Related Software: Jupyter; JavaScript; TensorFlow; sktime; AutoKeras; H2O; …
Main Fields:

QCDLAB

Software Authors:   Artan Borici
Referenced in: 0 Publications
Related Software:
Main Fields: