×

Found 193 Software Packages (Results 1–100)

Maude

Software Authors:   Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Maude team
Referenced in: 613 Publications (1984–2022)
Related Software: CafeOBJ; OBJ3; ELAN; Haskell; CASL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

OTTER

Software Authors:   Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel
Referenced in: 302 Publications (1988–2021)
Related Software: TPTP; Mace4; VAMPIRE; SPASS; E Theorem Prover; SETHEO; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX)

VAMPIRE

Software Authors:   Riazanov, Alexandre; Voronkov, Andrei
Referenced in: 259 Publications (1985–2021)
Related Software: TPTP; E Theorem Prover; SPASS; z3; Isabelle/HOL; OTTER; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Mace4

Software Authors:   William McCune
Referenced in: 222 Publications (1996–2022)
Related Software: Prover9; OTTER; TPTP; GAP; VAMPIRE; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

ELAN

Software Authors:   Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Referenced in: 105 Publications (1996–2020)
Related Software: Maude; CafeOBJ; OBJ3; Stratego; Haskell; ATERM; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Stratego

Software Authors:   Visser, Eelco
Referenced in: 74 Publications (2001–2022)
Related Software: Maude; ELAN; Tom; Haskell; ATERM; ASF+SDF; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

BABEL

Software Authors:   Mario Rodriguez-Artalejo
Referenced in: 69 Publications (1988–2013)
Related Software: Kernel-LEAF; TOY; Curry; ECCE; PAKCS; Miranda; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PROGRES

Software Authors:   Münch, Manfred; Schürr, Andy; Winter, Andreas J.
Referenced in: 49 Publications (1994–2020)
Related Software: VIATRA2; AGG; Fujaba; SPIN; DIEGO; Graph transformation benchmarks; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

REVE

Software Authors:   Pierre Lescanne
Referenced in: 67 Publications (1984–2018)
Related Software: RRL; AProVE; Tyrolean; CiME; Coq; NQTHM; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-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)

TOY

Software Authors:   F. J. López Fraguas, J. Sánchez Hernández
Referenced in: 54 Publications (2001–2020)
Related Software: BABEL; PAKCS; Haskell; Kernel-LEAF; Curry; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AGG

Software Authors:   Gabriele Taentzer
Referenced in: 40 Publications (2004–2021)
Related Software: GROOVE; PROGRES; VIATRA2; GrGen; AToM3; Henshin; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

CeTA

Software Authors:   Thiemann, René; Sternagel, Christian
Referenced in: 45 Publications (2009–2021)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; CoLoR; AProVE; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-XX)

K Prover

Software Authors:   Roşu, Grigore et.al
Referenced in: 46 Publications (2007–2022)
Related Software: Maude; K tool; z3; JavaFAN; MMT; K-Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Timbuk

Software Authors:   Thomas Genet; Yohan Boichut; Benoît Boyer; Valérie Viet Triem Tong; ..
Referenced in: 47 Publications (2001–2020)
Related Software: Maude; AVISPA; Isabelle; ELAN; Isabelle/HOL; OCaml; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Eraser

Software Authors:   Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.
Referenced in: 35 Publications (2000–2020)
Related Software: veriSoft; RacerX; Bandera; Java PathFinder; LOCKSMITH; Goldilocks; …
Main Fields: Computer science (68-XX)

ATERM

Software Authors:   Moreau, Pierre-Etienne; Zendra, Olivier
Referenced in: 41 Publications (2000–2011)
Related Software: Stratego; ELAN; Maude; ASF+SDF; CASL; CoFI; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

CiME

Software Authors:   Évelyne Contejean, Claude Marché, Andrei Paskevich, Xavier Urbain
Referenced in: 37 Publications (1997–2019)
Related Software: AProVE; Tyrolean; Coq; CeTA; CoLoR; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

CoLoR

Software Authors:   F. Blanqui, W. Delobel, S. Coupet-Grimal, S. Hinderer, A. Koprowski
Referenced in: 37 Publications (2006–2019)
Related Software: Coq; Isabelle/HOL; CeTA; AProVE; CiME; Tyrolean; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)

CCSTM

Software Authors:   N. G. Bronson, H. Cha., K. Olukotun
Referenced in: 34 Publications (2010)
Related Software:
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MU-TERM

Software Authors:   Salvador Lucas
Referenced in: 31 Publications (2005–2013)
Related Software: AProVE; Tyrolean; Maude; OBJ3; CiME; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Computer science (68-XX)

Polyp

Software Authors:   Jansson, P.; Jeuring, J.
Referenced in: 33 Publications (1999–2012)
Related Software: Haskell; Stratego; Coq; Agda; Maude; RepLib; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

APS-1

Software Authors:   Letichevskij, A.A.; Krivoj, S.L.
Referenced in: 29 Publications (1992–2017)
Related Software: APS; Archive Formal Proofs; cubicaltt; Pesca; Z; Minlog; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Ordinary differential equations (34-XX)

AToM3

Software Authors:   de Lara, Juan; Vangheluwe, Hans
Referenced in: 13 Publications (2002–2013)
Related Software: AGG; VIATRA2; DiaGen; PROGRES; VPM; SMART_; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Boolector

Software Authors:   Brummayer, Robert; Biere, Armin
Referenced in: 30 Publications (2010–2022)
Related Software: z3; SMT-LIB; Yices; STP; CVC4; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

JavaFAN

Software Authors:   Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
Referenced in: 30 Publications (2004–2018)
Related Software: Maude; K Prover; MMT; Java+ITP; ACL2; CafeOBJ; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

JPAX

Software Authors:   Havelund, Klaus; Roşu, Grigore
Referenced in: 21 Publications (2002–2022)
Related Software: Maude; Bandera; Java PathFinder; veriSoft; Java-MaC; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

STAR-CCM+

Software Authors:   CD-adapco; Pisaroni, M.; Sadi, R.; Lahaye, D.
Referenced in: 27 Publications (2008–2022)
Related Software: OpenFOAM; FLUENT; COMSOL; ANSYS; NumPy; SciPy; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

APS

Software Authors:   Letichevsky, A.A.; Kapitonova, J.V.; Konozenko, S.V.
Referenced in: 26 Publications (1993–2012)
Related Software: APS-1; hiCUDA; BSGP; GLift; CUDA; PARTHEO; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Group theory and generalizations (20-XX); Ordinary differential equations (34-XX)

DACTL

Software Authors:   John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, Ronan Sleep
Referenced in: 27 Publications (1987–2015)
Related Software: DIEGO; PROGRES; MONSTR; Miranda; CLEAN; PLT Redex; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

ProbView

Software Authors:   Lakshmanan, V.S., Leone, N., Ross, R. and Subrahmanian, V.S.
Referenced in: 11 Publications (2005–2018)
Related Software: ProTDB; MYSTIQ; PSQL; clusfind; flanagan; LingPipe; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

Tom

Software Authors:   Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles
Referenced in: 21 Publications (2006–2022)
Related Software: Stratego; Maude; ELAN; ASF+SDF; PORGY; GP 2; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Matchbox

Software Authors:   Waldmann, J.
Referenced in: 23 Publications (2005–2018)
Related Software: AProVE; Tyrolean; Haskell; TORPA; CiME; Jambox; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

MTT

Software Authors:   Durán, F., Lucas, S., Meseguer, J.
Referenced in: 25 Publications (2008–2022)
Related Software: Maude; AProVE; OBJ3; CafeOBJ; MU-TERM; Maude-NPA; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

COFFEE

Software Authors:   Fabio Luporini, Ana Lucia Varbanescu, Florian Rathgeber, Gheorghe-Teodor Bercea, J. Ramanujam, David A. Ham, Paul H.J. Kelly
Referenced in: 20 Publications (2016–2021)
Related Software: Firedrake; PETSc; TSFC; petsc4py; UFL; FEniCS; …
Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

CSI

Software Authors:   Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart
Referenced in: 22 Publications (2011–2021)
Related Software: Saigawa; CeTA; Tyrolean; CiME; Isabelle/HOL; Isabelle; …
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)

GrGen

Software Authors:   Geiß, Rubino; Batz, Gernot Veit; Grund, Daniel; Hack, Sebastian; Szalkowski, Adam
Referenced in: 15 Publications (2006–2020)
Related Software: GROOVE; AGG; PROGRES; Graph transformation benchmarks; Fujaba; GP 2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TIMBER

Software Authors:   Jagadish, H. V.; Al-Khalifa, Shurug; Chapman, Adriane; Lakshmanan, Laks V. S.; Nierman, Andrew; Paparizos, Stelios; Patel, Jignesh M.; Srivastava, Divesh; Wiwatwattana, Nuwee; Wu, Yuqing; Yu, Cong
Referenced in: 7 Publications (2002–2020)
Related Software: XPath; XQuery; DB2; MS SQL Server; PRIX; XMill; …
Main Fields: Computer science (68-XX)

K tool

Software Authors:   David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Roşu
Referenced in: 16 Publications (2010–2021)
Related Software: K Prover; Maude; z3; K-Maude; MMT; PLT Redex; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

TXL

Software Authors:   Cordy, James R.
Referenced in: 12 Publications (2005–2015)
Related Software: Stratego; ASF+SDF; ANTLR; JastAdd; Maude; RACR; …
Main Fields: Computer science (68-XX)

dpgb

Software Authors:   Manubens, Montserrat; Montes, Antonio
Referenced in: 16 Publications (2006–2019)
Related Software: SINGULAR; PGB; Maple; REDLOG; Risa/Asir; Magma; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)

MMT

Software Authors:   Chalub, Fabricio; Braga, Christiano
Referenced in: 13 Publications (2007–2019)
Related Software: Maude; K Prover; JavaFAN; PMaude; CafeOBJ; K tool; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ontop

Software Authors:   Roman Kontchakov; Martin Rezk; Mariano Rodríguez-Muro; Guohui Xiao; Michael Zakharyaschev
Referenced in: 13 Publications (2014–2021)
Related Software: MASTRO; SPARQL; LUBM; DBpedia; Datalog; Graal; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

sQueezeBF

Software Authors:   Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo
Referenced in: 16 Publications (2010–2021)
Related Software: Bloqqer; DepQBF; Nenofex; MiniSat; semprop; Quaffle; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

DDebugger

Software Authors:   Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
Referenced in: 11 Publications (2009–2017)
Related Software: Maude; Anima; Web-TLR; iJulienne; QuickCheck; Elf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Jambox

Software Authors:   Endrullis, J
Referenced in: 15 Publications (2006–2021)
Related Software: AProVE; Tyrolean; MU-TERM; Maude; Haskell; Matchbox; …
Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)

CARIBOO

Software Authors:   O. Fissore, I. Gnaedig, H. Kirchner
Referenced in: 14 Publications (2004–2012)
Related Software: Maude; AProVE; ELAN; MU-TERM; Tsukuba; REVE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DIASPORA

Software Authors:   Ramanath, Maya; Haritsa, Jayant R.
Referenced in: 14 Publications (2000–2009)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX)

PAGODA

Software Authors:   Wirsing, Martin; Denker, Grit; Talcott, Carolyn; Poggio, Andy; Briesemeister Linda
Referenced in: 12 Publications (2007–2015)
Related Software: Maude; KLAIM; Reo; Pirlo; SCEL; Jolie; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PORGY

Software Authors:   Maribel Fernandez; Hélène Kirchner
Referenced in: 14 Publications (2011–2020)
Related Software: GP 2; GROOVE; ELAN; Stratego; Haskell; PROGRES; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Sparkle

Software Authors:   de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus
Referenced in: 12 Publications (2002–2013)
Related Software: CLEAN; Haskell; Coq; EditorArrow; PVS; Isabelle/HOL; …
Main Fields: Computer science (68-XX)

AGREE

Software Authors:   Corradini, A., Duval, D., Echahed, R., Prost, F., Ribeiro, L.
Referenced in: 12 Publications (2015–2021)
Related Software: Verigraph; AGG; Henshin; GROOVE; MathOverflow; PORGY; …
Main Fields: Computer science (68-XX)

PRocH

Software Authors:   Cezary Kaliszyk; Josef Urban
Referenced in: 12 Publications (2013–2018)
Related Software: HOL Light; Flyspeck; E Theorem Prover; Mizar; TPTP; z3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

K-Maude

Software Authors:   Şerbănuţă, Traian Florin; Roşu, Grigore
Referenced in: 10 Publications (2010–2021)
Related Software: Maude; K Prover; K tool; OBJ3; K-Java; Elf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Poly/ML

Software Authors:   David Matthews
Referenced in: 10 Publications (2011–2020)
Related Software: Isabelle; Isabelle/HOL; HOL; CakeML; kepler98; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

Slothrop

Software Authors:   Wehrman, I., Stump, A., Westbrook, E.M.
Referenced in: 11 Publications (2006–2018)
Related Software: mkbTT; AProVE; Tyrolean; KBCV; REVE; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Cardinal

Software Authors:   Azevedo, Francisco
Referenced in: 10 Publications (2007–2020)
Related Software: CPGraph; Z/EVES; Isabelle/HOL; Coq; CSPLib; CPLEX; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MOMENT2

Software Authors:   Artur Boronat; Peter Csaba Ölveczky
Referenced in: 9 Publications (2010–2016)
Related Software: Maude; ITP/OCL; Ptolemy; JavaFAN; Java+ITP; K Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RelBrauer

Software Authors:   Ciperiani, Mirela; Krashen, Daniel
Referenced in: 10 Publications (2011–2019)
Related Software: Magma; SageMath; PARI/GP; Macaulay2
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)

TORPA

Software Authors:   Zantema, H.
Referenced in: 9 Publications (2004–2011)
Related Software: AProVE; Matchbox; CiME; TPDB; Tsukuba; Jambox; …
Main Fields: Computer science (68-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)

LMNtal

Software Authors:   Ueda, Kazunori
Referenced in: 8 Publications (2005–2013)
Related Software: GHC; Janus; tccp; Esterel; CC-Pi; Oz; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Tecton

Software Authors:   Kapur, D.; Nie, X.; Musser, D. R.
Referenced in: 5 Publications (1994–2003)
Related Software: RRL; NQTHM; AFFIRM; Nuprl; LARCH; STL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

A3PAT

Software Authors:   Contejean, E., Paskevich, A., Urbain, X., Courtieu, P., Pons, O., Forest, J.
Referenced in: 8 Publications (2010–2017)
Related Software: CoLoR; CeTA; Isabelle/HOL; Coq; AProVE; Tyrolean; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Autowrite

Software Authors:   Durand, Irene
Referenced in: 8 Publications (2002–2014)
Related Software: MONA; Datalog; Treewidthlib; CPLEX; McCLIM; Timbuk
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Conditional Confluence

Software Authors:   Sternagel, Thomas; Middeldorp, Aart
Referenced in: 8 Publications (2014–2020)
Related Software: AProVE; Maude; Mace4; Prover9; Saigawa; CSI; …
Main Fields: Computer science (68-XX)

Gpd

Software Authors:   Emma Moore, Chris Wensley
Referenced in: 8 Publications (2002–2010)
Related Software: GAP; XMod; groupoids
Main Fields: History and biography (01-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX)

Java+ITP

Software Authors:   Sasse, R., Meseguer, J.
Referenced in: 7 Publications (2007–2013)
Related Software: Maude; JavaFAN; K Prover; ACL2; MMT; Centaur; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

selp

Software Authors:   Manuel Bichler, Michael Morak, Stefan Woltran
Referenced in: 8 Publications (2019–2022)
Related Software: Clingo; htd; eclingo; WASP; GI-log; Lpopt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TkWinHOL

Software Authors:   Långbacka, Thomas; Ruks̆ėnas, Rimvydas; von Wright, Joakim
Referenced in: 7 Publications (1995–2012)
Related Software: Isabelle; DiskPaxos; Tree Automata; Archive Formal Proofs; Collections; GUItar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

VMTL

Software Authors:   Schernhammer, F.; Gramlich, B.
Referenced in: 7 Publications (2010–2017)
Related Software: AProVE; Maude; MU-TERM; Jambox; MTT; Tyrolean; …
Main Fields: Computer science (68-XX)

Web-TLR

Software Authors:   Alpuente, María; Ballis, Demis; Espert, Javier; Romero, Daniel
Referenced in: 5 Publications (2011–2016)
Related Software: Maude; iJulienne; Anima; DDebugger; ChC 3; Hood; …
Main Fields: Mathematical logic and foundations (03-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)

Ctrl

Software Authors:   Kop, Cynthia; Nishida, Naoki
Referenced in: 7 Publications (2014–2021)
Related Software: KITTeL; z3; TcT; Maude; Yices; ARMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Globular

Software Authors:   Krzysztof Bar, Aleks Kissinger, Jamie Vicary
Referenced in: 6 Publications (2016–2022)
Related Software: GitHub; opetopy; HoTT; DisCoPy; pytket; PyZX; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

ITP/OCL

Software Authors:   Clavel, Manuel; Egea, Marina
Referenced in: 5 Publications (2011–2016)
Related Software: Maude; MOMENT2; CafeOBJ; Java+ITP; K Prover; Dist-Orc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

KOOL

Software Authors:   Hills, M., Rosu, G.
Referenced in: 6 Publications (2009–2015)
Related Software: K Prover; Maude; K tool; JavaFAN; K-Maude; OBJ3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

MathOptInterface.jl

Software Authors:   Benoit Legat, Oscar Dowson, Joaquim Dias Garcia, Miles Lubin
Referenced in: 5 Publications (2021–2022)
Related Software: JuMP; Julia; Mosek; Gurobi; SCS; ARPACK; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Hornlog

Software Authors:   Gallier, Jean H.; Raatz, Stan
Referenced in: 6 Publications (1987–1993)
Related Software: Ltur
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

iJulienne

Software Authors:   Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
Referenced in: 5 Publications (2014–2020)
Related Software: Maude; Web-TLR; Anima; DDebugger; ChC 3; ABETS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

IsaFoR

Software Authors:   Krauss, Alexander; Sternagel, Christian; Thiemann, René; Fuhs, Carsten; Giesl, Jürgen
Referenced in: 4 Publications (2011–2016)
Related Software: Isabelle/HOL; CeTA; CoLoR; Isabelle; Coq; Tyrolean; …
Main Fields: Computer science (68-XX)

logsumexp-softmax-tests

Software Authors:   Blanchard, Pierre; Higham, Desmond J.; Higham, Nicholas J.
Referenced in: 6 Publications (2021–2022)
Related Software: SciPy; FFC; UFC; UFL; GQTPAR; SyFi; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

mkbTT

Software Authors:   Winkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, Masahito
Referenced in: 6 Publications (2008–2015)
Related Software: Slothrop; Tyrolean; KBCV; REVE; AProVE; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SbReve2

Software Authors:   –
Referenced in: 6 Publications (1989–1995)
Related Software: RRL; NQTHM; AURA; OTTER; REVE; THEOPOGLES; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Nonassociative rings and algebras (17-XX)

Dist-Orc

Software Authors:   Musab AlTurki; José Meseguer
Referenced in: 5 Publications (2011–2015)
Related Software: Maude; JavaFAN; Java+ITP; K Prover; MOMENT2; K tool; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Flamel

Software Authors:   Trickey, H.
Referenced in: 3 Publications (1995–2019)
Related Software: MIMOLA; MAHA; PIPS; v2c; SamaTulyata; GitHub; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

Graal

Software Authors:   Jean-François Baget; Michel Leclère; Marie-Laure Mugnier; Swan Rocher; Clément Sipieter
Referenced in: 4 Publications (2017–2022)
Related Software: SPARQL; DBpedia; LUBM; Ontop; Datalog; RDFox; …
Main Fields: Computer science (68-XX)

JudoSTM

Software Authors:   Olszewski, M., Cutler, J., Steffan, J.G.
Referenced in: 3 Publications (2012–2022)
Related Software: NOrec; DiSTM; RingSTM; STAMP; AtomCaml; SAMOA; …
Main Fields: Computer science (68-XX)

MONSTR

Software Authors:   Banach, R.
Referenced in: 5 Publications (1995–1998)
Related Software: DACTL
Main Fields: Computer science (68-XX)

QuodLibet

Software Authors:   Wirth, Claus-Peter
Referenced in: 4 Publications (2000–2012)
Related Software: NQTHM; Oyster; CLAM; Lambda-Clam; Waldmeister; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SAFKASI

Software Authors:   D.S. Wallach, A.W. Appel, E.W. Felten
Referenced in: 3 Publications (2005–2015)
Related Software: PRISM; Binder; JFlow; Haskell; ML
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Anima

Software Authors:   Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
Referenced in: 4 Publications (2014–2016)
Related Software: Maude; Web-TLR; DDebugger; iJulienne; ChC 3; Julienne; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ARMor

Software Authors:   Zhao, L., Li, G., Sutter, B.D., Regehr, J.
Referenced in: 4 Publications (2013–2020)
Related Software: seL4; HOL; TrABin; HolBA; Cloc; BoogiePL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Cadmium

Software Authors:   Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J.
Referenced in: 4 Publications (2008–2017)
Related Software: MiniZinc; Gecode; G12; MINION; Sugar; CVC4; …
Main Fields: Computer science (68-XX)

CRSX

Software Authors:   Rose, K.H.; IBM
Referenced in: 3 Publications (2009–2011)
Related Software: Automath; Nominal Isabelle; PoplMark; Abella; Twelf; XQuery; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

D2MOPSO

Software Authors:   Noura Al Moubayed; Andrei Petrovski; John McCall
Referenced in: 4 Publications (2012–2015)
Related Software: MOEA/D; jMetal; SPEA2; WBMOAIS; AbYSS; DEMORS; …
Main Fields: Operations research, mathematical programming (90-XX)

DeltaCCS

Software Authors:   Lochau, Malte; Mennicke, Stephan; Baller, Hauke; Ribbeck, Lars
Referenced in: 3 Publications (2015–2016)
Related Software: VMC; Maude; MSTA; MultiVeStA; CPAchecker; ProMoVer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

gprof

Software Authors:   Fenlason J, Stallman R.
Referenced in: 4 Publications (2003–2016)
Related Software: Django; Python; Boost; Boost C++ Libraries; UCI-ml; Voldipar; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

GReAT

Software Authors:   Daniel Balasubramanian, Anantha Narayanan, Christopher van Buskirk, Gabor Karsai
Referenced in: 3 Publications (2012–2016)
Related Software: VMQL; GGL; RuleMerger; gSpan; AToM3; Maude; …
Main Fields: Computer science (68-XX)