Goto Chapter: Top 1 2 3 Bib Ind

[Top of Book] [Contents] [Next Chapter]

itap

Information Theoretic Achievability Prover

1.0

25/08/2015

Jayant Apte
Email: jayant91089@gmail.com
Homepage: https://sites.google.com/site/jayantapteshomepage/
Address:
Department of Electrical and Computer Engineering
Drexel University
Philadelphia, PA 19104

John Walsh
Email: jwalsh@coe.drexel.edu
Homepage: http://www.ece.drexel.edu/walsh/web/
Address:
Department of Electrical and Computer Engineering
Drexel University
Philadelphia, PA 19104

Contents

3.1 Available functions

  3.1-1 proverep
  3.1-2 proverate
  3.1-3 proveregion
  3.1-4 proverate_groebner
  3.1-5 provess
  3.1-6 DisplayCode

3.2 A catalog of examples

  3.2-1 FanoNet
  3.2-2 NonFanoNet
  3.2-3 VamosNet
  3.2-4 U2kNet
  3.2-5 ButterflyNet
  3.2-6 Subspace5
  3.2-7 BenalohLeichter
  3.2-8 Threshold
  3.2-9 HyperedgeNet1
  3.2-10 HyperedgeNet2

[Top of Book] [Contents] [Next Chapter]

Goto Chapter: Top 1 2 3 Bib Ind

generated by GAPDoc2HTML