Aspic Software Authors: Gonnord, Laure; Halbwachs, Nicolas Cited in: 24 Publications (2006–2021) Related Software: ASTREE; FAST; Apron; z3; FLATA; HyTech; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
SYMBA Software Authors: Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha Cited in: 13 Publications (2014–2021) Related Software: z3; vZ; OptiMathSAT; MathSAT5; LogMIP; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
PURRS Software Authors: Roberto Bagnara; Andrea Pescetti; Alessandro Zaccagnini; Enea Zaffanella; Tatiana Zolo Cited in: 9 Publications (2006–2022) Related Software: ACE; LoAT; GitHub; z3; StarExec; CiaoPP; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)
Algorithm 898 Software Authors: Albrecht, Martin; Bard, Gregory; Hart, William Cited in: 6 Publications (2010–2022) Related Software: M4RI; Magma; SageMath; FFLAS-FFPACK; SM4; ALGOL 60; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Group theory and generalizations (20-XX); Numerical analysis (65-XX)
DualityGapAnalyzer Software Authors: Astaf’ev, N. N.; Ivanov, A. V.; Trofimov, S. P. Cited in: 2 Publications (2018–2019) Related Software: GitHub; RPSALG; SHOGUN; SIPAMPL Main Fields: Operations research, mathematical programming (90-XX)
Multivariable Frequency Domain Software Authors: J.M. Maciejowski Cited in: 1 Publication (2000) Related Software: Matlab Main Fields: Mechanics of deformable solids (74-XX); Systems theory; control (93-XX)