
UCIml
 Referenced in 3266 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 60 articles
[sw20493]
 theory. While there are many quantum information theory toolboxes that allow the user to perform...

ETPS
 Referenced in 158 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 higherorder power of its underlying type theories...

TPS
 Referenced in 71 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 92 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 141 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...

iPhosPseEvo
 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]
 equationbased recursive optimization (RO) and information theorybased mutual information (MI). In the proposed...

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

Wirtinger Flow
 Referenced in 101 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...

LiE
 Referenced in 160 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...

InfoMating
 Referenced in 4 articles
[sw31586]
 InfoMating: Nonrandom mating and Information Theory...

PGSolver
 Referenced in 29 articles
[sw14051]
 perfect information and infinite duration that have important applications in automata theory and decision procedures...