* Not logged in  
Login :: Register :: Home 
RSS Feeds :: Classifieds
Contact Us :: About :: Help 
All Categories
Science and Technology 
Mathematics 
(Sub Categories)
  Statistics 
(Feeds)
Subscribe A Neighbourhood of Infinity 
Subscribe Amplitwist 
Subscribe Arbitrary Constant 
Subscribe Ars Mathematica 
Subscribe Blog of a Math Teacher 
Subscribe Bodmas.org 
Subscribe ChapterZero 
Subscribe Computational Complexity 
Subscribe Confessions of a Mathematician 
Subscribe Diary of a Black Mathematician 
Subscribe Epsilon-Delta 
Subscribe Ernie's 3D Pancakes 
Subscribe Gooseania 
Subscribe Homeschool Math Blog 
Subscribe Interesting Mathematics 
Subscribe Learning Curves 
Subscribe Machine Learning (Theory) 
Subscribe Mathematical Musings 
Subscribe Mathematics and Computation 
Subscribe Mathematics Weblog 
Subscribe Mathforge.net 
Subscribe Michi's Blog 
Subscribe Natural Blogarithms 
Subscribe Never Ending Books 
Subscribe Numb3rs 
Subscribe Origami Tessellations 
Subscribe Philosophy of Real Mathematics 
Subscribe Precal Blog 
Subscribe Quantum Algorithms 
Subscribe Question of the day 
Subscribe Sargent Park's Grade 8 Math Zone 
Subscribe Tall, Dark, and Mysterious 
Subscribe The Art of Problem Solving 
Subscribe The Geomblog 
Subscribe What the heck is a preceptor? 
Subscribe EurekAlert! 
Subscribe IT Facts 
Subscribe Journal of Research - NIST 
Subscribe Lancaster: Mathematics 
Subscribe Magic Statistics 
Subscribe Math - Statistics 
Subscribe Maths statistics - SWiK 
Subscribe MIT News: Mathematics 
Subscribe NSCB 
Subscribe Political Arithmetik 
Subscribe SomeGuyInDC 
Subscribe Statistics Consulting 
Subscribe Statistics Science 
Subscribe Statistics_Books 
Subscribe TCNJ Library 
 		Update update feed set failed_fetches=0, fetched=current_timestamp() where feed_id = 10642 failed: 1142 [UPDATE command denied to user '334187_hdlns_ms5'@'10.187.248.89' for table 'feed'] in [update feed set failed_fetches=0, fetched=current_timestamp() where feed_id = 10642]
updated 10642 (Mathematics and Computation), inserted 1, updated 0, at 2012-05-30 18:12:45
Articles from: Mathematics and Computation (MathematicsandComputation)  Subscribe
... More from Category: Science and Technology / Mathematics
Next Page  
The topology of the set of all types (more)2012 03 30
Eff 3.0 (more)2012 03 12
Programming with Algebraic Effects and Handlers (more)2012 03 12
A puzzle about typing (more)2012 01 24
On the Bourbaki-Witt Principle in Toposes (more)2012 01 04
HoTT Equivalences (more)2011 12 07
How to make the 'impossible' functionals run even faster (more)2011 12 06
Embedding the Baire space into natural numbers (more)2011 12 06
Video lectures as screencasts (more)2011 12 01
Definability and extensionality of the modulus of continuity functional (more)2011 07 28
Constructive gem: an injection from Baire space to natural numbers (more)2011 06 15
Stone Duality for Skew Boolean Algebras with Intersections (more)2011 05 30
Running a classical proof with choice in Agda (more)2011 05 10
Bob Harper has a blog (more)2011 03 19
Video tutorials for the Coq proof assistant (more)2011 02 22
Canonical Effective Subalgebras of Classical Algebras as Constructive Metri (more)2011 01 24
Alg (more)2011 01 22
European workshop on computational effects (more)2011 01 04
The Dialectica interpertation in Coq (more)2011 01 02
Subgroups are equalizers, constructively? (more)2010 11 13
Programming with effects I: Theory (more)2010 10 03
Delimited continuations in eff (more)2010 09 30
How eff handles built-in effects (more)2010 09 28
Programming with effects II: Introducing eff (more)2010 09 28
An amazing functional (more)2010 09 24
Random Art and the Law of Rotten Software (more)2010 08 20
Hardware failure and phishing attacks (more)2010 05 17
Random art in Python (more)2010 04 21
Proof of negation and proof by contradiction (more)2010 03 29
Tutorial on exact real numbers in Coq (more)2010 01 08
A new style for the blog (more)2010 01 08
Metric Spaces in Synthetic Topology (more)2010 01 06
Constructive gem: irrational to the power of irrational that is rational (more)2009 12 28
Constructive stone: finite sets (more)2009 11 14
Constructive gem: double exponentials (more)2009 10 12
Constructive gems and stones (more)2009 09 14
Constructive stone: minima of sets of natural numbers (more)2009 09 14
Constructive gem: juggling exponentials (more)2009 09 14
Constructive stone: cardinality of sets (more)2009 09 14
How to simulate booleans in simply typed lambda calculus? (more)2009 03 21
On the Failure of Fixed-point Theorems for Chain-complete Lattices in the E (more)2009 01 23
Miniprolog (more)2009 01 17
A comment about ?Mathematical undecidability and quantum randomness? by To (more)2008 12 03
A toy call-by-push-value language (more)2008 11 23
A Haskell monad for infinite search in finite time (more)2008 11 22
Not all computational effects are monads (more)2008 11 17
Remote Backup with Secure Shell and Rsync (more)2008 09 16
Sub and Poly, two new additions to the PL Zoo (more)2008 09 14
Exact real arithmetic in Haskell (more)2008 09 04
Efficient computation with Dedekind reals (more)2008 08 29
Next Page  


HDLNS (dot com) - News Headlines Updated 24 Hours a Day.
"HDLNS (dot com)" is a trademark of Avant Garde Creatives, Inc. This site, its design, and all associated software © 2005, Avant Garde Creatives, Inc. All rights reserved. All content is provided for your personal, non-commercial use, in accordance with the terms of its providers.
HDLNS (dot com) is search engine sitemap friendly. Classifieds