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