ETPS Software Authors: Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi Referenced in: 156 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. Referenced 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. Referenced in: 75 Publications (1990–2022) Related Software: TPTP; ETPS; HOL; LEO-II; PVS; Nuprl; … 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 Referenced in: 69 Publications (1992–2022) Related Software: GADGET; MPI; DualSPHysics; SPHysics; HOT; automan; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
CLEAN Software Authors: Plasmeijer, M.J. Referenced 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 Referenced 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)
CFTs4D Software Authors: Cuomo, Gabriel Francisco; Karateev, Denis; Kravchuk, Petr Referenced 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)
leanCoP Software Authors: Jens Otten Referenced in: 31 Publications (2001–2021) Related Software: TPTP; VAMPIRE; FEMaLeCoP; E Theorem Prover; MaLeCoP; ileanCoP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
QMT Software Authors: Rabe, Florian Referenced 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)
Quantomatic Software Authors: Kissinger, Aleks Referenced in: 22 Publications (2009–2022) Related Software: PyZX; pytket; Jupyter; Matplotlib; NumPy; DisCoPy; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)
Isabelle/UTP Software Authors: Foster, Simon; Zeyda, Frank; Woodcock, Jim Referenced in: 17 Publications (2015–2021) Related Software: Circus; Isabelle/HOL; Z; 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 Referenced 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. Referenced 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)
EQP Software Authors: McCune, William Referenced in: 12 Publications (1997–2016) Related Software: OTTER; Waldmeister; Peers-mcd; TPTP; SPASS; SETHEO; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
MleanCoP Software Authors: Otten, Jens Referenced in: 12 Publications (2014–2021) Related Software: TPTP; QMLTP; leanCoP; nanoCoP; Isabelle/HOL; VAMPIRE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Juno-2 Software Authors: Allan Heydon; Greg Nelson Referenced 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 Referenced 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)
InvX Software Authors: H. Khoshnevisan; K. M. Sephton Referenced 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 Referenced 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é Referenced 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)
ELPI Software Authors: Dunchev C, Guidi F, Coen CS, Tassi E Referenced in: 9 Publications (2015–2021) Related Software: Coq; Agda; Abella; Teyjus; LCF; Beluga; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CLP(Flex) Software Authors: J. Coelho; M. Florido Referenced in: 7 Publications (2007–2021) Related Software: Theorema; Mathematica; Veriflog; XCentric; Maude; ASF+SDF; … 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 Referenced 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. Referenced 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 Referenced in: 7 Publications (1990–1996) Related Software: Prolog Main Fields: Computer science (68-XX)
XCentric Software Authors: Coelho, J., Florido, M. Referenced in: 5 Publications (2013–2021) Related Software: CLP(Flex); Maude; Mathematica; Theorema; Veriflog; ASF+SDF; … Main Fields: Mathematical logic and foundations (03-XX); Special functions (33-XX); Computer science (68-XX)
ALE Software Authors: Carpenter, B., G. Penn Referenced in: 3 Publications (1992–2005) Related Software: Grammar Matrix; LKB Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SNARK Software Authors: Stickel, M. Referenced 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 Referenced in: 4 Publications (2008–2018) Related Software: CLP(Flex); Theorema; Mathematica; XCentric; ASF+SDF; Tom; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
WaveSpect0 Software Authors: Chen, Shuo; Hong, Don; Shyr, Yu Referenced 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)
GLINTS Software Authors: María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña Referenced 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 Referenced in: 3 Publications (2019–2022) Related Software: BlueJ; GraphTheory; Mathchem; plantri; Colt; House of Graphs; … Main Fields: Combinatorics (05-XX); Biology and other natural sciences (92-XX)
LIGHT Software Authors: Ciortuz, Liviu Referenced in: 3 Publications (2002–2003) Related Software: – Main Fields: Computer science (68-XX)
Multiflex Software Authors: Savary, Agata Referenced 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 Referenced 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. Referenced in: 2 Publications (2008–2021) Related Software: Freshml; KANREN; miniKanren; leanTAP; 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 Referenced in: 2 Publications (2018–2019) Related Software: BioGRID; SPIDER2; STRINGdb; ANIMO; PRS; NET-SYNTHESIS; … Main Fields: Biology and other natural sciences (92-XX)
dalex Software Authors: Hubert Baniecki, Wojciech Kretowicz, Piotr Piatyszek, Jakub Wisniewski, Przemyslaw Biecek Referenced in: 0 Publications Related Software: InterpretML; AI Explainability 360; Python; Espresso; NIMEFI; Alibi Explain; … Main Fields: –
HighDimOut Software Authors: Cheng Fan Referenced in: 2 Publications (2018–2021) Related Software: R; countgmifs; bama; BMTAR; bayeslongitudinal; survexp.fr; … Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)
HOARD ATINF Software Authors: Caferra, Ricardo; Peltier, Nicolas; Puitg, François Referenced 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é Referenced 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 Referenced 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 Referenced in: 2 Publications (2021) Related Software: TensorLog; PyTorch; ProbLog; gl2vec; HIN2Vec; metapath2vec; … Main Fields: Computer science (68-XX)
SMCHR Software Authors: Duck, Gregory J. Referenced in: 2 Publications (2012–2018) Related Software: Smallfoot; CBMC; SLAyer; LLBMC; VeriFast; Predator Main Fields: Computer science (68-XX)
THEOPOGLES Software Authors: Mueller, Juergen Referenced 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 Referenced in: 1 Publication (1997) Related Software: – Main Fields: Computer science (68-XX)
Braga Method Software Authors: Larchey-Wendling, Dominique; Monin, Jean-François Referenced in: 1 Publication (2022) Related Software: CompCert; OCaml; Coq Main Fields: Mathematical logic and foundations (03-XX)
clpb Software Authors: Triska, Markus Referenced in: 1 Publication (2016) Related Software: SWI-Prolog; SICStus; DIMACS; Prolog; SATO; Walksat; … Main Fields: Computer science (68-XX)
Cultivate Software Authors: Daniel Speicher Referenced in: 0 Publications Related Software: Simian; CloneDifferentiator; ARIES; JTransformer Main Fields: –
FASILL Software Authors: Julián-Iranzo, Pascual; Moreno, Ginés; Riaza, José Antonio Referenced in: 1 Publication (2020) Related Software: FRIL; XPath; Likelog; SPARQL; XQuery Main Fields: Computer science (68-XX)
GULP Software Authors: Covington, M. A. Referenced 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. Referenced in: 1 Publication (2005) Related Software: OMEGA; Leo; MKRP Main Fields: Computer science (68-XX)
KNAML Software Authors: Streeter, Gordon; Potter, Andrew Referenced in: 1 Publication (2004) Related Software: – Main Fields: Computer science (68-XX)
Nuprl-Light Software Authors: Hickey, Jason J. Referenced 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 Referenced in: 0 Publications Related Software: B-Prolog; Ciao; SICStus; SWI-Prolog; XSB; Kotlin; … Main Fields: –
Pleiad Software Authors: Karantasis KI, Polychronopoulos ED. Referenced 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. Referenced 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 Referenced 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 Referenced in: 1 Publication (2008) Related Software: – Main Fields: Computer science (68-XX)
SoftWrAP Software Authors: Ellis R. Giles; Kshitij Doshi; Peter Varman V Referenced 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. Referenced in: 1 Publication (1990) Related Software: – Main Fields: Computer science (68-XX)
tessellation Software Authors: Jeltema, Tesla; Profumo, Stefano; Ulbricht, Jaryd F. Referenced in: 1 Publication (2021) Related Software: – Main Fields: Quantum theory (81-XX)
clam3 Software Authors: theoremprover-museum Referenced in: 0 Publications Related Software: – Main Fields: –