Mathematical equations can make Internet communication via computer, mobile phone or satellite many times faster and more secure than today. A new study uses a four minute long mobile video as an example. The method used by the Danish and US researchers in the study resulted in the video being downloaded five times faster than state of the art technology. The video also streamed without interruptions. In comparison, the original video got stuck 13 times along the way.
Math

Most Topular Stories

Math can make the Internet 510 times faster
Mathematics News  ScienceDaily17 Jul 2014  6:48 am 
Tapping Your Inner Rain Man
Scientific American  Math21 Jul 2014  4:30 amA blow to the head can sometimes unmask hidden artistic or intellectual gifts  Read more on ScientificAmerican.com 
Seemingly impossible constructive proofs
Mathematics and Computation8 May 2014  7:15 amIn the post Seemingly impossible functional programs, I wrote increasingly efficient Haskell programs to realize the mathematical statement $\forall p : X \to 2. (\exists x:X.p(x)=0) \vee (\forall x:X.p(x)=1)$ for $X=2^\mathbb{N}$, the Cantor set of infinite binary sequences, where $2$ is the set of binary digits. Then in the post A Haskell monad for infinite search in finite time I looked at ways of systematically constructing such sets $X$ with corresponding Haskell realizers of the above omniscience principle. In this post I give examples of infinite sets $X$ and corresponding constructive… 
Philosopher uses game theory to understand how words, actions acquire meaning
Mathematics News  ScienceDaily21 Jul 2014  9:37 amWhy does the word "dog" have meaning? If you say "dog" to a friend, why does your friend understand you? A philosopher aims to address these types of questions in his latest research, which focuses on longstanding philosophical questions about semantic meaning. Philosophers and a mathematician are collaborating to use game theory to analyze communication and how it acquires meaning. 
Tablet Dosage Calculation
Basic mathematics blog14 Jul 2014  1:34 pmLearn to calculate how many tablets to give to a patient when the dosage strength is known

Search for "math OR mathematics"

TX school district holding job fair in NC, coming to Charlotte
23 Jul 2014  5:50 amA Texas school district is once again holding a job fair for teachers in Raleigh. 
Arrested Princeton Professor to Fight Theft Allegations in Superior Court
23 Jul 2014  5:37 amPrinceton resident and Princeton University Professor John Mulvey, 67, was arrested last week at Princeton Police Department headquarters after an investigation by Detective Sergeant Christopher Quaste and Detective Adam Basatemur into the theft of business signs belonging to Princeton Computer Tutor and Repairs. 
ACA Tax Subsidies Face Risk; IRS Enforcement Is Overtaxed
23 Jul 2014  5:30 amTwo appeals courts deliver opposing rulings on Affordable Care Act tax subsidies. 
VP, Strategic Alliances
23 Jul 2014  5:20 amMarketShare is an analytics company that enables businesses to grow more efficiently via crossmedia attribution and marketing optimization through our platform of combined technology, data, modeling and business intelligence solutions. 
Horoscopes 7/23/2014
23 Jul 2014  5:19 amAll of your standard food options have become poison. Seek out alternative food sources such as copy paper, grass from the intramural field and wood chips from the flower beds.

Mathematics News  ScienceDaily

Philosopher uses game theory to understand how words, actions acquire meaning
21 Jul 2014  9:37 amWhy does the word "dog" have meaning? If you say "dog" to a friend, why does your friend understand you? A philosopher aims to address these types of questions in his latest research, which focuses on longstanding philosophical questions about semantic meaning. Philosophers and a mathematician are collaborating to use game theory to analyze communication and how it acquires meaning. 
Size and age of plants impact their productivity more than climate
20 Jul 2014  5:43 pmThe size and age of plants has more of an impact on their productivity than temperature and precipitation, according to a landmark study. They show that variation in terrestrial ecosystems is characterized by a common mathematical relationship but that climate plays a relatively minor direct role. The results have important implications for models used to predict climate change effects on ecosystem function and worldwide food production. 
Math can make the Internet 510 times faster
17 Jul 2014  6:48 amMathematical equations can make Internet communication via computer, mobile phone or satellite many times faster and more secure than today. A new study uses a four minute long mobile video as an example. The method used by the Danish and US researchers in the study resulted in the video being downloaded five times faster than state of the art technology. The video also streamed without interruptions. In comparison, the original video got stuck 13 times along the way. 
Fair cake cutting gets its own algorithm
16 Jul 2014  1:58 pmA mathematician and a political scientist have announced an algorithm by which they show how to optimally share cake between two people efficiently, in equal pieces and in such a way that no one feels robbed. 
'Game theory' model reveals vulnerable moments for metastatic cancer cells' energy production
15 Jul 2014  11:17 amCancer’s no game, but researchers are borrowing ideas from evolutionary game theory to learn how cells cooperate within a tumor to gather energy. Their experiments, they say, could identify the ideal time to disrupt metastatic cancer cell cooperation and make a tumor more vulnerable to anticancer drugs.

Scientific American  Math

When was the last time you used a print dictionary?
22 Jul 2014  5:39 amI used to keep a small dictionary in my bedside table, another in the end table near the couch, one on my home office desk and another on my desk at work.  Read more on ScientificAmerican.com 
Tapping Your Inner Rain Man
21 Jul 2014  4:30 amA blow to the head can sometimes unmask hidden artistic or intellectual gifts  Read more on ScientificAmerican.com 
Adjunct Instructors Petition for Better Pay, Job Security
18 Jul 2014  7:23 pmNote: We’re pleased to feature a guest post by former Cocktail Party Physics coblogger Ann (Lee) Kottner. Jennifer has graciously given me space to ask for some help from the science writing...  Read more on ScientificAmerican.com 
Scientific American Editor Testifies at U.S. Senate [Video]
17 Jul 2014  9:17 pmAt a hearing on the future of federal research investment, a science magazine editor and three noted scientists asked the U.S. Senate to support basic research  Read more on ScientificAmerican.com 
Bioinformatics: Big Data Versus the Big C
11 Jul 2014  4:00 amThe torrents of data flowing out of cancer research and treatment are yielding fresh insight into the disease  Read more on ScientificAmerican.com

NYT > Mathematics

Why Do Americans Stink at Math?
26 Jul 2014  9:00 pmThe Common Core should finally improve math education. The problem is that no one has taught the teachers how to teach it. 
Beyond Energy, Matter, Time and Space
21 Jul 2014  9:00 pmHumans might think we can figure out the ultimate mysteries, but there is no reason to believe that we have all the pieces necessary for a theory of everything. 
Seeker, Doer, Giver, Ponderer
7 Jul 2014  9:00 pmThe billionaire mathematician James H. Simons has led a life of ferocious curiosity. 
Pluses and Minuses of Common Core
6 Jul 2014  9:00 pmReaders react to an article about how some parents are struggling to understand their children’s math homework. 
State Starts to Have Company in Stand on Academic Standards
5 Jul 2014  9:00 pmIn the years since the Common Core standards were introduced, other states have followed Texas, announcing that they were dropping them from their public schools.

Wild About Math!

Richard Rusczyk – Inspired by Math #39
3 Jul 2014  6:13 pmI never did much math competition in middle school or high school although I did score well on the MAA competition and on the Math SAT and I went to public junior and high schools that you had to test into. Nonetheless, I have always been fascinated by the world of math geniuses. Richard Rusczyk started a school, Art of Problem Solving, to serve kids who love math, love solving math problems, and maybe want to compete. Richard and I spent an hour diving into the world of elite math competitions and what it takes to succeed in them. I got to scratch the itch that is my fascination with these… 
Sue VanHattum – Inspired by Math #38
23 Jun 2014  6:44 pmSue VanHattum is a math professor, blogger, mother, author/editor, and fundraiser. She's a real powerhouse of motivation for making math fun and accessible to more of our young folks. Sue has teamed up with a number of writers to compile a book, "Playing With Math," which she is producing in partnership with Maria Droujkova in a community sponsored publication model. Sue and I shared a delightful chat about what math is, what the book is about, and how we can all get more inspired to engage in math with our kids. And, Sue sprinkles the conversation with some interesting openended math… 
Lou DiGioia – Inspired by Math #37
21 Jun 2014  9:58 amLou DiGioia, executive director of MATHCOUNTS, and I tried to do a podcast a couple of months ago. The audio had some serious problems and we produced a transcript instead. It was a great discussion although I asked way too much about the human Pascal's triangle that made a Guiness World record. Anyway, the second time was a charm, and we produced a good audio discussing all things related to MATHCOUNTS and how the organization inspires kids to improve their relationship with Math. If you read the transcript, or even if you didn't, check out the podcast! About Lou DiGioia As executive… 
Al Cuoco – Inspired by Math #36
14 Jun 2014  9:36 amThe MAA (Mathematical Association of America) sent me a review copy of their new book "Learning Modern Algebra: From Early Attempts to Prove Fermat's Last Theorem." I don't typically review textbooks but the title and then the contents of the book convinced me that I needed to interview the authors. Joe Rotman wasn't available but I was able to chat with the other coauthor, Al Cuoco. I was really struck with Al's passion about teaching the teachers as well as the students. Al shared some great insights about the ingredients that I think should go into every math textbook to help teachers and… 
David Reimer – Inspired by Math #35
7 Jun 2014  10:33 amI love novel ways of looking at arithmetic. I'm fascinated with how computers compute in binary, with tricks for simplifying calculations and with how Vedic mathematicians handle difficult arithmetic efficiently. So, when Princeton University Press sent me a review copy of their new book "Count Like An Egyptian," I immediately fell in love with it. I was delighted to learn even more techniques and the ideas behind them to deepen my appreciation of the beauty of what most consider to be mundane arithmetic. "Count Like an Egyptian" is a delightful book, full of color illustrations, fun stories,…

Loren on the Art of MATLAB

Analyzing Fitness Data from Wearable Devices in MATLAB
14 Jul 2014  5:18 amCollecting and tracking health and fitness data with wearable devices is about to go mainstream as the smartphone giants like Apple, Google and Samsung jump into the fray. But if you collect data, what's the point if you don't analyze it?Today's guest blogger, Toshi Takeuchi, would like to share an analysis of a weight lifting dataset he found in a public repository.ContentsMotivation, dataset, and prediction accuracyData preprocessing and exploratory analysisPredictive Modeling with Random ForestPlot misclassification errors by number of treesVariable ImportanceEvaluate tradeoff with ROC… 
Publish Your MATLAB Analysis to Your Blog
30 Jun 2014  10:22 amI have been posting blogs about MATLAB with code examples for many years. Steve Eddins, my fellow blogger of Steve on Image Processing fame, developed and maintains an internal tool that automates a lot of tasks and I rely on it to publish my blog posts.One of my guest bloggers, Toshi Takeuchi, showed me a new tool he found, and he would like to do a quick introduction.ContentsWhy publish to a blog?InstallationEnable Remote PublishingCredentialsAdd a plot to your MATLAB fileAdd a link to a file for DownloadLink to another post on your blogAdd a tooltipAdd notes and warningsAdd categories and… 
Webcam Support – New in R2014a
17 Jun 2014  5:30 amToday I’d like to introduce a fairly frequent guest blogger Sarah Wait Zaranek who works for the MATLAB Marketing team here at The MathWorks. She and I will be writing about the new capabilities for the webcam in R2014a.ContentsWebcam is AvailableInstalling the Support PackageListing Webcams and PreviewingTaking a Single ImageTaking Images Within a LoopTaking Images Within a Loop and Saving to an AVIfileSet up video writerGrab and process framesTaking Images Within a Loop and Creating an Animated GIFHere's the movie we just madeTidy upAdditional Camera SupportDo You Have a Project that… 
Analyzing Twitter with MATLAB
4 Jun 2014  1:13 pmWhatever your opinion of social media these days, there is no denying it is now an integral part of our digital life. So much so, that social media metrics are now considered part of altmetrics, an alternative to the established metrics such as citations to measure the impact of scientific papers.Today's guest blogger, Toshi, will show you how to access the Twitter API and analyze tweets with MATLAB.ContentsWhy TwitterSentiment AnalysisTweet Content VisualizationWho Tweeted the News?Does Follower Count Really Matter? Going Viral on TwitterVisualizing the Retweet Social GraphGetting Started… 
Selecting the Granularity You Want in GlobalSearch or MultiStart
20 May 2014  8:38 amI'd like to introduce this week's guest blogger Alan Weiss. Alan writes documentation for mathematical toolboxes here at MathWorks.Do you use GlobalSearch or MultiStart for finding multiple local solutions to your optimization problems? Both of these solvers can report the locations and objective function values of the local solutions they find, as well as the starting points that led to each local solution.Sometimes, though, the solvers report too many local solutions. Their definition of what constitutes "distinct" solutions can differ from yours. This article shows the problem, and two…

Homeschool Math Blog

Worksheets for inequalities
21 Jul 2014  6:12 amMore new worksheet generators... This one is for linear inequalities in one variable.http://www.homeschoolmath.net/worksheets/linear_inequalities.phpThe worksheets are customizable in many different ways. You can ask the student to plot simple inequalities, such as x < 6 or write an inequality from a graph. One problem type asks you to solve the given simple inequality in the given set, such as solve x + 1 > 2 in the set {9, 3,5,8, 2, 10}. Then you can choose from six different types of linear inequalities to solve (such as onestep inequalities, twostep inequalities, or… 
1day sale
16 Jul 2014  4:57 amSAVE 40% on selected Math Mammoth bundles at Homeschool Buyers Coop:https://www.homeschoolbuyerscoop.org/mathmammoth/ONLY for today! 
A thought to consider...
13 Jul 2014  8:19 pmPosted with permission from http://www.heartcheer.com/ where you'll find many more thoughtful poems! 
Math Mammoth photo contest winning entries
11 Jul 2014  2:49 pmHere are the winning entries for the photo contest I ran recently. I asked each participant to provide a photo showing a child/student(s) doing math work from a Math Mammoth book or materials. Click to see a larger version. Enjoy!1. I felt this picture was just so cute and also the composition is great."Isabelle is proudly showing her mom her correctly formed 3's. She wrote them backwards at first. She is working out of her big sister's 1st grade workbook from Math Mammoth's Light Blue Series."The second place was a tie — I just couldn't decide.2. A. First, school work upside down  quite… 
Doing Math Mammoth with animals
5 Jul 2014  5:30 amMath Mammoth with animals! This is JuliaGrace, her duck Faith, sheep in the background and dog, Mocha, short for Mi Chamocha Java Joe Cappuccino Latte Wirth.

Let's Play Math!

Math Teachers at Play #76
22 Jul 2014  4:51 am[Feature photo (above) by U.S. Army RDECOM. Photo (right) by Stephan Mosel. (CC BY 2.0)] On your mark… Get set… Go play some math! Welcome to the 76th edition of the Math Teachers At Play math education blog carnival — a smorgasbord of links to bloggers all around the internet who have great ideas for learning, teaching, and playing around with math from preschool to precollege. By tradition, we start the carnival with a puzzle in honor of our 76th edition. But if you would like to jump straight to our featured blog posts, click here to see the Table of Contents. PUZZLE:… 
Playing With Math — the Book
16 Jul 2014  7:23 amThere are only a few days left to reserve your copy of Playing With Math: Stories from Math Circles, Homeschoolers, and Passionate Teachers. I don’t have time to finish the review I hoped to write, so instead I’ll share some of my favorite quotes from the book: What do mathematicians do? We play with math. What are little kids doing when they’re thinking about numbers, shapes, and patterns? They’re playing with math. You may not believe it yet, but you can have fun playing with math, too. — Sue VanHattum, editor We had a discussion at the end of the club on how… 
Education Bloggers: Share Your Post!
15 Jul 2014  7:15 amphoto by Omar Omar via flickr If you are a homeschooler or classroom teacher, student or independent learner, or anyone else who writes about math, now is the time to send in your favorite blog post for next week’s Math Teachers at Play (MTaP) math education blog carnival. Click here to submit your blog post. Browse all the past editions of the Math Teachers at Play blog carnival Don’t procrastinate: The deadline for entries is this Friday extended through the weekend. The carnival will be posted next week at Let’s Play Math. Click to tweet about the carnival: (No spam, I… 
Quotable: Math Connections
11 Jul 2014  2:52 pmIt turns out that the people who do well in math are those who make connections and see math as a connected subject. The people who don’t do well are people who see math as a lot of isolated methods. — Jo Boaler Math Connections If you or your children struggle with math, Boaler’s nonprofit YouCubed.org may help you recover your joy in learning. Get all our new math tips and games: Subscribe in a reader, or get updates by Email. 
Math(s) Teachers At Play #75 via CavMaths
28 Jun 2014  11:32 am[Feature photo above "Sconic Sections" by Lenore Edman and "75" by R/DV/RS via Flickr (CC BY 2.0).] The monthly math education blog carnival Math Teachers at Play features games, lessons, puzzles, activities, and teaching tips from classroom teachers, homeschoolers, and selfeducated learners around the Internet world. Check out the 20 posts of mathematical fun in the June edition: Math(s) Teachers At Play #75 via CavMaths Hello, and welcome to the 75th issue of the Math(s) Teachers at Play Blog Carvinal! For those of you who are unaware, a “blog carnival” is a periodic post that travels…

Basic mathematics blog

Oral Solution Dosage Calculation
21 Jul 2014  8:47 amLearn to calculate the amount of oral solution to give to a patient when the dosage strength is known 
Tablet Dosage Calculation
14 Jul 2014  1:34 pmLearn to calculate how many tablets to give to a patient when the dosage strength is known 
Conversion Between Metric UnitsNursing School Math
14 Jul 2014  1:28 pmLearn how to do conversion between metric units. A very important skills fr nurses 
Write a Function Rule
29 Jun 2014  1:49 pmThe goal of this lesson is to write a function rule using a table. 
Irrational Numbers
23 Jun 2014  12:45 pmTo learn about irrational numbers and write their decimal expansion. Recognize when a number is irrational

ChapterZero

Installing Hadoop on Ubuntu (works for Ubuntu 12.04 and Hadoop 2.4.1)
18 Jul 2014  4:11 pmI’m trying to use LDA on a large amount of data. A quick recap: Tried vowpal wabbit … it’s fast, I’ll give it that, but it’s also useless: the output is dubious (what I think are the topics look like they haven’t changed very much from the prior) *and* I have no idea how it maps onto topics and documents (the documentation is AWFUL, and the dimensions of the output files are WONKY). Tried two implementations of SCVB0, a stochastic collapsed variational bayes LDA algorithm: one doesn’t work at all (as in, it stalls on any amount of data — so… 
Sharing numpy arrays between processes using multiprocessing and ctypes
1 May 2014  4:32 pmBecause of its global interpreter lock, Python doesn’t support multithreading. To me, this is a ridiculous limitation that should be gotten rid of posthaste: a programming language is not modern unless it support multithreading. Python supports multiprocessing, but the straightforward manner of using multiprocessing requires you to pass data between processes using pickling/unpickling rather than sharing memory. Needless to say, this slows down execution when large amounts of data need to be shared by processes. In my case, I’ve been using multiprocessing to speed up the training… 
Eigenvector twocondition number for a product of PSD matrices
7 Apr 2014  9:31 amI’m pushing to submit a preprint on the Nystrom method that has been knocking around for the longest time. I find myself running into problems centering around expressions of the type \(B^{1}A\), where \(A, B\) are SPSD matrices satisfying \(B \preceq A\). This expression will be familiar to numerical linear algebraists: there \(B\) would be a preconditioner for a linear system \(A x = b,\) and the relevant quantity of interest is the spectral radius of \(B^{1} A\). It’s not hard to show that the spectral radius of this product is at most 1… but instead, I’m… 
Canonical Correlation Analysis (CCA)
7 Apr 2014  9:20 amI am not completely satisfied with the expositions of CCA that I’ve come across, so I decided to write one that reflects my own intuition. CCA is useful in the case where you observe two random variables that are both noisy linear functions of some underlying latent random variable, and you want to use this fact to help you guess the latent variable. Formally, assume \[ x = T_X z + n_x, \quad \text{ and } \quad y = T_Y z + n_y, \] where, without loss of generality, we assume that the entries of \(z\) are uncorrelated and unit variance. Here \(T_X\) and \(T_Y\) are matrices whose image… 
Decision time: MacPorts vs Homebrew vs Fink
7 Mar 2014  8:12 pmMy work macbook pro recently crapped out on me during an update of the OS (apparently something has a tendency to go wrong with the video card or its driver or something similar during this particular update for this particular model … sigh) so I’ve had the joy of reinstalling my personal ecosystem of software again. One of the crucial decisions for me is whether to use MacPorts, HomeBrew, or Fink to allow me to manage the installation of nontrivial Unix packages. This post is really just to remind myself that at this goround, I chose MacPorts because of these posts.

Computational Complexity

The Burden of Large Enrollments
22 Jul 2014  8:42 amThis week I'm at the CRA Snowbird conference, the biennial meeting of CS chairs and other leaders in the field. In 2012 many of the discussion focused on MOOCS. This year the challenge facing most CS chairs are booming enrollments in CS courses. A nice problem to have, but a problem nevertheless. Last night we had a broad discussion about the burgeoning number of students. Ed Lazowska showed his NCWIT slides giving anecdotal evidence. It's too early to get a complete survey of CS departments but hardly anyone in the audience felt that enrollments were not going up by double (or triple)… 
Elfdrive
17 Jul 2014  6:24 amNew York Times, dateline June 11, 2019 With a near recordsetting investment announced last week, the selfdriving car service Elfdrive is the hottest, most valuable technology startup on the planet. It is also one of the most controversial. The company, which has been the target of protests across Europe this week, has been accused of a reckless attitude toward safety, of pricegouging its customers, of putting existing cabbies out of work and of evading regulation. And it has been called trivial. In The New Yorker last year, George Packer huffed that Elfdrive typified Silicon Valley’s… 
What to call the top and bottom part of (n choose k)
13 Jul 2014  8:34 pmIn my last post I asked for candidates for names for the top and bottom part of (n choose k) . Here are the candidates and my comments on them and ... the winner! Top part: Degree, Bottom part: Index. Top part: Bino, Bottom part: Mial Top part: Numerator, Bottom part: Denominator Top part: Outcomes, Bottom part: Possibilities Top part: Binomerator, Bottom part: I've got nothing Top part: *, Bottom part: * Top part: Biponendo, Bottom part: Bividendo Top part: Choosand, Bottom part: choosee Top part: Set size, Bottom part: Subset size. I leave out the explanations for these since one… 
Is there a word for the top part of a binomial coefficient?
9 Jul 2014  7:22 pmConsider the sequence: x/y, (x+1)/y, (x+2)/y, ..., (x+z)/y one could say in this sequence of fractions the numerators goes through z1 consecutive numbers. Consider the sequence (x choose y), (x+1 choose y), (x+2 choose y),...,(x+z choose y) one could say in this sequence of binomial coefficients the toppart goes through z1 consecutive numbers. Is there a better way to say this? That is, is there a term for the toppart of a binomial coefficient? Or for that matter the bottom part? I have not been able to find one on the web. Hence I propose a contest: Leave as a comment a… 
Favorite Theorems: Compressing the Local Lemma
7 Jul 2014  5:48 amNot only did Moser give a near optimal construction, but he did so in my favorite STOC talk of the decade. A Constructive Proof of the Lovász Local Lemma by Robin Moser The Lovász local lemma informally states that if you have a large set of events with limited dependence and they individually have a reasonable chance of happening, then there is a positive probability that they all happen. Moser focused on the special case of Boolean formula satisfiability: If we have a kCNF formula φ where each clause shares a variable with at most r other clauses with r<2k/8 then φ is…

Mathematics and Computation

Reductions in computability theory from a constructive point of view
19 Jul 2014  5:50 amHere are the slides from my Logic Coloquium 2014 talk in Vienna. This is joint work with Kazuto Yoshimura from Japan Advanced Institute for Science and Technology. Abstract: In constructive mathematics we often consider implications between nonconstructive reasoning principles. For instance, it is well known that the Limited principle of omniscience implies that equality of real numbers is decidable. Most such reductions proceed by reducing an instance of the consequent to an instance of the antecedent. We may therefore define a notion of instance reducibility, which turns out to have a… 
Seemingly impossible constructive proofs
8 May 2014  7:15 amIn the post Seemingly impossible functional programs, I wrote increasingly efficient Haskell programs to realize the mathematical statement $\forall p : X \to 2. (\exists x:X.p(x)=0) \vee (\forall x:X.p(x)=1)$ for $X=2^\mathbb{N}$, the Cantor set of infinite binary sequences, where $2$ is the set of binary digits. Then in the post A Haskell monad for infinite search in finite time I looked at ways of systematically constructing such sets $X$ with corresponding Haskell realizers of the above omniscience principle. In this post I give examples of infinite sets $X$ and corresponding constructive… 
Brazilian type checking
6 May 2014  2:59 amI just gave a talk at “Semantics of proofs and certified mathematics”. I spoke about a new proof checker Chris Stone and I are working on. The interesting feature is that it has both kinds of equality, the “paths” and the “strict” ones. It is based on a homotopy type system proposed by Vladimir Voevodsky. The slides contain talk notes and explain why it is “Brazilian”. Download slides: braziliantypechecking.pdf GitHub repository: https://github.com/andrejbauer/tt Abstract: Proof assistants verify that inputs are correct up to judgmental… 
Intuitionistic Mathematics and Realizability in the Physical World
4 Mar 2014  7:57 amThis is a draft version of my contribution to “A Computable Universe: Understanding and Exploring Nature as Computation”, edited by Hector Zenil. Consider it a teaser for the rest of the book, which contains papers by an impressive list of authors. Abstract: Intuitionistic mathematics perceives subtle variations in meaning where classical mathematics asserts equivalence, and permits geometrically and computationally motivated axioms that classical mathematics prohibits. It is therefore wellsuited as a logical foundation on which questions about computability in the real world… 
Univalent foundations subsume classical mathematics
13 Jan 2014  9:10 amA discussion on the homotopytypetheory mailing list prompted me to write this short note. Apparently a mistaken belief has gone viral among certain mathematicians that Univalent foundations is somehow limited to constructive mathematics. This is false. Let me be perfectly clear: Univalent foundations subsume classical mathematics! The next time you hear someone having doubts about this point, please refer them to this post. A more detailed explanation follows. In standard mathematics we take classical logic and set theory as a foundation: $\text{logic} + \text{sets}$ On top of this we build…

eon

Millenium Bookball
19 Jul 2014  9:54 pmis a pretty cool mathematical sculpture by George Hart. Gone with the Wind, Charlie and the Chocolate Factory, The Cat in the Hat, Green Eggs and Ham. What is not to like? Speaking of which, I still cannot believe that it was only because of my son who is now four that I read Dr Seuss for the first time in my life. Growing up with parents who do not speak English, I only started reading English books in Primary School. I still remember the joy when I did well in school examinations and the prize was to go to the school hall and select one free book for keeps. 
On practice
19 Jul 2014  9:56 amI’m sure I am interpreting this in a context different from Vygotsky who was quoting Lenin Man’s practice, repeated a billion times anchors the figure of logic in his consciousness. 
Math videos
9 Jul 2014  1:08 am“Speaker, I’d like to talk about twin prime numbers …” goes McNerney in the US Congress. This took place on 11 Feb 2014. More details may be found here. There is still hope in politics afterall. I would love to see the day when mathematics is discussed in our parliament. I’ve longed known about the discussion on the Monty Hall problem in the movie 21. But it was preceded by a short take on Newton’s or NewtonRaphson method. See the clip here at Mathematics in Movies site. 
Prime Mystery
30 Jun 2014  3:27 pmA nice puzzle from Aziz Inan on plus.maths.org The number N represents the first 6 digits of a special number. N consists of three prime numbers put side by side. These three prime numbers come xth, yth and zth on the list of primes, where x, y and z are themselves three consecutive primes (for example, x, y and z could be 3, 5 and 7, in which case we’d be looking at the third, fifth and seventh prime numbers). In addition, if N is split in the middle into two separate numbers, the prime factors of the left part of N add up to its right part. What is N? And what is the special numbers… 
10 surprising things about our brains
29 Jun 2014  7:28 pman article from huffington. Worth the read.

WordPress Tag: Mathematics

Tribe
19 Jul 2014  5:34 pmAn interesting wikipedia clade: “Wikipedia trivia: if you take any article, click on the first 
Playing with Mathematica: Fermat Spiral and the Daisy
19 Jul 2014  3:05 pmclick to enlarge Expanding on Fermat’s spiral, these pretty figures represent a “daisy” pattern. Mathematically the two plots are the same. In one case I plot circles (left) and in the other I plot diamonds (right). The use of the irrational number φ (Phi = 1.618…), known as the Golden Ratio, is integral to the formation of these specific patterns, which can readily be observed in nature (daisies, sunflowers, pineapples, pinecones, etc.). As it turns out, if the expansion of the spiral from the center outwards grows proportionally to φ, then an even… 
153. Ten Things You Really Shouldn't Say To Me After I've Just Completed My Degree
19 Jul 2014  1:00 pm1. Oh I didn’t even know you were at university.What did you think I was doing for the last four years? 2. Mathematics Isn’t that a boysubject? What can you do with Maths?1) Maths isn’t gender specific. 2) Plenty. 3. You got a First?! *surprised* I thought you didn’t specify because you only passed and were embarrassed. _ 4. Yes it’s all very well you can do this Mathsshaths but how are your rotis?Edible. 5. Acha good, uni finished. When you getting married?*sigh* 6. You know this degree paper means nothing till you find a good boy and settle down. Life… 
Playing with Mathematica: The Complete Fermat's Spiral
19 Jul 2014  12:56 pmWith its opposing pattern, Fermat spirals are surprisingly beautiful. They look like something you might encounter in nature and yet result from a very basic mathematical relationship. Here’s the Mathematica code to generate them. (*Fermat’s Spiral*) width = 0.005; graphColor = RGBColor[70/255, 137/255, 102/255]; k = GoldenRatio; g[t_] := k*Sqrt[t] PolarPlot[{g[t], g[t]}, {t, 0, 15*Pi}, PlotStyle > {{graphColor, Thickness[width]}, {graphColor, Thickness[width]}}, PlotRange > {{12, 12}, {12, 12}}, Axes > False] 
Fibonacci returns
19 Jul 2014  12:14 pmvia CHRONOS & CHAOS – anlieder: Fibonacci. anlieder:

Mr. L's Math

Polygonal Portal – Math and Art Power with GeoGebra
19 Jul 2014  11:54 amHere’s a beautiful combination of math and art as well as demonstration of power and versatility of GeoGebra created by John Golden. He writes: “Thinking about ways to make a nice polygon spiral. This one is created by rotating and dilating the point that determines the first rotated polygon. (Using matrix exponentiation to rotate around the origin.) I love the spiral and 3D effect of the transformation.” This is found on the GeoGebra Tube site. Here’s the direct link to John’s creation. NOTE: the double arrow at the upper right of the app resets the figure. 
Factoring Trinomials Using a Simple GeoGebra Applet
16 Jul 2014  10:36 amHere’s a simple GeoGebra applet created using the “RandomBetween” function. You can refresh the screen with a new problem by using the double arrow in the upper right hand corner. Credit for this idea is due Steve Phelps from the Ohio GeoGebra Institute. 
Welcome to GeoGebraTube – a Common Core Technology Source
12 Jul 2014  1:08 pmHere’s a quick intro to GeoGebraTube, a nice resource for Common Core teaching materials. GeoGebra is dynamic mathematics & science software for learning and teaching from elementary school to university level, which contains interactive geometry, algebra, statistics, and calculus abilities. There are, as of July, 2014, almost 100,000 free materials available. You can search by type of material, age, and language. After using the search function, you can select an entry, find some info about the sketch, see related sketches, and check out the author. If you find an author you… 
Voronoi Diagram Animation using GeoGebra
12 Jul 2014  11:58 amHere’s a GeoGebra animation shared by Michael Borcherds on GeoGebraTube. It’s the type of visual imagery that stimulates students to want to be able to create the same thing, and asks them to uncover the coding steps behind the colorful patterns. You can stop/start the animation using the button at the lower left of the diagram, and relocate the starting (seed) points for more creativity. Reset the animation using the double arrow at the upper right. Enjoy! For those looking for a little more of the mathematics behind this, here’s what Wikipedia has to say:… 
Here’s a great reason to use KenKen Puzzles
21 Nov 2013  4:42 pmHere’s an edited version of an email I received today: This month, KenKen is being featured by the National Council of Teachers of Mathematics (NCTM) for its powerful attributes as a math learning tool. The NCTM’s December 2013 Mathematics Teacher Journal explains how KenKen puzzles allow students to explore basic operations, factors, parity, symmetry, algebraic thinking and various problemsolving strategies….all while keeping students interested and making math fun! Here’s the link to the seven page…

MathNotations

THREE MORE SAT/COMMON CORE MATH PROBLEMS  FEED YOUR BRAIN!
21 Jul 2014  4:31 amSee them on my twitter feed at twitter.com/dmarain Did you submit your solution to the Geometry Puzzle from 72014 via the Contact Form? VISIT ME DAILY ON TWITTER AT twitter.com/dmarain 
Best Geometry Puzzle Ever?
20 Jul 2014  7:02 amSorry. To see it, go to my twitter account: twitter.com/dmarain. Click on the image and magnify or print as needed. If any angle measures are unclear let me know in Comments.1. Submit answer and solution using Contact Form in right sidebar of my blog. PLS DO NOT SUBMIT SOLUTIONS IN COMMENTS!2. Best solutions (not just answer) will receive recognition (you'll be known to the 3 people reading my blog!) and a download of my book. 3. Please include your full name, email, state/country, your connection to math (student,teacher,etc) and how you found my blog.VISIT ME DAILY ON TWITTER AT… 
Dozens of Free Common Core, SAT Practice Problems
13 Jul 2014  11:00 amI've been posting numerous challenge problems on Twitter of late, some with answers. You can see these at twitter.com/dmarain. Teachers: Feel free to use these to irritate your students. Students: Feel free to use these to irritate your teachers. Lol If you want to check your answers to these or you disagree with my answers or if you have any questions, use the new Contact Form in the sidebar. VISIT ME DAILY ON TWITTER AT twitter.com/dmarain 
And the winner is...
3 Jun 2014  9:03 amOur winning submission for the June 1st Challenge came from KALEB LABBE Kaleb is a freshman at Fort Kent Community High School in Fort Kent, Maine. Congratulations Kaleb! Here are his answers: A)64 B)64, 16, 8, 4, 2 VISIT ME DAILY ON TWITTER AT twitter.com/dmarain 
First of June Quickie Math Challenge
1 Jun 2014  6:20 amUpdate One correct solution submitted thus far. Reminder Deadline for submission is 6214 Mon nite 9 pm (EDT).This problem is appropriate for your Algebra 1/2 students.For you or your Algebra students...If a,b are positive integers greater than 1 and b^a=2^12 then (a) what is the largest possible value of b? (b) list all possible values of bYou or your students can respond with answers using the new Blogger Contact Form. Pls include names, school, state if applicable. I'll acknowledge all replies but only publish names of correct respondents who post by 9 pm (EDT) tomorrow 62.

Institute for Mathematics and Computer Science

The Negative Effects of Homework Help
9 Jul 2014  10:00 pmIn The New York Times article, “But I Want to Do Your Homework,” author Judith Newman describes how she was driven, over her 12yearold son’s objections, to help him ace his literature essay, only to earn a dismal grade. Her admission may sound familiar to many wellintentioned parents who believe they are doing what’s best for their child’s longterm success. Unfortunately, that’s not the case as Newman points out: “Sociologists at the University of Texas at Austin and Duke University assessed the effect of more than 60 kinds of parental involvement… 
Every Career Field Needs People Who Are Good At Math
11 Jun 2014  10:00 pmIf you’re not planning on pursuing a socalled STEM career, do you really need to be good at math? Yes, but not just for the oftenstated reason that people encounter math regularly throughout their lives. Being able to handle everyday math is certainly important. For example: If you’ve been offered varying aid packages by different universities, which one makes the most financial sense for your family? If you’re deciding between leasing or buying a car, which is the best deal in the long run? While no one doubts that being better at money arithmetic would benefit… 
College Checklist: What Really Matters
14 May 2014  10:00 pmIt’s graduation time! The summer ritual of getting kids ready to send to college is around the corner. Minifridge, check. Shower caddy, check. Good study habits, hmmm. Surprisingly, developing good study habits before entering college is something that many talented children and their parents overlook. It’s easy to understand how this oversight happens when you realize that bright students often don’t need to study. That’s because their schoolwork isn’t challenging and requires minimal effort to receive high grades. Kids who are used to coasting like this hit… 
What Does It Mean to be Genuinely Good at Math?
17 Apr 2014  5:35 amHave you seen the latest video of a young child reciting multiplication tables or the digits of pi? Or maybe you know a kid who has always gotten straight A’s. Pretty neat, but does it equate to being genuinely good at math? No. Bright students often do well in school with little or no effort. And an airtight memory facilitates excellent grades, especially when those grades depend on regurgitating information that’s already been provided. Being genuinely good at math is more about having a deep understanding of how and why things work. It also means being able to take that… 
From Public School to the Ivy League
19 Mar 2014  10:00 pmThe following excerpt is from the new book by Mandee Heller Adler, From Public School to the Ivy League: How to get into a top school without top dollar resources, which is available at Amazon.com. Ms. Adler is the founder and principal of International College Counselors, a Floridabased firm that provides expert strategies for admission to undergraduate colleges, graduate programs, business schools, law schools, medical schools, dental schools and other postgraduate schools. From Chapter 4: Writing Essays … ANSWERING THE QUIRKY QUESTIONS In recent years, a number of colleges have…

Math Concepts Explained

Google's Free Online Calculator
28 Jun 2014  9:02 amI've put up a new post over at The Numerist that talks about Google's free online calculator that is available for everyone to use and enjoy! Please visit my site to find out more, and be sure to Like it on Facebook as well! You can read my post here: http://thenumerist.com/googlefreeonlinecalculator/ 
Top 5 Most Popular Posts of May
1 Jun 2013  11:09 pmAnother month has come and gone, so it's time to look back and tally up the page views and rank my top 5 most popular posts of May! There are few surprises once again, as it seems like my most popular material is REALLY popular, and everything else is just trying to keep up. Maybe I should consider doing a "10th place to 5th place most popular posts" write up, and maybe we'd get some different 
Differentiation Rules  Finding the Derivative of a Difference of Functions
17 May 2013  10:23 pmThis post continues along in my series on calculus differentiation rules, this time talking about how to find the derivative of a difference of functions. I hope you read my last post, which applied to sums of functions, because it is nearly the same situation when you are subtracting. I'm not going to go into the same level as detail as I did there, so I highly recommend you go back and give 
Differentiation Rules  Finding the Derivative of a Sum of Functions
9 May 2013  9:15 pmWelcome back to my introductory calculus series on differentiation formulas. For those who are playing along at home, I have explained several rules so far and am going to add another one today. If you've missed those posts, then I highly encourage you to go back and take a look at them to familiarize yourself with these basic concepts. (So far: here, here, and here. Or just check my table of 
Happy Fibonacci Day!
8 May 2013  10:26 pmI know this may be a little late in the day, but I just realized that today's date is actually a Fibonacci sequence! That's right, today's date is May 8, 2013, or written another way, 5/8/13! For those who don't know, the famous Fibonacci sequence is starts off with the numbers 0, 1, and then continues by adding numbers that are equal to the sum of its preceding two numbers. So, the classical

MathBlog

Mathematicians take this survey about your philosophical intuitions
20 Jul 2014  7:01 pmA group of researchers in philosophy, psychology and mathematics are requesting the assistance of the mathematical community by participating in a survey about mathematicians’ philosophical intuitions. The survey is available here: http://goo.gl/Gu5S4E. For the purposes of this survey, a mathematician is someone who holds an advanced academic degree in mathematics, teaches mathematics on a college or university level, uses advanced mathematics in the course of their work, or has published mathematical work in scholarly venues. Possibly related articles: Help us with your feedback by taking… 
Martin Fowler’s Design Stamina Hypothesis and Video Compression
14 Jul 2014  7:00 amMartin Fowler’s Design Stamina Hypothesis expresses a widely held belief among practicing software engineers and other technical professionals that is also taught in computer science curricula. Basically, the idea is that “good software design,” a vaguely defined concept, fairly quickly pays for itself through faster, better, cheaper software development in the long run. Martin Fowler, Chief Scientist for ThoughtWorks and a noted writer on agile software development, software design and refactoring, encapsulates this concept in this “pseudograph”: The remarkable… 
Eugene Goostman, Teenaged AI, and the Definition of Number
16 Jun 2014  7:00 amEugene Goostman, an artificial intelligence program purporting to be a thirteen year old boy from the Ukraine, recently prompted a spate of breathless news articles reporting that an AI had finally and for the first time passed the famous Turing Test, fooling humans into thinking they were conversing with another human being and not with an AI program. This in turn prompted a number of critical responses, notably one by AI pioneer Ray Kurzweil who reported the following rather unconvincing exchange with Eugene: Question: How much is two plus two? Eugene: Now I’m sure that you are one of… 
The Mathematics of Terminators
27 May 2014  7:00 amCan we make computers that think like or even better than human beings? If we can, will these computers make the world a better place as in Isaac Asimov’s I, Robot sciencefiction stories or try to wipe us out as in James Cameron’s dystopian Terminator movie series? Classic Terminator Artificial intelligence (AI), currently rebranded as “Machine Learning” and “Deep Learning” (neural networks), is the attempt to use computers, sophisticated algorithms and mathematics to duplicate or exceed human intelligence. Artificial intelligence has had some successes:… 
The Refactoring
5 May 2014  7:00 amHello Theo, You have asked me to send an account of the miraculous occurrence known as The Refactoring. In answer to your inquiry, I have consulted both our Git commit messages and actually spoken with living witnesses to this miracle of miracles. Here is a true account of what happened in The Refactoring! Yea, verily, in the beginning, there was the Code and the Code worked and the Company prospered mightily. Then, the Refactorers inspected the Code and pronounced judgment: the Code was !@#$% The Refactorers sent a deputation to interrogate the Cowboy Coder who had written the Code. He asked…

CSE Blog  quant, math, computer science puzzles

3D Tic Tac Toe Puzzle
10 Jul 2014  12:19 pmSource: Shared by Alok Mittal (Cannan Partners) Problem: A 3x3 tic tac toe has 8 "winning lines" (3 horizontal, 3 vertical and 2 diagonals). How many "winning lines" does the 3x3x3 3D tictactoe have? There is a brute force solution, and then there is the aha! solution. 
Mad Robot Puzzle
3 Jul 2014  8:16 amSource: http://nrich.maths.org/ Problem: A mad robot sets off towards the North East on a journey from the point (0,0) in a coordinate system. It travels in stages by moving forward and then rotating on the spot. It follows these pseudocode instructions: SUB JOURNEY DISTANCE = 1000 WHILE (DISTANCE > 0.001) MOVE DISTANCE STOP ROTATE(90, DEGREES, CLOCKWISE) DISTANCE = DISTANCE / 2 END WHILE EXPLODE END SUB Where does the… 
Social Network Friendship Paradox
1 Jul 2014  4:39 amProblem / Observation: The friendship paradox is the phenomenon first observed by the sociologist Scott L. Feld in 1991 that most people have fewer friends than their friends have, on average. Prove it mathematically. 
Expected length of Last Straw  Breaking the back of a camel
16 Jun 2014  12:08 pmSource: Puzzle Tweeter who took it from Mind your decisions Problem: A camel is loaded with straws until it's back breaks. Each straw has a weight uniformly distributed between 0 and 1, independent of other straws. The camel's back breaks as soon as the total weight of all the straws exceeds 1. Find the expected weight of the last straw that breaks the camel's back. Update (18th June 2014): Solution posted by me (Pratik Poddar) in comments 
Cards on a Square Turntable
16 Jun 2014  10:44 amSource: Steve Miller's Math RiddlesProblem: A square has a quarter in each corner. You are blindfolded and must get all quarters to be heads up or all to be tails up. You will be told when you have done this. You may flip however many you want, then ask if you are done (this constitutes a turn). The square is then rotated/spun an undisclosed number of times. You then get another turn and so on…Is there a strategy that is guaranteed to work in a finite number of moves, and if so, what is that smallest number of moves you need to be 100% you’ll be able to have all heads up or all tails up?

Math for all Grade blog

Jul 17, Geometry Formulas
17 Jul 2014  2:35 amGeometry Formulas 
Jul 17, Math Formulas
17 Jul 2014  1:35 amMath Formulas 
Jul 17, Trigonometry Formulas
17 Jul 2014  1:17 amTrigonometry Formulas 
Jul 15, Percentages Formulas
15 Jul 2014  3:44 amPercentages Formulas 
Jul 15, Combination Formulas
15 Jul 2014  3:44 amCombination Formulas