×

Found 63 Software Packages (Results 1–63)

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: