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)