Domain Tools

Welcome  Guest! Login/Join

Sponsored Ads
Google
Cheap VPS Hosting Registrant Search     Sponsor DomainTools
DomainTools Blog: Aftermarket.com Auction at T.R.A.F.F.I.C. Down Under - Posted 4 days ago - 4 comments

Main Content

Quantum Error-Correcting Codes Tables for: bounds on the minimum distance for given length and dimension; encoding circuits; bounds and circuits for cyclic QECC; bounds and circuits for CSS codes derived from weakly-self dual binary codes.


Uka.de DMOZ 41-50 of 61



Directory: Science / Math / Applications / Communication_Theory / Coding_Theory / Quantum_Codes
Title: Quantum Error-Correcting Codes
Description: Tables for: bounds on the minimum distance for given length and dimension; encoding circuits; bounds and circuits for cyclic QECC; bounds and circuits for CSS codes derived from weakly-self dual binary codes.
Location: http://iaks-www.ira.uka.de/home/grassl/QECC/
 
  
Directory: Science / Math / Applications / Communication_Theory / Coding_Theory / Tables
Title: Lower Bounds and Encoding Circuits for Weakly Self-dual CSS Codes
Description: A table of codes up to length 32 encoding up to 30 qubits.
Location: http://iaks-www.ira.uka.de/home/grassl/QECC/CSS/
 
  
Directory: Science / Math / Logic_and_Foundations / Meetings / Series
Title: TABLEAUX
Description: The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.
Location: http://i12www.ira.uka.de/TABLEAUX/
 
  
Directory: Science / Math / Logic_and_Foundations / Publications / Bibliographies
Title: Journal of Logic and Computation
Description: Unofficial bibliography as part of Hypertext Bibliography Project.
Location: http://liinwww.ira.uka.de/bibliography/Misc/HBP/JLOGC.html
 
  
Directory: Science / Math / Logic_and_Foundations / Software
Title: ModLeanTAP: Lean Tableau-based Deduction for Propositional Modal Logics
Description: Lean Tableau-based Deduction for Propositional Modal Logics. By Bernhard Beckert.
Location: http://i12www.ira.uka.de/modlean/
 
  
Directory: Science / Math / Number_Theory / Diophantine_Equations
Title: Bibliography on Hilbert's Tenth Problem
Description: Searchable, 400 items.
Location: http://liinwww.ira.uka.de/bibliography/Math/Hilbert10.html
 
  
Directory: Science / Math / Number_Theory / Publications / Bibliographies
Title: Bibliography on Computational Number Theory
Description: Compiled by Kevin McCurley, 1995. Now part of the Computer Science Bibliography Collection.
Location: http://liinwww.ira.uka.de/bibliography/Theory/computational.number.theory.html
 
  
Directory: Science / Math / Numerical_Analysis / Linear_Algebra
Title: Bibliography on Sparse Linear Systems and Related Areas of Computation
Description: With emphasis on Computational Linear Algebra, High Performance Computing, Mathematical Programming and Graph Theory. Searchable.
Location: http://liinwww.ira.uka.de/bibliography/Math/sparse.linear.systems.html
 
  
Directory: Science / Math / Numerical_Analysis / Wavelets
Title: Bibliographies on Wavelets
Description: Bibliographies on wavelets at the University of Karlsruhe.
Location: http://liinwww.ira.uka.de/bibliography/Theory/Wavelets/
 
  
Directory: Science / Math / Numerical_Analysis / Wavelets / Researchers
Title: Some Wavelet People
Description: A list of home pages, maintained by Andreas Klappenecker.
Location: http://iaks-www.ira.uka.de/home/klappi/people.html