CiaoPP Software Authors: Hermenegildo M. V., Bueno F., Puebla G., Lopez P. Cited in: 47 Publications (1999–2022) Related Software: Ciao; Mercury; SICStus; z3; RAHFT; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DyC Software Authors: Grant, B., Mock, M., Philipose, M., Chambers, C., Eggers, S.J. Cited in: 11 Publications (2000–2010) Related Software: VCODE; ASM; TALx86; LMS; Flask; BCEL; … Main Fields: Computer science (68-XX)
LMS Software Authors: Tiark Rompf, Martin Odersky Cited in: 4 Publications (2010–2022) Related Software: BLOG; TMB; PyMC; Stan; spBayes; Church; … Main Fields: Computer science (68-XX)
ATAME Software Authors: Alpuente, María; Ballis, Demis; Sapiña, Julia Cited in: 3 Publications (2018–2020) Related Software: Maude; ABETS; LiquidHaskell; iJulienne; 3BA; Axl; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
SIMP Software Authors: De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Cited in: 2 Publications (2013–2019) Related Software: LOGEN; PPL; HSF; TRACER; ARMC Main Fields: Computer science (68-XX)
Nonio Software Authors: Ricardo Nobre, João Bispo, Tiago Carvalho, João M.P. Cardoso Cited in: 0 Publications Related Software: TACT; Cole; Micomp; Acovea; LARA; COBAYN; … Main Fields: –
QuaSiMo Software Authors: Thien Nguyen, Lindsay Bassman, Phillip C. Lotshaw, Dmitry Lyakh, Alexander McCaskey, Vicente Leyton-Ortega, Raphael Pooser, Wael Elwasif, Travis S. Humble, Wibe A. de Jong Cited in: 0 Publications Related Software: SciPy; OpenFermion; QCOR; Orquestra; Qiskit Terra; Aqua; … Main Fields: –