LARCH Cited in 105 Documents (1989–2023) Software Authors: Guttag, John V.; Horning, James J. Related Software: JML; Eiffel; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Group theory and generalizations (20-XX); …
Dafny Cited in 86 Documents (2010–2023) Software Authors: Rustan Leino Related Software: z3; Boogie; Why3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); …
VIATRA2 Cited in 18 Documents (2006–2019) Software Authors: Varró, Dániel; Balogh, András Related Software: PROGRES; AGG; Graph transformation benchmarks; … Main Fields: Computer science (68-XX)
Centaur Cited in 18 Documents (1991–2019) Software Authors: Borras, P., Clément, D., Despeyroux, Th., Incerpi, J., Kahn, G., Lang, B., Pascual, V Related Software: K Prover; Coq; Maude; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HasCasl Cited in 17 Documents (2002–2015) Software Authors: Schr"oder, Lutz; Mossakowski, Till Related Software: CASL; Haskell; Hets; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
2HDMC Cited in 14 Documents (2010–2022) Software Authors: David Eriksson, Johan Rathsman, Oscar Stål Related Software: MadGraph; HDECAY; FeynRules; … Main Fields: Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX); …
UMM Cited in 6 Documents (2007–2016) Software Authors: Yang Y, Gopalakrishnan G, Lindstrom G Related Software: Coq; Checkfence; TSOTool; … Main Fields: Computer science (68-XX)
iTasks Cited in 5 Documents (2008–2013) Software Authors: Plasmeijer, Rinus; Achten, Peter; Koopman, Pieter Related Software: CLEAN; Miranda; Haskell; … Main Fields: Computer science (68-XX)
Collections Cited in 4 Documents (2012–2019) Software Authors: Peter Lammich, Andreas Lochbihler, Thomas Tuerk Related Software: Archive Formal Proofs; Isabelle/HOL; Gabow SCC; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
MiningZinc Cited in 4 Documents (2017–2019) Software Authors: Guns, Tias; Dries, Anton; Nijssen, Siegfried; Tack, Guido; De Raedt, Luc Related Software: Gecode; Essence; MiniZinc; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Unbound Cited in 4 Documents (2011–2019) Software Authors: Weirich, Stephanie; Yorgey, Brent A.; Sheard, Tim Related Software: Isabelle/HOL; Psi-calculi; Nominal Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HeteroMPI Cited in 1 Document (2006) Software Authors: Lastovetsky, Alexey; Reddy, Ravi Related Software: MPI/MPICH; Image Processing Toolbox; G-Hadoop; … Main Fields: Computer science (68-XX)
Imperative Refinement Cited in 3 Documents (2018–2019) Software Authors: Peter Lammich Related Software: Archive Formal Proofs; Isabelle/HOL; Autoref; … Main Fields: Computer science (68-XX)
VISSION Cited in 2 Documents (2000–2001) Software Authors: Alexandru Telea; Jarke J. van Wijk Related Software: SCIRun; LAPACK; Diffpack; … Main Fields: Computer science (68-XX); Fluid mechanics (76-XX)
Glotaran Cited in 0 Documents Software Authors: Joris Snellenburg, Sergey Laptenok, Ralf Seger, Katharine Mullen, Ivo Van Stokkum Related Software: R; RKWard; Deducer; … Main Fields: –
OnTrack Cited in 1 Document (2014) Software Authors: James, P., Trumble, M., Treharne, H., Roggenbach, M., Schneider, S. Related Software: ModalCasl; PVSio-web; E Theorem Prover; … Main Fields: Computer science (68-XX)
OOMPI Cited in 1 Document (2006) Software Authors: McCandless BC, Squyres JM, Lumsdaine A. Related Software: MPI Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
ASDeX Cited in 1 Document (2018) Software Authors: Mingyu Ma, Lars Hedrich, Christian Sporrer Related Software: PASS; MiniSat; AMT; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
DAMPAS Cited in 1 Document (2016) Software Authors: M. Mosbah et.al Related Software: RDA; Haskell; Isabelle/HOL; … Main Fields: Computer science (68-XX)
dyntapy Cited in 0 Documents Software Authors: Paul Ortmann; Chris M.J. Tampère Related Software: DUET; igraph; AequilibraE; … Main Fields: –
Forest Cited in 0 Documents Software Authors: Fisher, Kathleen; Foster, Nate; Walker, David; Zhu, Kenny Q. Related Software: Graphviz Main Fields: –
JTL Cited in 0 Documents Software Authors: Cohen, T.; Gil, J.Y.; Maman, I Related Software: AspectJ; CodeQuest; Soot Main Fields: –
LAPACK3E Cited in 1 Document (2017) Software Authors: Edward Anderson Related Software: Algorithm 978; Algorithm 528; MKL; … Main Fields: Numerical analysis (65-XX)
LFL Cited in 0 Documents Software Authors: M. Araujo; M.A. Musicante Related Software: Maude; MMT Main Fields: –
LPdoc Cited in 1 Document (2020) Software Authors: Hermenegildo, M.V., Morales, J. Related Software: go; XSB; Haskell Main Fields: Computer science (68-XX)
MSVARlib Cited in 1 Document (2016) Software Authors: Bellone, B. Related Software: SeDuMi Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Nuprl-Light Cited in 1 Document (1997) Software Authors: Hickey, Jason J. Related Software: Cambridge LCF; Nuprl; Isabelle Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PAnDA Cited in 1 Document (2013) Software Authors: Walker, James Alfred; Trefzer, Martin A.; Bale, Simon J.; Tyrrell, Andy M. Related Software: – Main Fields: Computer science (68-XX)
lbmpy Cited in 0 Documents Software Authors: Bauer, Martin; Köstler, Harald; Rüde, Ulrich Related Software: – Main Fields: –