Found 6 Software Packages (Results 1–6)


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)


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)


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)


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)