×

Found 7 Software Packages (Results 1–7)

Datalog LITE

Software Authors:   Gottlob, Georg; Grädel, Erich; Veith, Helmut
Referenced in: 9 Publications (2002–2019)
Related Software: XPath; Ltur; ComputeTW; NP Datalog; Datalog; FALKO
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FRIDGE

Software Authors:   Keding, H., Willems, M., Coors, M., Meyr, H.
Referenced in: 4 Publications (2004–2007)
Related Software: Simulink; HOL; HOL Light; ML; ACL2; CLAPACK; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Flix

Software Authors:   Madsen, M., Yee, M., Lhoták, O
Referenced in: 2 Publications (2018–2021)
Related Software: VeriMAP; IncA; RAHFT; Infer; Datalog; SeaHorn; …
Main Fields: Computer science (68-XX)

RangeLab

Software Authors:   Martel, M.
Referenced in: 2 Publications (2018–2021)
Related Software: PRECiSA; Daisy; GitHub; FPTuner; dReal; z3; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

UppSAT

Software Authors:   Zeljić, Aleksandar; Backeman, Peter; Wintersteiger, Christoph M.; Rümmer, Philipp
Referenced in: 2 Publications (2018–2021)
Related Software: STP; OptiMathSAT; vZ; SYMBA; Boolector; SONOLAR; …
Main Fields: Computer science (68-XX)

LEMA

Software Authors:   Lefèvre, Vincent; Théveny, Philippe; de Dinechin, Florent; Jeannerod, Claude-Pierre; Mouilleron, Christophe; Pfannholzer, David; Revol, Nathalie
Referenced in: 1 Publication (2010)
Related Software:
Main Fields: Numerical analysis (65-XX)

Shiftry

Software Authors:   Kumar, A., Seshadri, V., Sharma, R.
Referenced in: 1 Publication (2021)
Related Software: FastGRNN; gRPC; AI2; DL2; ERAN; SyReNN; …
Main Fields: Computer science (68-XX)