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)
Circus Software Authors: Woodcock, J.C.P., Cavalcanti, A.L.C. Cited in: 73 Publications (2002–2021) Related Software: Z; ProofPower; ZRC; Isabelle/UTP; Simulink; ClawZ; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-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)
TREESPH Software Authors: Hernquist, L.; Katz, N Cited in: 71 Publications (1992–2022) Related Software: GADGET; MPI; HOT; DualSPHysics; SPHysics; automan; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
CLEAN Software Authors: Plasmeijer, M.J. Cited in: 55 Publications (1987–2016) Related Software: Haskell; Miranda; Sparkle; Coq; ML; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
GHC Software Authors: Ueda, Kazunori Cited in: 36 Publications (1986–2014) Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
leanCoP Software Authors: Jens Otten Cited in: 36 Publications (2001–2022) Related Software: ileanCoP; TPTP; VAMPIRE; E Theorem Prover; MaLeCoP; FEMaLeCoP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CFTs4D Software Authors: Cuomo, Gabriel Francisco; Karateev, Denis; Kravchuk, Petr Cited in: 32 Publications (2018–2021) Related Software: SDPB; JuliBootS; PyCFTBoot; Mathematica; Lauricella Functions; DLMF; … Main Fields: Topological groups, Lie groups (22-XX); Statistics (62-XX); Quantum theory (81-XX)
Quantomatic Software Authors: Kissinger, Aleks Cited in: 23 Publications (2009–2022) Related Software: PyZX; Globular; pytket; Jupyter; Matplotlib; NumPy; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)
QMT Software Authors: Rabe, Florian Cited in: 22 Publications (2012–2022) Related Software: MMT; Mizar; Isabelle; Coq; HOL Light; LATIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Isabelle/UTP Software Authors: Foster, Simon; Zeyda, Frank; Woodcock, Jim Cited in: 17 Publications (2015–2021) Related Software: Circus; Z; Isabelle/HOL; Archive Formal Proofs; Sledgehammer; Isabelle; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
DLV-EX Software Authors: Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista Cited in: 16 Publications (2007–2021) Related Software: Clingcon; Clingo; OntoDLV; Potassco; Gringo; ezcsp; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
Bliksem Software Authors: de Nivelle, H. Cited in: 15 Publications (1999–2012) Related Software: SPASS; OTTER; TPTP; Waldmeister; VAMPIRE; SETHEO; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)
MleanCoP Software Authors: Otten, Jens Cited in: 14 Publications (2014–2022) Related Software: QMLTP; TPTP; ileanCoP; leanCoP; E Theorem Prover; VAMPIRE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
EQP Software Authors: McCune, William Cited in: 12 Publications (1997–2016) Related Software: OTTER; Waldmeister; TPTP; Peers-mcd; SPASS; SETHEO; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-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)
Athena Software Authors: Konstantine Arkoudas Cited in: 10 Publications (2004–2017) Related Software: HE-E1GODF; Athena; CASTRO; Maude; CafeOBJ; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)
ELPI Software Authors: Dunchev C, Guidi F, Coen CS, Tassi E Cited in: 10 Publications (2015–2021) Related Software: Coq; Abella; Twelf; Agda; Teyjus; LCF; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
InvX Software Authors: H. Khoshnevisan; K. M. Sephton Cited in: 10 Publications (1989–2013) Related Software: LRinv; VMTL; Tsukuba; MU-TERM; AProVE; THEOPOGLES; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
NARROWER Software Authors: Rety, Pierre; Kirchner, Claude; Kirchner, Hélène; Lescanne, Pierre Cited in: 10 Publications (1985–1992) Related Software: PARLOG; REVE; Kernel-LEAF; AFFIRM; RRL; REDUCE; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); General algebraic systems (08-XX)
CRC 3 Software Authors: Durán, Francisco; Meseguer, José Cited in: 9 Publications (2010–2020) Related Software: Maude; MTT; ChC 3; CafeOBJ; CSI; OBJ3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CLP(Flex) Software Authors: J. Coelho; M. Florido Cited in: 7 Publications (2007–2021) Related Software: Theorema; Mathematica; Veriflog; XCentric; Maude; Tom; … Main Fields: Mathematical logic and foundations (03-XX); Special functions (33-XX); Computer science (68-XX)
CS-Prolog Software Authors: Kawamura, Toshio; Ohwada, Hayato; Mizoguchi, Fumio Cited in: 7 Publications (1988–2002) Related Software: Prolog; CiaoPP; Ciao; PVM; SICStus; Linda Main Fields: Computer science (68-XX)
linTAP Software Authors: Mantel, H., Otten, J. Cited in: 7 Publications (1999–2019) Related Software: llprover; Lolli; TPTP; leanTAP; Sympli; ILLTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PROTOS-L Software Authors: Beierle, Christoph Cited in: 7 Publications (1990–1996) Related Software: Prolog Main Fields: Computer science (68-XX)
XCentric Software Authors: Coelho, J., Florido, M. Cited in: 5 Publications (2013–2021) Related Software: CLP(Flex); Maude; Mathematica; Theorema; Veriflog; Tom; … Main Fields: Mathematical logic and foundations (03-XX); Special functions (33-XX); Computer science (68-XX)
ALE Software Authors: Carpenter, B., G. Penn Cited in: 3 Publications (1992–2005) Related Software: Grammar Matrix; LKB Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
BousiProlog Software Authors: Iranzo, Pascual Julián, Clemente Rubio-Manzano Cited in: 4 Publications (2017–2021) Related Software: Likelog; SWI-Prolog; Rfuzzy; WordNet; HOL90; FRIL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SNARK Software Authors: Stickel, M. Cited in: 3 Publications (2009–2015) Related Software: Waldmeister; E Theorem Prover; Mizar; Vivid; Mathematica; EQP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)
Veriflog Software Authors: Jorge Coelho, Mário Florido Cited in: 4 Publications (2008–2018) Related Software: CLP(Flex); Theorema; Mathematica; XCentric; Tom; ASF+SDF; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
WaveSpect0 Software Authors: Chen, Shuo; Hong, Don; Shyr, Yu Cited in: 4 Publications (2007–2008) Related Software: ElemStatLearn; R; Matlab; SABoost; robustbase; CLUES Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
dalex Software Authors: Hubert Baniecki, Wojciech Kretowicz, Piotr Piatyszek, Jakub Wisniewski, Przemyslaw Biecek Cited in: 1 Publication (2021) Related Software: AI Explainability 360; DALEX; NumPy; modelStudio; Fairlearn; PDPbox; … 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)
Graph6Java Software Authors: Ghebleh, Mohammad; Kanso, Ali; Stevanovic, Dragan Cited in: 3 Publications (2019–2022) Related Software: plantri; BlueJ; GraphTheory; Mathchem; Colt; House of Graphs; … Main Fields: Combinatorics (05-XX); Biology and other natural sciences (92-XX)
LIGHT Software Authors: Ciortuz, Liviu Cited in: 3 Publications (2002–2003) Related Software: – Main Fields: Computer science (68-XX)
Multiflex Software Authors: Savary, Agata Cited in: 1 Publication (2004) Related Software: MultiFlex; Mathematica Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)
RuleMerger Software Authors: Strüber, Daniel; Rubin, Julia; Arendt, Thorsten; Chechik, Marsha; Taentzer, Gabriele; Plöger, Jennifer Cited in: 3 Publications (2016–2019) Related Software: Henshin; VMQL; GGL; gSpan; AGG; ATL; … Main Fields: Computer science (68-XX)
aleanTAP Software Authors: Near, Joseph P.; Byrd, William E.; Friedman, Daniel P. Cited in: 2 Publications (2008–2021) Related Software: Freshml; leanTAP; KANREN; miniKanren; Twelf; SATCHMO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
COMPARTMENTS Software Authors: Binder JX, Pletscher-Frankild S, Tsafou K, Stolte C, O'Donoghue SI, Schneider R, Jensen LJ Cited in: 2 Publications (2018–2019) Related Software: BioGRID; SPIDER2; gcrma; RedeR; STRINGdb; ANIMO; … Main Fields: Biology and other natural sciences (92-XX)
HighDimOut Software Authors: Cheng Fan Cited in: 2 Publications (2018–2021) Related Software: R; SSRMST; SampleSize4ClinicalTrials; NPHMC; BayesianPower; BAEssd; … Main Fields: Statistics (62-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)
InvA Software Authors: Rocha, Camilo; Meseguer, José Cited in: 2 Publications (2014–2020) Related Software: Maude; PKind; HyComp; SeaHorn; Maude-NPA; Mcmt; … Main Fields: Computer science (68-XX)
MLOG Software Authors: Poirriez, Vincent Cited in: 2 Publications (1992–1994) Related Software: GHC Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
NLProlog Software Authors: Leon Weber, Pasquale Minervini, Jannes Münchmeyer, Ulf Leser, Tim Rocktäschel Cited in: 2 Publications (2021) Related Software: DeepProbLog; TensorLog; PyTorch; ProbLog; gl2vec; HIN2Vec; … Main Fields: Computer science (68-XX)
SMCHR Software Authors: Duck, Gregory J. Cited in: 2 Publications (2012–2018) Related Software: Smallfoot; CBMC; SLAyer; LLBMC; VeriFast; Predator Main Fields: Computer science (68-XX)
THEOPOGLES Software Authors: Mueller, Juergen Cited in: 2 Publications (1987–1989) Related Software: SbReve2; InvX Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
ANDP Software Authors: Dafa, Li; Peifa, Jia Cited in: 1 Publication (1997) Related Software: – Main Fields: Computer science (68-XX)
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)
clpb Software Authors: Triska, Markus Cited in: 1 Publication (2016) Related Software: SWI-Prolog; SICStus; DIMACS; Prolog; SATO; Walksat; … Main Fields: Computer science (68-XX)
Cultivate Software Authors: Daniel Speicher Cited in: 0 Publications Related Software: Simian; CloneDifferentiator; ARIES; JTransformer Main Fields: –
FASILL Software Authors: Julián-Iranzo, Pascual; Moreno, Ginés; Riaza, José Antonio Cited in: 1 Publication (2020) Related Software: FRIL; XPath; Likelog; SPARQL; XQuery Main Fields: Computer science (68-XX)
GULP Software Authors: Covington, M. A. Cited in: 1 Publication (2014) Related Software: LibShortText; TimeML; HunPos; C4.5; SRILM; Prolog; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
KEIM Software Authors: Huang, X., Kerber, M., Kohlhase, M., Melis, E., Nesmith, D., Richts, J., Siekmann, J. Cited in: 1 Publication (2005) Related Software: OMEGA; Leo; MKRP Main Fields: Computer science (68-XX)
KNAML Software Authors: Streeter, Gordon; Potter, Andrew Cited in: 1 Publication (2004) Related Software: – Main Fields: Computer science (68-XX)
Nuprl-Light Software Authors: Hickey, Jason J. Cited in: 1 Publication (1997) Related Software: Cambridge LCF; Nuprl; Isabelle Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
2P-Kt Software Authors: Giovanni Ciatto, Roberta Calegari, Andrea Omicini Cited in: 0 Publications Related Software: B-Prolog; Ciao; SICStus; SWI-Prolog; XSB; Kotlin; … Main Fields: –
Pleiad Software Authors: Karantasis KI, Polychronopoulos ED. Cited in: 1 Publication (2014) Related Software: Chapel; SnuCL; JCuda; OpenCL; MPI; CUDA Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
QUEST Software Authors: Frank, Lawrence R.; Galinsky, Vitaly L. Cited in: 1 Publication (2016) Related Software: – Main Fields: Statistical mechanics, structure of matter (82-XX); Biology and other natural sciences (92-XX)
rtt Software Authors: Holmes, M.Randall Cited in: 1 Publication (2003) Related Software: ML Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Sbuqa Software Authors: Yarmohammadi, Mahsa A.; Shamsfard, Mehrnoush; Yarmohammadi, Mahshid A.; Rouhizadeh, Masoud Cited in: 1 Publication (2008) Related Software: – Main Fields: Computer science (68-XX)
SoftWrAP Software Authors: Ellis R. Giles; Kshitij Doshi; Peter Varman V Cited in: 1 Publication (2019) Related Software: Proteus; ThyNVM; NOVA; FPTree; WORT; DudeTM; … Main Fields: Computer science (68-XX)
SUTRA Software Authors: Dershowitz, Nachum; Mitra, Subrata; Sivakumar, G. Cited in: 1 Publication (1990) Related Software: – Main Fields: Computer science (68-XX)
tessellation Software Authors: Jeltema, Tesla; Profumo, Stefano; Ulbricht, Jaryd F. Cited in: 1 Publication (2021) Related Software: – Main Fields: Quantum theory (81-XX)
clam3 Software Authors: theoremprover-museum Cited in: 0 Publications Related Software: – Main Fields: –