×

Found 13 Software Packages (Results 1–13)

Satallax

Software Authors:   Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller
Referenced in: 57 Publications (2010–2022)
Related Software: TPTP; Isabelle/HOL; LEO-II; E Theorem Prover; VAMPIRE; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

IMPS

Software Authors:   Farmer, William M.; Guttman, Joshua D.; Thayer, F.Javier
Referenced in: 51 Publications (1990–2021)
Related Software: Isabelle; Nuprl; Coq; HOL; PVS; ETPS; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Ynot

Software Authors:   Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars
Referenced in: 34 Publications (2008–2019)
Related Software: Coq; Isabelle/HOL; Haskell; Isabelle; VeriFast; Spec#; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Oyster

Software Authors:   Horn, Christian; Smaill, Alan
Referenced in: 32 Publications (1989–2021)
Related Software: CLAM; Nuprl; HOL; Isabelle; Coq; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

SHELL2

Software Authors:   Fleischer, J.; Tarasov, O. V.
Referenced in: 8 Publications (1994–2011)
Related Software: FORM; Mincer; REDUCE; Hypexp; Fermat; DIANA; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Ivor

Software Authors:   Brady, Edwin
Referenced in: 3 Publications (2007–2010)
Related Software: Agda; Haskell; CLEAN; Coq; GUM; Links; …
Main Fields: Computer science (68-XX)

CALF

Software Authors:   Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Referenced in: 2 Publications (2017–2018)
Related Software: LEVER; Sigma*; LearnLib; libalf
Main Fields: Computer science (68-XX)

Hazelnut

Software Authors:   Omar, Cyrus; Voysey, Ian; Hilton, Michael; Aldrich, Jonathan; Hammer, Matthew A.
Referenced in: 2 Publications (2017)
Related Software: js_of_ocaml; mbeddr; TouchDevelop; Calcite; Lamdu; Idris; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Mungo

Software Authors:   Kouzapas, Dimitrios; Dardha, Ornela; Perera, Roly; Gay, Simon J.
Referenced in: 2 Publications (2018–2020)
Related Software: session-ocaml; LASH; z3
Main Fields: Computer science (68-XX)

TELPACK

Software Authors:   Akar, N.; Oguz, N.C.; Sohraby, K.
Referenced in: 2 Publications (2003–2006)
Related Software: SPN2MGM; MGMtool; MOSEL; ARENA; SPNP; OMNet++; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

edgecount

Software Authors:   Singh, Abhishek K.; Penev, Evgeni S.; Yakobson, Boris I.
Referenced in: 1 Publication (2011)
Related Software: VMD; LattE; Mathematica
Main Fields: Statistical mechanics, structure of matter (82-XX)

QWeSST

Software Authors:   Cervesato, Iliano; Sans, Thierry
Referenced in: 1 Publication (2014)
Related Software:
Main Fields: Computer science (68-XX)

SymbMat

Software Authors:   Ciappina, M.F.; Kirchner, T.
Referenced in: 1 Publication (2012)
Related Software: Mathematica
Main Fields: Computer science (68-XX); Quantum theory (81-XX)