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)