TABLEAUX Cited in 20 Documents (1991–2022) Software Authors: Catach, Laurent Related Software: Pesca; MOIN; LoTREC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
libavi.a Cited in 1 Document (1996) Software Authors: Diverio, Tiarajú A.; Fernandes, Úrsula A.; Claudio, Dalcidio M. Related Software: PASCAL-XSC Main Fields: Numerical analysis (65-XX)
PHASE1 Cited in 1 Document (1990) Software Authors: Cash, J.R.; Raptis, A.D.; Simos, T.E. Related Software: – Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX)