TREX Software Authors: Annichini, Aurore; Bouajjani, Ahmed; Sighireanu, Mihaela Cited in: 39 Publications (2001–2021) Related Software: FAST; HyTech; LASH; Uppaal; SPIN; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MinRes Software Authors: Kolmbauer, Michael Cited in: 39 Publications (2012–2022) Related Software: FEniCS; IFISS; AGMG; Trilinos; PETSc; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX)
libDDD Software Authors: – Cited in: 6 Publications (2008–2019) Related Software: Renew; GreatSPN; LoLA; LOEWE; ITS-Tools; caesar.bdd; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
Pufferfish Software Authors: Kifer, Daniel; Machanavajjhala, Ashwin Cited in: 5 Publications (2014–2022) Related Software: PrivateLR; LightDP; z3; RAPPOR; simPop; REDLOG; … Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Poissonsolver Software Authors: Hejlesen, Mads Mølholm; Winckelmans, Grégoire; Walther, Jens Honoré Cited in: 4 Publications (2018–2022) Related Software: GitHub; DLMF; pvfmm; NORSE; FLUPS; CaNS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
ADITU Software Authors: Gorka Garate, Julian Estevez, Manuel Graña Cited in: 0 Publications Related Software: – Main Fields: –
Braga Method Software Authors: Larchey-Wendling, Dominique; Monin, Jean-François Cited in: 1 Publication (2022) Related Software: CompCert; OCaml; Coq Main Fields: Mathematical logic and foundations (03-XX)
VoronoiLimit Software Authors: Jakob Sievers Cited in: 1 Publication (2023) Related Software: VEMLab; VEM; iFEM; Matlab Main Fields: Numerical analysis (65-XX)