• 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...