×

Found 35 Software Packages (Results 1–35)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Cited in: 157 Publications (1986–2022)
Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

TPS

Software Authors:   Andrews, Peter B.; Brown, Chad E.
Cited in: 76 Publications (1990–2022)
Related Software: TPTP; ETPS; HOL; LEO-II; Satallax; PVS; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Cited in: 48 Publications (2008–2022)
Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

CLAM

Software Authors:   Bundy, A., van Harmelen, F., Horn, C.
Cited in: 39 Publications (1989–2021)
Related Software: Oyster; Nuprl; HOL; Isabelle; InKa; PVS; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

leanTAP

Software Authors:   Beckert, Bernhard; Posegga, Joachim
Cited in: 39 Publications (1994–2021)
Related Software: SETHEO; TPTP; SATCHMO; ModLeanTAP; ileanCoP; leanCoP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Walnut

Software Authors:   Hamoon Mousavi
Cited in: 35 Publications (2017–2023)
Related Software: OEIS; GitHub; Pecan; Python; Coq; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

jStar

Software Authors:   DiStefano, D., Parkinson, M.
Cited in: 30 Publications (2008–2022)
Related Software: VeriFast; Smallfoot; Boogie; Coq; Spec#; ESC/Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GeoThms

Software Authors:   Quaresma, Pedro; Predrag Janičić
Cited in: 24 Publications (2006–2020)
Related Software: GCLCprover; GCLC; GeoGebra; GEX; GEOTHER 1.1; GeoProof; …
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)

Cogent

Software Authors:   Cook, Byron; Kroening, Daniel; Sharygina, Natasha
Cited in: 11 Publications (2005–2018)
Related Software: SatAbs; SIMPLIFY; SPIN; Bebop; FOCI; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Zeno

Software Authors:   Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan
Cited in: 12 Publications (2012–2021)
Related Software: SMT-LIB; HipSpec; CVC4; VAMPIRE; Dafny; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Juno-2

Software Authors:   Allan Heydon; Greg Nelson
Cited in: 11 Publications (1996–2004)
Related Software: Skyblue; MMP/Geometer; MEDLAR; Genocop; ISOLATE; QEPCAD; …
Main Fields: Geometry (51-XX); Numerical analysis (65-XX); Computer science (68-XX)

Zapato

Software Authors:   Ball, T., Cook, B., Lahiri, S.K., Zhang, L.
Cited in: 11 Publications (2004–2018)
Related Software: CVC Lite; Chaff; MiniSat; E Theorem Prover; ICS; MathSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MUSCADET

Software Authors:   Pastre, Dominique
Cited in: 9 Publications (1989–2021)
Related Software: OTTER; Automath; Isabelle/ZF; MACSYMA; REDUCE; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

HERMES

Software Authors:   Bozga, L., Lakhnech, Y., Perin, M.
Cited in: 8 Publications (2005–2009)
Related Software: AVISPA; Casper; Timbuk; simpleAPL; Isabelle/ZF; scyther; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

RALL

Software Authors:   David von Oheimb, Thomas F. Gritzner
Cited in: 9 Publications (1997–2014)
Related Software: Ralf; Isabelle/HOL; ARA; Isabelle; RelView; CoLoR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Electronic Geometry Textbook

Software Authors:   Chen, Xiaoyu
Cited in: 7 Publications (2010–2020)
Related Software: Intergeo; GCLC; GeoGebra; TGTP; GeoThms; GCLCprover; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Mathematics education (97-XX)

evt

Software Authors:   Lars–Åke Fredlund; Dilian Gurov; Thomas Noll; Mads Dam; Thomas Arts; Gennady Chugunov
Cited in: 6 Publications (2001–2021)
Related Software: Erlang; Isabelle; Coq; Java-MaC; InterAspect; AspectWerkz; …
Main Fields: Computer science (68-XX)

PARTHENON

Software Authors:   Bose, Soumitra; Clarke, Edmund M.; Long, David E.; Michaylov, Spiro
Cited in: 5 Publications (1989–2004)
Related Software: METEOR; SETHEO; Aquarius; OTTER; PARTHEO; Roo; …
Main Fields: Computer science (68-XX)

Ctrl

Software Authors:   Kop, Cynthia; Nishida, Naoki
Cited in: 7 Publications (2014–2021)
Related Software: KITTeL; z3; TcT; Maude; Yices; ARMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PREVAIL

Software Authors:   Borrione, Dominique; Pierre, Laurence; Salem, Ashraf
Cited in: 5 Publications (1992–2014)
Related Software: Nuprl; CoqMTU; Coquet; Coq; CESAR; LARCH; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Tac

Software Authors:   Baelde, David; Miller, Dale; Snow, Zachary
Cited in: 7 Publications (2007–2012)
Related Software: Abella; Bedwyr; Twelf; Automath; HYBRID; Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Amphion

Software Authors:   Lowry, M.R., Philpot, A., Pressburger, T., Underwood, I
Cited in: 3 Publications (1998–2010)
Related Software: CLAM; Oyster; HOL; SPARK; SETHEO; VCC; …
Main Fields: Computer science (68-XX)

TAME

Software Authors:   Archer, Myla
Cited in: 5 Publications (2000–2011)
Related Software: PVS; Uppaal; LARCH; JML; NASA PVS; UNITY; …
Main Fields: Computer science (68-XX)

Chapar

Software Authors:   Lesani, Mohsen; Bell, Christian J.; Chlipala, Adam
Cited in: 4 Publications (2016–2021)
Related Software: Verdi; z3; Constructive Proof FLP; Archive Formal Proofs; CVC4; Ivy; …
Main Fields: Computer science (68-XX)

Sage

Software Authors:   Jessica Gronski , Kenneth Knowles , Aaron Tomb , Stephen N. Freund , Cormac Flanagan
Cited in: 4 Publications (2010–2021)
Related Software: gradualizerDynamicSemantics; Flow; PoplMark; Agda; Isabelle/HOL; Coq; …
Main Fields: Computer science (68-XX)

GLINTS

Software Authors:   María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña
Cited in: 3 Publications (2019–2022)
Related Software: Maude; ACUOS2; Curry; Maude-NPA; MTT; ECCE; …
Main Fields: General algebraic systems (08-XX); Computer science (68-XX)

simpleAPL

Software Authors:   Alechina, N.; Dastani, M.; Khan, F.; Logan, B.; Meyer, J.-J.Ch.
Cited in: 3 Publications (2006–2016)
Related Software: 2APL; AgentSpeak; CCalc; MCMAS; PDDL; METATEM; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

GROVER

Software Authors:   Barker-Plummer, Dave; Bailin, Sidney C.
Cited in: 2 Publications (2002–2009)
Related Software: Hyperproof; Dr.Doodle; CafePie; CafeOBJ; Vivid
Main Fields: Computer science (68-XX)

GUBS

Software Authors:   Basso-Blandin, Adrien; Delaplace, Franck
Cited in: 2 Publications (2013–2014)
Related Software:
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

HOARD ATINF

Software Authors:   Caferra, Ricardo; Peltier, Nicolas; Puitg, François
Cited in: 2 Publications (2001–2012)
Related Software: JGEX; GEX; DISCOVERER; GeoThms; GCLCprover; GeoProof; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Pecan

Software Authors:   Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi
Cited in: 1 Publication (2023)
Related Software: Walnut; OEIS; Python; Coq; Isabelle/HOL; Lean; …
Main Fields: Number theory (11-XX); Computer science (68-XX)

Pirate

Software Authors:   Wand, D., Weidenbach, C.
Cited in: 2 Publications (2015)
Related Software: Hipster; CVC4; HipSpec; Zeno; SMT-LIB; Dafny; …
Main Fields: Computer science (68-XX)

VIRT

Software Authors:   Baranovskii, A.I.
Cited in: 2 Publications (1998–1999)
Related Software:
Main Fields: Computer science (68-XX)

CAMPY

Software Authors:   Srikanth, Akhilesh; Sahin, Burak; Harris, William R.
Cited in: 1 Publication (2017)
Related Software: LeetCode; Soot; z3
Main Fields: Computer science (68-XX)

GenTreeCad

Software Authors:   Kádek, Tamás
Cited in: 1 Publication (2012)
Related Software: LaTeX
Main Fields: Mathematical logic and foundations (03-XX)