LoTREC Software Authors: Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Sahade, Mohamad Cited in: 28 Publications (2001–2022) Related Software: E Theorem Prover; PVS; SPASS; MetTeL; MSPASS; TWB; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
MuPAD-Combinat Software Authors: Descouens, Francois Cited in: 24 Publications (2004–2019) Related Software: MuPAD; OEIS; SageMath; Mathematica; Maple; Maxima; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX)
SOLAR Software Authors: Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray Cited in: 19 Publications (1993–2022) Related Software: E Theorem Prover; SPASS; SCIFF; SBGN; MiniSat; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
TABLEAUX Software Authors: Catach, Laurent Cited in: 20 Publications (1991–2022) Related Software: Pesca; MOIN; LoTREC; SPASS; KRIPKE; QMLTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ModLeanTAP Software Authors: Beckert, Bernhard; Goré, Rajeev Cited in: 19 Publications (1998–2019) Related Software: leanTAP; MSPASS; KLMLean; CondLean; Coq; SETHEO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ACE Software Authors: Veigneau, S. Cited in: 13 Publications (1997–2010) Related Software: Maple; SF; MACSYMA; SYMMETRICA; SFA; SCHUR Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX)
HTab Software Authors: Guillaume Hoffmann; Carlos Areces Cited in: 11 Publications (2009–2020) Related Software: Spartacus; HyLoTab; HGen; HyLoRes; FaCT++; Sibyl; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
AdinKingRoichman Software Authors: Doron Zeilberger Cited in: 10 Publications (2011–2019) Related Software: OEIS Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Associative rings and algebras (16-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; AspectWerkz; AspectJ; Java-MaC; … Main Fields: Computer science (68-XX)
HyLoTab Software Authors: J. van Eijck Cited in: 7 Publications (2007–2020) Related Software: HTab; HyLoRes; Spartacus; Sibyl; GHC; HGen; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PERMS Software Authors: Fiedler, Bernd Cited in: 7 Publications (1997–2007) Related Software: Mathematica; Ricci; SYMMETRICA; MathTensor Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX)
TATL Software Authors: David, Amélie Cited in: 7 Publications (2009–2017) Related Software: CLProver; TRP++; SPASS; VAMPIRE Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
HOT Software Authors: Konrad, Karsten Cited in: 6 Publications (1998–2021) Related Software: TPS; Nuprl; CoqHammer; HOLyHammer; E Theorem Prover; Sledgehammer; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
KLMLean Software Authors: Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca Cited in: 5 Publications (2007–2021) Related Software: CondLean; leanTAP; ModLeanTAP; VINTE; NESCOND; CSLLean Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Cool Software Authors: Gorín, Daniel; Pattinson, Dirk; Schröder, Lutz; Widmann, Florian; Wißmann, Thorsten Cited in: 3 Publications (2014–2018) Related Software: LoTREC; leanK; E Theorem Prover; Racer; FaCT++; SPASS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
CSLLean Software Authors: Alenda, R., Olivetti, N., Pozzato, G.L. Cited in: 4 Publications (2010–2016) Related Software: KLMLean; CondLean; leanTAP; CSymLean Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MoMo Software Authors: De Nicola, Rocco; Loreti, Michele Cited in: 4 Publications (2005–2014) Related Software: KLAIM; SLMC; COPASI; Casaal; ULM; MRMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
OrientedSwaps Software Authors: E. Bisi, F. D. Cunden, S. Gibbons, D. Romik Cited in: 4 Publications (2020–2022) Related Software: – Main Fields: Combinatorics (05-XX); Special functions (33-XX); Probability theory and stochastic processes (60-XX)
TWB Software Authors: Abate, Pietro; Goré, Rajeev Cited in: 3 Publications (2009–2019) Related Software: LoTREC; MSPASS; SableCC; Lua; FaCT++; leanTAP Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PreDeLo Software Authors: Giordano, L., Gliozzi, V., Jalal, A., Olivetti, N. and Pozzato, G.L Cited in: 2 Publications (2015) Related Software: DysToPic; leanTAP Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
R-SATCHMO Software Authors: He, Lifeng; Chao, Yuyan; Itoh, Hidenori Cited in: 2 Publications (2004–2005) Related Software: SATCHMOREBID; I-SATCHMO; SATCHMO; TPTP; Coq Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MiniTab Software Authors: Lorenz, Sven Cited in: 2 Publications (1994–1996) Related Software: HARP; THOT Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MODPROF Software Authors: Happe, Jens Cited in: 2 Publications (2001) Related Software: VAMPIRE; P.rex; QUBE; E Theorem Prover; JProver; Racer; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
pdl-tableau Software Authors: R.A. Schmidt Cited in: 1 Publication (2011) Related Software: 3APL; 2APL; Jason; MSPASS; AgentSpeak; GOLOG; … Main Fields: Computer science (68-XX)
DARR Software Authors: Lupea, Mihaiela Cited in: 1 Publication (2002) Related Software: – Main Fields: Computer science (68-XX)
DysToPic Software Authors: Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca Cited in: 1 Publication (2015) Related Software: PreDeLo; leanTAP Main Fields: Computer science (68-XX)
genyoungtabtikz Software Authors: M. Fayers Cited in: 1 Publication (2020) Related Software: FGA; pgf; TikZ; GAP Main Fields: Group theory and generalizations (20-XX); Manifolds and cell complexes (57-XX)
Goeland Software Authors: Cailler, Julie; Rosain, Johann; Delahaye, David; Robillard, Simon; Bouziane, Hinde Lilia Cited in: 1 Publication (2022) Related Software: DISCOUNT; TPTP Main Fields: Computer science (68-XX)
HyLoBan Software Authors: Sustretov, Dmitry; Hoffmann, Guillaume; Areces, Carlos; Blackburn, Patrick Cited in: 1 Publication (2009) Related Software: HyLoTab; HTab; GHC Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Sofia Software Authors: Kovásznai, Gergely Cited in: 1 Publication (2005) Related Software: – Main Fields: Computer science (68-XX)
TGC Software Authors: Nguyen Cited in: 1 Publication (2010) Related Software: – Main Fields: Computer science (68-XX)
SpechtModule Software Authors: Jonathan Niño Cited in: 0 Publications Related Software: – Main Fields: –