×

Found 94 Software Packages (Results 1–94)

ACL2

Software Authors:   Matt Kaufmann, Strother Moore
Referenced in: 276 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; PVS; HOL; Isabelle; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)

LCF

Software Authors:   Milner, Robin
Referenced in: 155 Publications (1972–2022)
Related Software: Coq; ML; HOL; Isabelle; Nuprl; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)

Isar

Software Authors:   Makarius Wenzel
Referenced in: 143 Publications (2000–2021)
Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

RRL

Software Authors:   D.Kapur; H.Zhang
Referenced in: 48 Publications (1985–2019)
Related Software: NQTHM; REVE; OTTER; SPIKE; PVS; Tecton; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

MaLARea

Software Authors:   Urban, Josef
Referenced in: 49 Publications (2007–2021)
Related Software: E Theorem Prover; Mizar; VAMPIRE; TPTP; MPTP 0.2; MaLeCoP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

GEX

Software Authors:   Gao, X.-S., et al.
Referenced in: 30 Publications (1996–2020)
Related Software: GeoGebra; JGEX; GeoProof; GEOTHER 1.1; GeoThms; GCLC; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)

EasyCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Heraud, Sylvain; Béguelin, Santiago Zanella
Referenced in: 32 Publications (2011–2021)
Related Software: Coq; F*; CryptHOL; Isabelle/HOL; AVISPA; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

HR

Software Authors:   Colton, Simon
Referenced in: 27 Publications (2002–2022)
Related Software: GRAFFITI; OTTER; Mace4; TPTP; AutoGraphiX; GAP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

HOLyHammer

Software Authors:   Kaliszyk, Cezary; Urban, Josef
Referenced in: 26 Publications (2014–2021)
Related Software: HOL Light; Mizar; Flyspeck; Isabelle/HOL; E Theorem Prover; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

MetaPRL

Software Authors:   Jason Hickey, Alexey Nogin, Eli Barzilay
Referenced in: 25 Publications (2000–2018)
Related Software: Coq; Nuprl; PVS; Agda; HOL; ML; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

RSat

Software Authors:   Knot Pipatsrisawat; Adnan Darwiche
Referenced in: 18 Publications (2008–2016)
Related Software: MiniSat; Chaff; PicoSAT; BerkMin; SATzilla; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

E-Darvin

Software Authors:   Baumgartner, Peter; Pelzer, Björn; Tinelli, Cesare; Alexander Fuchs; Hans de Nivelle
Referenced in: 19 Publications (2006–2021)
Related Software: Darwin; Mace4; E Theorem Prover; TPTP; iProver; OTTER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

dedukti

Software Authors:   Mathieu Boespflug, Ronan Saillard, François Thiré, Gaspard Férey
Referenced in: 17 Publications (2012–2021)
Related Software: Coq; Zenon; FoCaLiZe; PVS; HOL Light; TPTP; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

TAMARIN

Software Authors:   Meier, S., Schmidt, B., Cremers, C., Basin, D.
Referenced in: 18 Publications (2015–2021)
Related Software: AVISPA; Maude-NPA; Akiss; Maude; ProVerif; Apte; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MathWeb

Software Authors:   Zimmer, Jürgen; Kohlhase, Michael
Referenced in: 16 Publications (2000–2016)
Related Software: TPTP; OTTER; PVS; Nuprl; TRAMP; tptp2X; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Ordinary differential equations (34-XX)

SamIam

Software Authors:   Adnan Darwiche; Keith Cascio
Referenced in: 15 Publications (2002–2021)
Related Software: R; bnlearn; BayesNetBP; ggplot2; gRain; qgraph; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

CoqHammer

Software Authors:   Czajka, Łukasz; Kaliszyk, Cezary
Referenced in: 17 Publications (2017–2021)
Related Software: Coq; E Theorem Prover; Isabelle/HOL; Mizar; TPTP; VAMPIRE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX)

Leo-III

Software Authors:   Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph
Referenced in: 16 Publications (2015–2021)
Related Software: Satallax; TPTP; Isabelle/HOL; E Theorem Prover; Sledgehammer; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

MMP/Geometer

Software Authors:   Gao, Xiao-Shan; Lin, Qiang
Referenced in: 14 Publications (2004–2021)
Related Software: GEX; GEOTHER 1.1; GCLC; GeoView; GeoThms; Cinderella; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-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)

EQP

Software Authors:   McCune, William
Referenced 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)

SRASS

Software Authors:   Sutcliffe, Geoff; Puzis, Yury
Referenced in: 12 Publications (2007–2019)
Related Software: E Theorem Prover; TPTP; MaLARea; VAMPIRE; OTTER; Flyspeck; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ivy

Software Authors:   McMillan, K.L., Padon, O.
Referenced in: 10 Publications (2017–2021)
Related Software: Ivy; z3; nuXmv; Verdi; Dafny; googletest; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AKIRA

Software Authors:   Pezzulo, Giovanni; Calvi, Gianguglielmo
Referenced in: 10 Publications (2005–2011)
Related Software: CUMODP; CoCoA; DIANE; SLEUTH
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Field theory and polynomials (12-XX)

TacticToe

Software Authors:   Gauthier, T., Kaliszyk, C., Urban, J.
Referenced in: 10 Publications (2017–2021)
Related Software: E Theorem Prover; MaLeCoP; FEMaLeCoP; HOL; Coq; ENIGMA; …
Main Fields: Computer science (68-XX)

VeriFun

Software Authors:   Christoph Walther; Stephan Schweitzer
Referenced in: 10 Publications (2005–2017)
Related Software: ACL2; Haskell; Coq; Isabelle/HOL; SPIKE; AProVE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

AURA

Software Authors:   Smith, B.T.
Referenced in: 9 Publications (1984–1996)
Related Software: OTTER; NQTHM; RRL; SbReve2; Roo
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Omega-ANTS

Software Authors:   Benzmüller, Christoph; Sorge, Volker
Referenced in: 9 Publications (2001–2008)
Related Software: OMEGA; LOUI; TRAMP; Leo; TPTP; MBase; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

RealPlan

Software Authors:   Srivastava, Biplav; Kombhampati, Subbarao; Do, Minh B.
Referenced in: 9 Publications (2001–2008)
Related Software: Graphplan; STAN; CPlan; Optiplan; CPLEX; SAPA; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-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)

Consit

Software Authors:   Danicic, S.; Fox, C.; Harman, M.; Hierons, R.
Referenced in: 5 Publications (2005–2010)
Related Software: ASTREE; CSSV; TVLA; Bogart; FermaT; CodeSurfer
Main Fields: Computer science (68-XX)

EVES

Software Authors:   Sentot Kromodimoeljo; Bill Pase; Mark Saaltink; Dan Craigen; Irwin Meisels
Referenced in: 7 Publications (1993–2006)
Related Software: IMPS; PVS; HOL; NQTHM; CVC; Analytica; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ASPIER

Software Authors:   Chaki, S. ;Datta, A.
Referenced in: 5 Publications (2011–2017)
Related Software: EasyCrypt; NAXOS; Spi2Java; HMQV; ZKPDL; MJ; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

LegalRuleML

Software Authors:   Lam, Ho-Pun; Hashmi, Mustafa; Athan, Tara; Governatori, Guido; Palmirani, Monica; Paschke, Adrian; Wyner, Adam
Referenced in: 4 Publications (2017–2020)
Related Software: GitHub; LogiKEy; PLM; embed_modal; Leo-III; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Theoryguru

Software Authors:   Mulligan, Casey B.; Davenport, James H.; England, Matthew
Referenced in: 6 Publications (2018–2021)
Related Software: SATzilla; RegularChains; QEPCAD; MaLARea; MaSh; Scikit; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

Bellerophon

Software Authors:   Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon; Platzer, André
Referenced in: 5 Publications (2017–2022)
Related Software: KeYmaera X; KeYmaera; SpaceEx; Isabelle/HOL; ModelPlex; dReach; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

EPGY

Software Authors:   Richard Sommer; Gregory Nuckols
Referenced in: 3 Publications (2001–2020)
Related Software: LPL software; REDUCE; OTTER; Isabelle/HOL; Markdown; webLurch; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

anthem

Software Authors:   Lifschitz, V., Lühne, P., Schaub, T.
Referenced in: 3 Publications (2019–2020)
Related Software: Gringo; TPTP; VAMPIRE; Smodels
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Aximo

Software Authors:   Richards, S., M. Sadrzadeh
Referenced in: 4 Publications (2009–2016)
Related Software: DEMO; Pesca
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

DeReS

Software Authors:   Cholewinski, P., Marek, V., Truszczynski, M.
Referenced in: 2 Publications (2019–2021)
Related Software: Datalog; CUDA; dl2asp; fCube; MiniSat; ILTP
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FOOL

Software Authors:   Kotelnikov, Evgenii; Kov'acs, Laura; Voronkov, Andrei
Referenced in: 4 Publications (2015–2021)
Related Software: TPTP; Sledgehammer; SMT-LIB; TLAPS; Satallax; QBFEVAL; …
Main Fields: Computer science (68-XX)

IsaFoL

Software Authors:   Blanchette, J.C., Fleury, M., Schlichtkrull, A., Traytel, D.
Referenced in: 4 Publications (2016–2018)
Related Software: Archive Formal Proofs; Isabelle/HOL; Completeness theorem; Sledgehammer; Isabelle; FOL Fitting; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

jMocha

Software Authors:   Alur, R.; de Alfaro, L.; Grosu, R.; Henzinger, T.; Thomas, A.; Kang, M.; Kirsch, C.; Majumdar, R.; Mang, F.; Wang, B. -Y.
Referenced in: 4 Publications (2008–2021)
Related Software: MOCHA; MCMAS; MCMAS-SLK; VerICS; MCK; CUDD; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LogiKEy

Software Authors:   Christoph Benzmüller, Xavier Parent, Leendert van der Torre
Referenced in: 4 Publications (2020–2022)
Related Software: Isabelle/HOL; PLM; LegalRuleML; embed_modal; Leo-III; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MATHsAiD

Software Authors:   Bundy, A., McCasland, R.
Referenced in: 4 Publications (2007–2019)
Related Software: IsaPlanner; Isabelle/HOL; Theorema; HR; Oyster; CLAM; …
Main Fields: Computer science (68-XX)

Monotonox

Software Authors:   Claessen, Koen; Lillieström, Ann; Smallbone, Nicholas
Referenced in: 4 Publications (2011–2013)
Related Software: HOL Light; TPTP; HOL; Kodkod; Isabelle/HOL; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PyZX

Software Authors:   Kissinger, Aleks; van de Wetering, John
Referenced in: 4 Publications (2019–2022)
Related Software: Quantomatic; pytket; GitHub; Jupyter; Matplotlib; NumPy; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-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)

SOFT-CBR

Software Authors:   Aggour, Kareem S.; Pavese, Marc; Bonissone, Piero P.; Cheetham, William E.
Referenced in: 4 Publications (2001–2004)
Related Software:
Main Fields: Computer science (68-XX)

Beagle

Software Authors:   Baumgartner, Peter; Bax, Joshua; Waldmann, Uwe
Referenced in: 3 Publications (2015–2020)
Related Software: z3; SIMPLIFY; TPTP; CVC4; SMT-LIB; Boogie; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Caper

Software Authors:   Dinsdale-Young, Thomas; da Rocha Pinto, Pedro; Andersen, Kristoffer Just; Birkedal, Lars
Referenced in: 3 Publications (2017–2021)
Related Software: Viper; VeriFast; HACL*; TacticToe; GRASShopper; Infer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FAME

Software Authors:   Zhao, Yizheng; Schmidt, Renate A.
Referenced in: 3 Publications (2018–2021)
Related Software: LETHE; BioPortal
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HoTTSQL

Software Authors:   Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu
Referenced in: 3 Publications (2018–2021)
Related Software: Coq; Cubical agda; RedPRL; cubicaltt; Idris; Lean; …
Main Fields: Computer science (68-XX)

Imandra

Software Authors:   Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
Referenced in: 3 Publications (2020–2021)
Related Software: Zeno; SMT-LIB; VAMPIRE; CVC4; AVATAR; eThor; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PLM

Software Authors:   Daniel Kirchner
Referenced in: 3 Publications (2020)
Related Software: Isabelle/HOL; LogiKEy; LegalRuleML; embed_modal; Leo-III; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Valigator

Software Authors:   Henzinger, Thomas A.; Hottelier, Thibaud; Kovács, Laura
Referenced in: 3 Publications (2008–2010)
Related Software: Scala; Mathematica; z3; JAMPACK; ABC; JAMA; …
Main Fields: Computer science (68-XX)

Aber-OWL

Software Authors:   Robert Hoehndorf, Luke Slater, Paul N Schofield, Georgios V Gkoutos
Referenced in: 1 Publication (2016)
Related Software: Galaxy; Ontobee; WebProtege; BioPortal; JavaScript; EDAM Browser; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

caspo

Software Authors:   Santiago Videla, Julio Saez-Rodriguez, Carito Guziolowski, Anne Siegel
Referenced in: 2 Publications (2021–2022)
Related Software: Clingo; CoLoMoTo; BioLQM; GitHub; BoolNet; JBool
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Biology and other natural sciences (92-XX)

Clafer

Software Authors:   –
Referenced in: 2 Publications (2017–2018)
Related Software: FAT; fmp2rsm; MTBDD; JFLAP; VATA
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CLProver

Software Authors:   Nalon, Cláudia; Zhang, Lan; Dixon, Clare; Hustadt, Ullrich
Referenced in: 2 Publications (2014–2015)
Related Software: TATL; 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)

Equinox

Software Authors:   Claessen, Koen
Referenced in: 2 Publications (2011–2018)
Related Software: AVATAR; DRAT-trim; iProver; PicoSAT; Satallax; Prover9; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FOL_Harrison

Software Authors:   Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
Referenced in: 2 Publications (2018)
Related Software: Verified Prover; Archive Formal Proofs; FOL Fitting; Superposition Calculus; Completeness theorem; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FORMULA 2.0

Software Authors:   Jackson, Ethan K.; Schulte, Wolfram
Referenced in: 2 Publications (2013–2016)
Related Software: ATL; MOMENT2; VIDEAS; Maude; HOL-OCL; AGG; …
Main Fields: Computer science (68-XX)

GKC

Software Authors:   Tammet, Tanel
Referenced in: 2 Publications (2019–2021)
Related Software: VAMPIRE; ENIGMA; AVATAR; HOGWILD; DeepMath; PyTorch; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GROVER

Software Authors:   Barker-Plummer, Dave; Bailin, Sidney C.
Referenced in: 2 Publications (2002–2009)
Related Software: Hyperproof; Dr.Doodle; CafePie; CafeOBJ; Vivid
Main Fields: Computer science (68-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)

jSMTLIB

Software Authors:   David R. Cok
Referenced in: 0 Publications
Related Software: Dafny; JML; Frama-C; Why3; Daikon; SIMPLIFY; …
Main Fields:

Logtk

Software Authors:   Cruanes, S.
Referenced in: 2 Publications (2018–2020)
Related Software: AVATAR; Superposition Calculus; Locales; CeTA; Isabelle/jEdit; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MNiBLoS

Software Authors:   Vidal, Amanda
Referenced in: 2 Publications (2016–2019)
Related Software: Fuzzydl; z3; SMT-LIB; Yices
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ordered_Resolution_Prover

Software Authors:   Anders Schlichtkrull; Jasmin Christian Blanchette; Dmitriy Traytel; Uwe Waldmann
Referenced in: 2 Publications (2001–2020)
Related Software: Robinson arithmetic; Saturation_Framework; Nested Multisets; AVATAR; Logtk; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Russell

Software Authors:   Vlasov, D.Yu.
Referenced in: 2 Publications (2011–2020)
Related Software: Metamath; GitHub; Smm
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Smt-Switch

Software Authors:   Mann, Makai; Wilson, Amalee; Zohar, Yoni; Stuntz, Lindsey; Irfan, Ahmed; Brown, Kristopher; Donovick, Caleb; Guman, Allison; Tinelli, Cesare; Barrett, Clark
Referenced in: 1 Publication (2021)
Related Software: googletest; z3; PySMT; MathSAT5; Cython; SMT-LIB; …
Main Fields: Computer science (68-XX)

yOWL

Software Authors:   Villanueva-Rosales, N.; Dumontier, M.
Referenced in: 0 Publications
Related Software: FOAM; MAFRA; BioKleisli; Bio2RDF; UniProt; BLAST; …
Main Fields:

Abstract Soundness

Software Authors:   Jasmin Christian Blanchette; Andrei Popescu; Dmitriy Traytel
Referenced in: 1 Publication (2018)
Related Software: FOL_Harrison; Propositional Resolution; Incredible Proof Machine; Verified Prover; Lambda Free RPOs; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CGM-Tool

Software Authors:   Mai Chi Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
Referenced in: 1 Publication (2020)
Related Software: OptiMathSAT; PyLMT; GitHub; vZ; SIMPLY; MathSAT5; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

CoRg

Software Authors:   Claudia Schon, Sophie Siebert, Frieder Stolzenburg
Referenced in: 0 Publications
Related Software: Adimen-SUMO; KNEWS; YAGO; BabelNet; WordNet; ConceptNet Numberbatch; …
Main Fields:

DARR

Software Authors:   Lupea, Mihaiela
Referenced in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

DC2

Software Authors:   Ivancic, F., Balakrishnan, G., Gupta, A., et al.
Referenced in: 0 Publications
Related Software: DDVerify; CBMC; CPAchecker; BLAST
Main Fields:

expansion-network

Software Authors:   Réda, Clémence; Wilczyński, Bartek
Referenced in: 1 Publication (2020)
Related Software: MaBoSS; REDfly; GitHub; Python; Ginsim; z3; …
Main Fields: Biology and other natural sciences (92-XX)

GEOPAR

Software Authors:   Braude, Eric; Abdyldayev, Satbek
Referenced in: 1 Publication (2018)
Related Software: GitHub; Python
Main Fields: Geometry (51-XX); Computer science (68-XX)

HEBO

Software Authors:   Cowen-Rivers, Alexander I.; Lyu, Wenlong; Tutunov, Rasul; Wang, Zhi; Grosnit, Antoine; Griffiths, Ryan Rhys; Maraval, Alexandre Max; Jianye, Hao; Wang, Jun; Peters, Jan; Bou-Ammar, Haitham
Referenced in: 1 Publication (2022)
Related Software: Hyperband; BoTorch; pymoo; RoBO; GPflowOpt; Nevergrad; …
Main Fields: Computer science (68-XX)

HolBA

Software Authors:   Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads
Referenced in: 1 Publication (2020)
Related Software: TrABin; Cloc; BoogiePL; ARMor; seL4; CakeML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

IKBT

Software Authors:   Zhang, Dianmu; Hannaford, Blake
Referenced in: 1 Publication (2019)
Related Software:
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX)

JPhyloRef

Software Authors:   Gaurav Vaidya, Nico Cellinese, Hilmar Lapp
Referenced in: 0 Publications
Related Software: ELK
Main Fields:

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)

LIGHT

Software Authors:   Zuo, Ming; Haarslev, Volker
Referenced in: 1 Publication (2013)
Related Software: FaCT++; SATLIB Benchmark Suite; Racer; Pellet
Main Fields: Computer science (68-XX)

ManyOpt

Software Authors:   Andrea Callia D'Iddio, Michael Huth
Referenced in: 0 Publications
Related Software: OSiL; BARON; LINDOGlobal; MathSAT; PySMT; MINOS; …
Main Fields:

MemSAT

Software Authors:   Torlak, E., Vaziri, M., Dolby, J.
Referenced in: 1 Publication (2012)
Related Software: Jinja Threads; Isabelle/HOL
Main Fields: Computer science (68-XX)

metaSMT

Software Authors:   Riener, H.
Referenced in: 1 Publication (2021)
Related Software: SMT Kit; BtorMC; lazybv2int; Pono; SBV; Smt-Switch; …
Main Fields: Computer science (68-XX)

PathMiner

Software Authors:   D.C. McShan, S. Rao, I. Shah
Referenced in: 1 Publication (2009)
Related Software: CPLEX
Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Pecan

Software Authors:   Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi
Referenced in: 0 Publications
Related Software: Python; Coq; Isabelle/HOL; Lean; SPIN; Walnut
Main Fields:

QuIt

Software Authors:   Gleiss, Bernhard; Kovács, Laura; Robillard, Simon
Referenced in: 1 Publication (2018)
Related Software: VAMPIRE; InvGen; CVC4; z3; TPTP; SMT-LIB
Main Fields: Computer science (68-XX)

TopicFlow

Software Authors:   Malik, S., Smith, A., Hawes, T., Papadatos, P., Li, J., Dunne, C., Shneiderman, B.
Referenced in: 0 Publications
Related Software: TweetViz; Evently; Python; TTLocVis
Main Fields:

Watson

Software Authors:   Randall Holmes, M.; Alves-Foss, Jim
Referenced in: 1 Publication (2001)
Related Software: IMPS; OTTER; LCF; Nuprl; HOL; ML; …
Main Fields: Computer science (68-XX)