×

Found 8 Software Packages (Results 1–8)

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)