×

Found 11 Software Packages (Results 1–11)

FRI

Software Authors:   Z. C. Johanyák, D. Tikk, S. Kovács, K. W. Wong
Cited in: 9 Publications (2009–2019)
Related Software: GSA; BGSA; Neural Network Toolbox; LIBSVM; UCI-ml
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)

CTBN-RLE

Software Authors:   Shelton, Christian R.; Fan, Yu; Lam, William; Lee, Joon; Xu, Jing
Cited in: 7 Publications (2010–2022)
Related Software: VIBES; TETRAD; Netica; PhysioToolkit; PMTK
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

cplint

Software Authors:   Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo
Cited in: 6 Publications (2017–2022)
Related Software: ProbLog; SWI-Prolog; PRISM; XSB; PITA; CP-logic; …
Main Fields: Computer science (68-XX)

NLCertify

Software Authors:   Victor Magron
Cited in: 4 Publications (2014–2017)
Related Software: OCaml; Coq; Sollya; Flocq; dReal; HOL Light; …
Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

ProbNetKAT

Software Authors:   Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra
Cited in: 4 Publications (2017–2019)
Related Software: Church; NetKAT; QPL
Main Fields: Computer science (68-XX)

StarFLIP

Software Authors:   Raggl, Andreas; Slany, Wolfgang
Cited in: 2 Publications (1998–2004)
Related Software: FLIP++
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SUCRAGE

Software Authors:   Borgi, Amel; Akdag, Herman
Cited in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

VOROPACK-D

Software Authors:   Ryu,J.,Lee,M.,Kim,D.,Kallrath,J.,Sugihara,K.,Kim,D.S
Cited in: 3 Publications (2021–2022)
Related Software: CGAL; dynvorcuda; QTFier; MinPerim; QuickhullDisk
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Nefrit

Software Authors:   Talas̆ová, Jana
Cited in: 2 Publications (2000–2010)
Related Software: FuzzME
Main Fields: Mathematical logic and foundations (03-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ACCEPT

Software Authors:   Sampson, A., Baixo, A., Ransford, B., Moreau, T., Yip, J., Ceze, L., Oskin, M.
Cited in: 1 Publication (2018)
Related Software: Houdini; Boogie; Rely; Green; EnerJ; Chisel; …
Main Fields: Computer science (68-XX)

WSReasoner

Software Authors:   Weihong Song; Bruce Spencer; Weichang Du
Cited in: 1 Publication (2014)
Related Software: KL-ONE; ELK; swrl; HermiT; FaCT++; SPARQL; …
Main Fields: Computer science (68-XX)