
UCIml
 Referenced in 3451 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 161 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 108 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 75 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...

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

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

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

LMFDB
 Referenced in 169 articles
[sw07249]
 sources. Lfunctions are ubiquitous in number theory and have applications to mathematical physics ... Conjecture. Lfunctions arise from and encode information about a number of mathematical objects...

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