BAAC Software Authors: Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico Cited in: 1 Publication (2011) Related Software: 3APL Main Fields: Computer science (68-XX)
CPSNARKs-Set Software Authors: Benarroch, Daniel; Campanelli, Matteo; Fiore, Dario; Gurkan, Kobi; Kolonelos, Dimitris Cited in: 2 Publications (2021–2022) Related Software: zkledger; libsnark; EDRAX; Pinocchio; vSQL; GitHub Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
DLMF Software Authors: Lozier, Daniel W. Cited in: 3,039 Publications (2000–2023) Related Software: Mathematica; Matlab; OEIS; Chebfun; GitHub; Maple; … Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)
FlexiMine Software Authors: Ben-Eliyahu-Zohary, R.; Domshlak, C.; Gudes, E.; Liusternik, N.; Meisels, A.; Rosen, T.; Shimony, S. E. Cited in: 2 Publications (2003) Related Software: NOEMON Main Fields: Computer science (68-XX)
iCTRL Software Authors: Redey, Gabor Cited in: 1 Publication (1999) Related Software: – Main Fields: Computer science (68-XX)
IDP3 Software Authors: Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco Cited in: 9 Publications (2015–2020) Related Software: clasp; WASP; DLV; Cmodels; Clingo; DLV2; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
LogiKEy Software Authors: Christoph Benzmüller, Xavier Parent, Leendert van der Torre Cited in: 4 Publications (2020–2022) Related Software: Isabelle/HOL; PLM; LegalRuleML; embed_modal; Leo-III; Lean; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MISSED Software Authors: Tashiro, Jayshiro; Vargas Martin, Miguel; Hung, Patrick C.K. Cited in: 0 Publications Related Software: – Main Fields: –
MultiNet Software Authors: Hermann Helbig Cited in: 10 Publications (2001–2010) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
MyPYTHIA Software Authors: Houstis, E.N.; Catlin, A.C.; Dhanjani, N.; Rice, J.R.; Ramakrishnan, N.; Verykios, V. Cited in: 2 Publications (2002–2014) Related Software: PYTHIA; GraPHedron; GAUSS; House of Graphs; SATzilla; Hyperheuristics; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
pyBKT Software Authors: Anirudhan Badrinath, Frederic Wang, Zachary Pardos Cited in: 0 Publications Related Software: hmm-scalable; BNT; NumPy; Scikit; Python Main Fields: –
PYTHIA Software Authors: Houstis, Elias N.; Catlin, Ann C.; Rice, John R.; Verykios, Vassilios S.; Ramakrishnan, Naren; Houstis, Catherine E., Weerawarana, Sanjiva; Houstis, Elias N.; Rice, John R.; Joshi, Anupam; Houstis, Catherine E. Cited in: 28 Publications (1996–2018) Related Software: PELLPACK; GAUSS; PYTHIA8; LAPACK; ODEXPERT; ELLPACK; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
RSDS Software Authors: Suraj, Zbigniew; Grochowalski, Piotr Cited in: 5 Publications (2004–2008) Related Software: – Main Fields: Computer science (68-XX)
SALT Software Authors: Marcus, Sandra; McDermott, John Cited in: 5 Publications (1989–2010) Related Software: MOLE; Protege; WordNet; LISP; RESUME; CLIPS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TESS Software Authors: Prat, Albert; Gomez, Victor; Solé, Ignasi; Catot, Josep M. Cited in: 1 Publication (2000) Related Software: FORCE4/R Main Fields: Statistics (62-XX)