• UCI-ml

  • Referenced in 3403 articles [sw04074]
  • Repository, please visit our About page. For information about citing data sets in publications, please ... Repository is a collection of databases, domain theories, and data generators that are used...
  • QETLAB

  • Referenced in 65 articles [sw20493]
  • theory. While there are many quantum information theory toolboxes that allow the user to perform...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • development of formal theories in a wide variety of disciplines, deductive information systems for these ... Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Second Edition, Kluwer Academic ... letter grades for any course. For more information about ETPS, you can download the report...
  • ITIP

  • Referenced in 37 articles [sw17966]
  • nonnegativity of Shannon’s information measures. The theory is described in [2]. We also refer ... note that there exist established information inequalities which cannot be proved by ITIP. These...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT). LEGO ... that of informal mathematics. The higher-order power of its underlying type theories...
  • TPS

  • Referenced in 73 articles [sw00973]
  • development of formal theories in a wide variety of disciplines, deductive information systems for these...
  • StratiGraph

  • Referenced in 21 articles [sw08331]
  • their associated system pencils. The stratification theory provides information for a deeper understanding...
  • Knot Atlas

  • Referenced in 96 articles [sw11550]
  • encyclopedia rather than atlas, dedicated to knot theory. It and its predecessor were created ... site contains, ”beautiful illustrations and detailed information about knots,” as does KnotPlot.com.[1] According ... knot atlas (collection of maps), theory database, knowledge base, and ”a home for some computer...
  • AutoGraphiX

  • Referenced in 142 articles [sw06137]
  • system designed to help researchers in graph theory. The main purpose ... invariant). From this main capability, some information on the extremal graphs could be extracted...
  • dit

  • Referenced in 4 articles [sw29392]
  • Python package for discrete information theory. Information theory is a powerful extension to probability ... comparable across systems and scales. Information theory was originally developed to quantify how quickly...
  • FEYNMAN

  • Referenced in 5 articles [sw06056]
  • protocols from quantum computation and quantum information theory. However, despite the successful demonstration of several ... this kind of studies in quantum information theory, here we present an extension...
  • Graffiti.pc

  • Referenced in 16 articles [sw07152]
  • that produce conjectures in graph theory. Pointers to information about the programs and to selected...
  • FOIL

  • Referenced in 31 articles [sw24694]
  • system that uses information in a collection of relations to construct theories expressed...
  • PGSolver

  • Referenced in 36 articles [sw14051]
  • perfect information and infinite duration that have important applications in automata theory and decision procedures...
  • iPhos-PseEvo

  • Referenced in 17 articles [sw23953]
  • Incorporating Evolutionary Information into General PseAAC via Grey System Theory. Protein phosphorylation plays a critical ... information into the general pseudo amino acid composition (PseAAC) via the grey system theory...
  • NARROMI

  • Referenced in 6 articles [sw24066]
  • equation-based recursive optimization (RO) and information theory-based mutual information (MI). In the proposed...
  • Wirtinger Flow

  • Referenced in 110 articles [sw34175]
  • Phase Retrieval via Wirtinger Flow: Theory and Algorithms. We study the problem of recovering ... rigorously allow the exact retrieval of phase information from a nearly minimal number of random ... terms of computational and data resources. In theory, a variation on this scheme leads...
  • IDTxl

  • Referenced in 5 articles [sw25603]
  • from multivariate time series data using information theory. IDTxl provides functionality to estimate the following ... entropy (TE)/Granger causality (GC), multivariate mutual information (MI), bivariate TE/GC, bivariate...
  • LiE

  • Referenced in 165 articles [sw01075]
  • theoretic nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups ... operations and functions, and which give background information about Lie group theoretical concepts and about...
  • LMFDB

  • Referenced in 162 articles [sw07249]
  • sources. L-functions are ubiquitous in number theory and have applications to mathematical physics ... Conjecture. L-functions arise from and encode information about a number of mathematical objects...