A Vietnamese dissident blogger with dual French citizenship arrived in Paris on Sunday after he was stripped of his birth nationality by authorities in the oneparty state and deported. Former mathematics lecturer Pham Minh Hoang was put on a plane to Paris late Saturday, weeks after his Vietnamese citizenship was revoked  a rare move that has sparked outrage among critics of the communist government who accuse it of quashing dissent by any means available.


Most Popular Stories

VietnameseFrench dissident blogger deported to France
Search for "math OR mathematics"25 Jun 2017  4:54 am 
Algorithm generates optimal origami folding patterns for any shape
Mathematics News  ScienceDaily23 Jun 2017  10:15 amA new algorithm generates practical paperfolding patterns to produce any 3D structure. 
Keep Rolling Luggage Upright with Physics
Scientific American  Math21 Jun 2017  5:05 pmA team of physicists has revealed why rolling suitcases start rocking from wheel to wheel—and how to avoid that frustrating phenomenon. Christopher Intagliata reports.  Read more on ScientificAmerican.com 
Questions for: ‘Ending the Curse of Remedial Math’
Mathematics13 Jun 2017  1:45 amWhat strategies does the CUNY Start program use to serve as a model for remedial students at the college level? 
Evaluating Edtech for Efficacy, StandardsAlignment, and Student Growth
Blog – DreamBox Learning20 Jun 2017  5:00 amPeople who’ve never been to Wichita think it’s a rural area—some vestige of the Wild West, replete with tumbleweeds and freeroaming cattle. Not so. Today, Wichita is quite urban—it’s an industrial hub and the largest city in the state of Kansas. In fact, the Wichita Public Schools district is the biggest between the Mississippi and the Rockies, and it serves a richly diverse population of more than 50,500 students from 86 different countries. For this reason, Wichita’s recent success implementing digital curriculum districtwide provides a valuable use case that will resonate…




Search for "math OR mathematics"

VietnameseFrench dissident blogger deported to France
25 Jun 2017  4:54 amA Vietnamese dissident blogger with dual French citizenship arrived in Paris on Sunday after he was stripped of his birth nationality by authorities in the oneparty state and deported. Former mathematics lecturer Pham Minh Hoang was put on a plane to Paris late Saturday, weeks after his Vietnamese citizenship was revoked  a rare move that has sparked outrage among critics of the communist government who accuse it of quashing dissent by any means available. 
In world's largest refugee camp, youth are drawn to soccer
25 Jun 2017  4:42 amThe soccer field is littered with sharp stones, but the girls who attack the ball with their bare feet play on. Here in what has become the world's largest refugee settlement, youth from South Sudan are drawn to soccer, a rare source of entertainment in an otherwise dreary existence. 
Peg + Cat
25 Jun 2017  4:36 amIn each episode, Peg and Cat find themselves thrust into the middle of a wacky word problem. This problem isn't just an academic exercise for them, it's a real life problem...a messy funny crisis they have to solve to get them out of trouble. 
this story ao
25 Jun 2017  4:29 amPictured, front row, from left, are: Dr. Richard Cosentino, president of Lander, and Dr. Ray Brooks, president of Piedmont Tech. Back row, from left, are: Dr. Dave Slimmer, Lander dean of science and math; Jennifer Mathis, Lander executive director of Admissions; Andy Benoit, Lander vice president of enrollment and access management; Dr. David Mash, Lander provost; Dr. Jack Bagwell, PTC vice president for academic affairs; Tamatha Sells, PTC dean of student services; Dr. Brad Griggs, PTC dean of arts and sciences; and Renae Frazier, PTC dean of admissions. 
How Factory Closures Doom the Next Generation
25 Jun 2017  4:19 amJustin Williams, now 24, was a teenager when the Indiana manufacturing plant where both of his parents worked shut down in 2007. He still works in the eastern Indiana town where he was raised, but told me he didn't feel that there was a very supportive network for him growing up.



Mathematics News  ScienceDaily

Algorithm generates optimal origami folding patterns for any shape
23 Jun 2017  10:15 amA new algorithm generates practical paperfolding patterns to produce any 3D structure. 
Mathematical biology tackles destructive plant virus
20 Jun 2017  11:29 amPlant diseases pose a serious threat to global food security, especially in developing countries, where millions of people depend on consuming what they harvest. In subSaharan Africa, one plant disease in particular  maize lethal necrosis  is ravaging one of the region's preferred crops for food, feed and income. But understanding its biology in order to manage the disease is difficult because the disease arises from two viruses interacting  which is where mathematics comes into play. 
Cow herd behavior is fodder for complex systems analysis
20 Jun 2017  8:42 amWith closer inspection, researchers have recognized that what appears to be a randomly dispersed herd peacefully eating grass is in fact a complex system of individuals in a group facing differing tensions. A team of mathematicians and a biologist has now built a mathematical model that incorporates a cost function to behavior in such a herd to understand the dynamics of such systems. 
Mathematicians deliver formal proof of Kepler Conjecture
16 Jun 2017  7:21 amA mathematical problem more than 300 years old gets a formal proof with the help of computer formal verification. 
Shortcut to satellitebased quantum encryption network
15 Jun 2017  9:05 amResearchers demonstrate groundbased measurements of quantum states sent by a laser aboard a satellite 38,000 kilometers above Earth.



Scientific American  Math

Keep Rolling Luggage Upright with Physics
21 Jun 2017  5:05 pmA team of physicists has revealed why rolling suitcases start rocking from wheel to wheel—and how to avoid that frustrating phenomenon. Christopher Intagliata reports.  Read more on ScientificAmerican.com 
How a Math Formula Could Decide the Fate of Endangered U.S. Species
19 Jun 2017  6:00 amFeds consider “conservation triage” that would let some animals go extinct to save funds for protecting others  Read more on ScientificAmerican.com 
For World Tessellation Day, Remember to Look Down
17 Jun 2017  6:00 amJune 17 is World Tessellation Day. Take a moment to look atthe beautiful patterns under your feet  Read more on ScientificAmerican.com 
The Maths of Life and Death: Our Secret Weapon in the Fight against Disease
15 Jun 2017  8:30 amMathematics is increasingly integral to biology as more detailed experiments in recent years have led to a huge influx in biological data  Read more on ScientificAmerican.com 
How Mother Nature and a Pentagon Mathematician Created the World's Largest Instrument
9 Jun 2017  6:15 amThe Great Stalacpipe Organ operates by rhythmically striking 37 different stalactites scattered across the 3.5acre cave  Read more on ScientificAmerican.com



Mathematics

Questions for: ‘Ending the Curse of Remedial Math’
13 Jun 2017  1:45 amWhat strategies does the CUNY Start program use to serve as a model for remedial students at the college level? 
YearEnd Roundup, 201617  All Our Lesson Plans, All in One Place
7 Jun 2017  6:07 amA Learning Network lesson plan directory, covering all academic subjects from this past year. 
Math Problem
16 May 2017  12:02 amHow long will it take you to figure out a problem that it took this boy less than a second to solve? 
Math Champion Wins With Answer About Pecking Chicks
15 May 2017  12:02 pmA 13yearold boy from Texas took less than a second to answer the word problem in the Raytheon Mathcounts National Competition. 
No Such Thing as a Math Person
15 May 2017  4:00 amGoing to an allgirls school isn’t necessarily what makes a girl good at math, research finds.



Blog – DreamBox Learning

Evaluating Edtech for Efficacy, StandardsAlignment, and Student Growth
20 Jun 2017  5:00 amPeople who’ve never been to Wichita think it’s a rural area—some vestige of the Wild West, replete with tumbleweeds and freeroaming cattle. Not so. Today, Wichita is quite urban—it’s an industrial hub and the largest city in the state of Kansas. In fact, the Wichita Public Schools district is the biggest between the Mississippi and the Rockies, and it serves a richly diverse population of more than 50,500 students from 86 different countries. For this reason, Wichita’s recent success implementing digital curriculum districtwide provides a valuable use case that will resonate with many looking to make the leap to edtech. Back in April, Debbie Thompson, mathematics curriculum specialist for the... 
Get Ready for 5 Days of TechnologyCharged Learning in San Antonio
15 Jun 2017  5:00 amNext week, more than 15,000 educators will converge in San Antonio for the ISTE 2017 Conference & Expo. The event boasts more than 1,000 opportunities to personalize your learning and create a professional development path expressly tailored to your own unique needs. If you’re planning to attend, you’ll have plenty of chances to connect with DreamBox, and we hope you’ll take advantage of them all. First, we’re particularly excited to show off our revolutionary MyFlexPD™ offering—a new justintime professional development solution that’s driven by student data. Be among the first to demo MyFlexPD! Visit Booth #520 in the expo hall to demo the latest from DreamBox—and enter to win an iPad mini... 
DreamBox Debuts New Professional Learning Solution that’s Driven by Student Data
13 Jun 2017  5:00 amLast Thursday, DreamBox offered customers and friends a sneak peek at our brand new professional development (PD) solution, MyFlexPD™, the on demand component of DreamBox Learning FlexPD™. If you missed the live 30minute webcast, you can view the recorded session and demo on demand here. DreamBox director of PD Thera Pearce and senior curriculum designer Kelly Urlacher unveiled a transformative approach to professional learning that finally delivers on the promise of PD. As former teachers and adult learners themselves, Thera and Kelly know all too well where most current PD solutions fall short. Constrained by a lack of time, resources, and access to relevant content, they too once struggled to get... 
Implementing Professional Development that Sets Teachers and Students Up for Success
8 Jun 2017  6:00 amAs an educator with Baltimore County Public Schools (BCPS) for nearly 14 years, I have experience teaching both third and fourth grade. In my current position as a Student and Teachers Accessing Tomorrow (STAT) educator, I provide professional development (PD) to all teachers in my building. Working closely with the administrative team, I facilitate teachers’ learning by identifying needs that tie into our School Progress Plan (SPP) and the Baltimore County curriculum. Vincent Farm Elementary has been using DreamBox as a component of the current BCPS mathematics curriculum for almost two years. DreamBox is just one of the ways that BCPS ensures that students receive personalized instruction. Creating a... 
Teachers & Technology: Unlocking Learning Potential through Powerful Partnership
7 Jun 2017  12:32 pmAn article in today’s New York Times highlighted the work that technology philanthropists like Marc Benioff, Mark Zuckerberg, and Reed Hastings are doing to support schools and spur innovation in education. We applaud the commitment of these CEOs to use their talents, passions, and resources to improve equity and learning outcomes for all students. At DreamBox Learning, we are hopeful about the future of education because of three converging influences: <ol> <li>Parents understand that their children need to be prepared for an informationdriven, globalized economy that has technology at its core. Increasingly, parents are demanding that schools deliver more so that their kids just don’t survive and thrive in...</li></ol>



Loren on the Art of MATLAB

Customer Blog, a Great Resource, Especially for Earth Sciences
12 Jun 2017  5:21 amCustomer Blog, a Great Resource, Especially for Earth SciencesI recently started following a new blog by Martin Trauth, called MATLAB Recipes for Earth Sciences. Even if you are not an earth scientist (which, by the way, is part of my scientific lineage), you may find many useful nuggets there.Martin is a geoscience professor at University of Potsam. He's written wellregarded textbooks, one with the same title as his blog (which he currently posts to at a very healthy pace, one I cannot sustain!). Martin's post cover a huge range of topics, many of which are not at all specific to, though helpful to, geoscientists. Some notable titles I read recently include:<ul><li>Missing Version History of MATLAB...</li></ul> 
MATLAB and the 2017 Eclipse – Part 1: The Citizen CATE Experiment
31 May 2017  6:43 amToday I’d like to introduce a guest blogger, David Garrison, who is a MATLAB Product Manager here at MathWorks. This is the first in a series of blogs over the next few months describing MathWorks involvement in an exciting project related to the 2017 solar eclipse.<ul><li>Part 1: The Citizen CATE Experiment</li><li>Part 2: Training the Volunteers</li><li>Part 3: Rehearsing for the Eclipse</li><li>Part 4: Imaging the Eclipse Here is Part 1 of the Series.</li></ul>Here is Part 1 of the Series.Contents<ul><li>The 2017 Solar Eclipse</li><li>The Citizen CATE Experiment</li><li>MathWorks Involvement in the Project</li><li>What are Your Plans for the Eclipse?</li><li>Next Up: Training the Volunteers</li></ul>The 2017 Solar EclipseAs many of you know, a total solar eclipse will occur on August 21, 2017 where... 
How to win ALL marbles in Mancala on your first move, with MATLAB!
22 May 2017  7:02 amToday's guest blogger is Anoush Najarian who leads the MATLAB Performance Team at MathWorks. And while she mostly focuses on helping MATLAB run fast, in her spare time, she likes to use MATLAB for hobby projects in robotics, math, and games.Contents<ul><li>Winning at Mancala</li><li>The Rules</li><li>Is There a FirstPlayer Advantage? (You Bet!)</li><li>Alternative Rule Sets</li><li>What's Next?</li></ul>Winning at MancalaLet me tell you what happened when I got tired of losing at Mancala, and decided to write some MATLAB code to play it. Shoutout to my daughter, sixth grader Natalie, for introducing me to the game, and being a partner in these experiments. The RulesNow, there are many ways to play the games in the Mancala family. The rule set we wrote the... 
Stop If
8 May 2017  12:00 amToday's guest post comes from Sean de Wolski, one of my fellow Application Engineers. You might recognize him from MATLAB answers and the pick of the week blog!Have you ever wanted MATLAB to pause in debug mode when a certain condition is met? Perhaps when a specific problemfile out of a directory is read or on an iteration of a forloop that yields an unexpected result? Perhaps that forloop has to iterate a few dozen or hundred times before the problem iteration occurs and you don't want to walk through step by step in debug mode?In this post, we're going to survey a few different ways to handle this.Contents<ul><li>Keyboard</li><li>DBSTOP ...</li><li>Testing and Clean Up</li><li>Bonus</li><li>Comments</li></ul>KeyboardI was talking with a MATLAB user... 
MATLAB Guide, a New Edition
1 May 2017  4:36 amMATLAB Guide, a New EditionDisclaimer: I read very few MATLAB books. I'm thinking you can guess why!I recently got a copy of the latest edition of this book, MATLAB Guide, Third Edition, by Desmond and Nick Higham. And I have enjoyed wandering through it. Des and Nick bring the clarity of their teaching to the book (or is it the other way around?). This is both a good reference book and introduction to MATLAB, though it doesn't replace (nor does it preclude) getting your hands on the keyboard and working problems out for yourself. They encourage you to get tapping away on your keyboard to get your own MATLAB experience.The book's included topics span a large area of computing  e.g., matrices, linear...



Homeschool Math Blog

A fiveyear old GOT the connection between addition and subtraction
31 May 2017  11:09 amI just got this in from a customer... how PRECIOUS!QUOTELydia, who is not yet five years old, has just started the subtraction section of Math Mammoth 1A. She made an amazing discovery and wanted to tell you about it. A photo of her letter is attached, which a translation here."Dear Math People,I found outWhen you do a subtractionBackwardsIt's addingDid you know about that?Lydia"UNQUOTELydia's mom also said that she feels Lydia is going to be so amazed when the workbook points this out a few pages from now! 
Multiplication algorithm and lattice multiplication
24 May 2017  6:41 amThis is a GOOD comparison between the standard multiplication algorithm and lattice multiplication!The author even brings in the area model for multiplying multidigit numbers (which I also show in Math Mammoth). The area model is of course only used to show students what is going on, based on place value  not to replace any algorithm.QUOTEIn our desire for "efficiency," we lose transparency in the standard "long multiplication" algorithm.Read it at https://mathblog.com/multiplication/ 
Math Mammoth printed books sale
22 May 2017  12:55 pmMath Mammoth printed books at now at 20% off at Rainbow Resource Center!Please note that they sell TWO versions of the books:(1) Books in full color(2) Books with blackandwhite inside pagesBOTH have fullcolor covers so you cannot go by that. The full color books cost slightly more. You can mix and match if you'd like, such as by purchasing the student books in full color and the answer key and test books with blackandwhite inside pages.This promotion runs till June 2, 2017. 
Math Mammoth sale  May 2017
14 May 2017  7:30 amUse coupon code MAYSALE2017 to get 25% off of all Math Mammoth & Make It Real Learning downloads and CDs sold at www.mathmammoth.com site. 😃This promotion is valid through Monday, May 29, 2017. 
Practice math facts online with your voice
12 May 2017  9:23 amNow there's a place where you  or your child  can practice math facts with your VOICE! Just say the answers out loud to the computer!You do need to use Google Chrome for it to work with voice... otherwise, it does also have buttons you can push to give your answers.http://www.dadsworksheets.com/mathflash/additionhttp://www.dadsworksheets.com/mathflash/subtractionhttp://www.dadsworksheets.com/mathflash/multiplicationhttp://www.dadsworksheets.com/mathflash/divisionYoungsters might find this intriguing to try out!



Denise Gaskins' Let's Play Math

Let’s Play Math in Korean
22 Jun 2017  9:51 amOoo, look at my shiny new book! Let’s Play Math is now out in Korean. How cool is that? You can find the book at these two major bookstores: And probably in other places where Korean education or parenting books are sold. I’m sorry to say I can’t read Korean — but I did play math there a couple years back. My daughter teaches English through EPIK, and I had a wonderful visit with her in Jeju. If you’re interested, you can see a few of my photos here, and my fractionmath sidewalk puzzle here. And if you know a Koreanspeaking family who wants to play math with their kids, I’d be honored if you share my book. Want to help your kids learn math? Claim your free 24page problemsolving booklet, and sign... 
10 Ways to Play Math with PlayDoh
20 Jun 2017  11:29 amToday we have a guest post from Lucy Ravitch, author of the new Kickstarter picture book Trouble with Monkeys: A math concept story of place value. She’s sharing a few ideas from her Math Activity Thursday (M.a.Th.) video series. Enjoy! Hello, math fans and enthusiasts! Each week I try to give you and your family a fun math activity to try. Two months ago I posted this video with ten ways to turn play dough into an engaging activity for lower and upper elementary math. If you want to make your own dough from scratch here are a few simple recipes. I encourage you to let your children play freely at first, before trying these activities. Below I have identified some of the math concepts that your kids will... 
Education Bloggers: Share Your Post!
19 Jun 2017  4:48 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 this month’s Math Teachers at Play (MTaP) math education blog carnival. Click here to enter your blog post Don’t Procrastinate! Time flies, and we’ll miss your entry. The deadline for submissions is Friday, June 23. The Math Teachers at Play carnival will be posted at Math Mama Writes… blog. Need an IdeaStarter? If you haven’t written anything about math lately, here are some ideas to get your creative juices flowing… <ul> <li>Elementary Concepts: As Liping Ma showed, there is more to understanding and teaching...</li></ul> 
Math Humor and Copywork
12 Jun 2017  12:57 pmHomeschooling Memories… The more years we spent homeschooling, the more I appreciated Charlotte Mason’s work and tried to incorporate her ideas into our laidback, eclectic, notquiteunschooling program. We never fit the typical Charlotte Mason mold. Mosquitos and natural laziness limited our nature walks, and our version of narration was much too informal. But those are just techniques, methods. What really interests me in Mason’s writing is the philosophy behind the methods. Two points resonated: That we must respect our children as persons in their own right. And that we must provide a generous, wideranging feast to their minds. Striving to live out those principles had a profound influence on our... 
New Book: Word Problems from Literature
5 Jun 2017  8:57 amThe posts on my Let’s Play Math blog are, for the most part, firstdraft material. Of course, I’ve proofread each post — many times! because I’m a perfectionist that way, and yet I still miss typos — but these articles haven’t gotten the sort of feedback that polishes a book manuscript. Well, now I’m taking some of the best of my old blog posts, expanding them with a few new games or activities, and giving them that bookquality polish. Let me introduce my newest series, the Playful Math Singles. Under Construction … The Playful Math Singles from Tabletop Academy Press will be short, topical books featuring clear explanations and readytoplay activities. I’m hoping to finish up two or three of these...



Basic mathematics blog

Multiply Using Partial Products
8 Jun 2017  10:52 amLearn quickly how to multiply using partial products 
Math Skills by Grade
21 May 2017  6:19 pmSharpen your math skills by grade here with crystal clear lessons 
Online Math Tests
21 May 2017  2:34 pmA great variety of online math tests to see how good you are at math. 
Free ALgebra Lessons
21 May 2017  8:44 amEnjoy these free algebra lessons that will make learning algebra online easy 
Prealgebra Lessons
21 May 2017  7:12 amPrealgebra lessons will teach you how to add, subtract, multiply, and divide different types of numbers



Computational Complexity

Joan Clarke (19171996)
24 Jun 2017  6:44 amI'm in San Francisco for the ACM conference celebrating 50 years of the Turing Award. I'll post on STOC and the Turing award celebration next week. Today though we remember another member of Bletchley Park, Joan Clarke, born one hundred years ago today, five years and a day after Turing. Clarke became one of the leading cryptoanalysts at Bletchley Park during the second World War. She mastered the technique of Banburismus developed by Alan Turing, the only woman to do so, to help break German codes. Bletchley Park promoted her to linguist, even though she didn't know any languages, to partially compensate for a lower pay scale for woman at the time. Keira Knightly played Joan Clarke in The Imitation... 
Harvard revokes admission of students based on what was said in a private(?) chat room
20 Jun 2017  1:21 pmHarvard revoked the admission of 10 students (seehere) based on what the students said in a private (can't have been too private) chat room. (ADDED later upon reflection Harvard has only confirmed that there is a clause students are made aware of about immaturity and moral character. As for the reason for the revoking we only have what is reported and that comes from the students. Are the students trustworthy on this? Given that they are being expelled for moral reasons... But more seriously we really don't' know. I just want to caution that we do not know the full story and never will. Note that Harvard is not legally allowed to disclose why they revoked, while the students can say what they want.... 
The Power of Economic Inefficiency
14 Jun 2017  6:23 amI grew up in a time when long distance domestic phone calls from AT&T costed $0.20/minute off peak ($1.30 in today's dollars). I also grew up close to AT&T Bell Labs, a mecca that claimed more PhDs than any university many doing independent research. Now I get all the phone minutes I can use and Bell Labs is a tiny fraction of what it once was. Was it a good trade? Technology has helped eliminate many of the economic inefficiencies. Usually for the better but sometimes these inefficiencies has good side effects. For another example take airlineswe can now so easily compare airlines on price so they often compete on price at the cost of service. Don't even get me started on newspapers. Universities... 
Climate Change: The Evolution of the Deniers/Does Paul Ryan Hate His Grandchildren?
12 Jun 2017  8:29 amI went to the Mach for Science and then Drumpf pulled out of the Paris Accords. Causation or Correlation? I then posted about climate change (CC). That's caustation. 1) Deniers: The deniers have gone through several phases: There is no CC There is CC but its not caused by humans. There is CC and its caused by humans but since China and India and other countries aren't doing anything about it, if only we do it will have no effect except to ruin our economy. (Counter argument: the effects of climate change are economically devastating are insurance companies trying to pressure governments to do something about CC since CC's effects cause damage which hurts their bottom line?) Intermixed with these... 
Theory Jobs 2017
8 Jun 2017  5:17 amIn the fall wepoint to theory jobs, in the spring we see who got them. Likelast yearand years past I created a fully editableGoogle Spreadsheetto crowd source who is going where. Ground rules: <ul> <li>I set up separate sheets for faculty, industry and postdoc/visitors.</li> <li>People should be connected to theoretical computer science, broadly defined.</li> <li>Only add jobs that you are absolutely sure have been offered and accepted. This is not the place for speculation and rumors.</li> <li>You are welcome to add yourself, or people your department has hired.</li> </ul> This document will continue to grow as more jobs settle. So check it often. Edit



Mathematics and Computation

A modular formalization of type theory in Coq
29 May 2017  8:01 amHere are the slides for the talk I just gave at TYPES 2017 in Budapest. It is joint work with Philipp Haselwarter and Théo Winterhalter. The abstract for the talk is available online. It describes a complete formalization of dependent type theory which allows you to turn various features of type theory on and off, and it proves several basic formal theorems. GitHub repository: formaltypetheory Slides: TYPES 2017 – A modular formalization of type theory in Coq [PDF] 
Two PhD positions in Ljubljana starting October 2017
28 Mar 2017  4:27 amWe are looking for two PhD students at the Faculty of Mathematics and Physics, University of Ljubljana. The programme starts in October 2017 and lasts three years. The positions will be fully funded (subject to approval by the funding agency). The candidates should have a Master’s degree in mathematics or computer science. No knowledge of Slovene is required. The first PhD student will be advised by dr. Andrej Bauer. The topic of research is foundations of type theory. The candidate should have interest in mathematical aspects of type theory, and familiarity with proof assistants is desirable. The second PhD student will be advised by dr. Matija Pretnar. The topic of research is the theory of programming... 
Five stages of accepting constructive mathematics
10 Oct 2016  8:27 amIn 2013 I gave a talk about constructive mathematics “Five stages of accepting constructive mathematics” (video) at the Institute for Advanced Study. I turned the talk into a paper, polished it up a bit, added things here and there, and finally it has now been published in the Bulletin of the American Mathematical Society. It is not quite a survey paper, but it is not very technical either. I hope you will enjoy reading it. Free access to the paper: Five stages of accepting constructive mathematics (PDF) 
The new and improved Programming languages zoo
7 Sep 2016  1:39 amIt is my pleasure to announce the new and improved Programming languages Zoo, a potpourri of miniature but fully functioning programming language implementations. The new zoo has a decent web site, it is now hosted on GitHub, and the source code was cleaned up. Many thanks to Matija Pretnar for all the work. The purpose of the zoo is to demonstrate design and implementation techniques, from dirty practical details to lofty theoretical considerations: <ul> <li>functional, declarative, objectoriented, and procedural languages</li> <li>source code parsing with a parser generator</li> <li>recording of source code positions</li> <li>prettyprinting of values</li> <li>interactive shell (REPL) and noninteractive file processing</li> <li>untyped, statically and...</li></ul> 
Formal proofs are not just deduction steps
30 Aug 2016  8:08 amI have participated in a couple of lengthy discussions about formal proofs. I realized that an old misconception is creeping in. Let me expose it. In traditional mathematical logic (by which I mean firstorder logic, as established by Hilbert, Ackermann, Skolem, Gödel and others) the concepts of logical formula and formal proof are the central notions. This is so because the main goal of traditional logic is the metamathematical study of provability, i.e., what can be proved in principle. Other concerns, such as what can be computed in principle, are relegated to other disciplines, such as computability theory. It is too easy to forget that mathematical logic is only an idealization of what...



The Math Less Traveled

The curious powers of 1 + sqrt 2: a clever solution
21 Jun 2017  12:28 pmRecall that we are trying to answer the question: What’s the 99th digit to the right of the decimal point in the decimal expansion of ? In my previous post, we computed for some small and conjectured that the answer is , since these powers seem to be alternately just under and just over an integer. Today, I’ll explain a clever solution, which I learned from Colin Wright (several commenters also posted similar approaches). First, let’s think about expanding using the Binomial Theorem: We get a sum of powers of with various coefficients. Notice that when is raised to an even power, we get an integer: , , and so on. The odd powers give us irrational things. So if we could find some way to... 
The curious powers of 1 + sqrt 2: conjecture
17 Jun 2017  3:03 pmIn my previous post I related the following puzzle from Colin Wright: What’s the 99th digit to the right of the decimal point in the decimal expansion of ? Let’s play around with this a bit and see if we notice any patterns. First, itself is approximately so its powers are going to get large. Let’s use a computer to find the first ten or so: Sure enough, these are getting big (the tenth power is already bigger than ), but look what’s happening to the part after the decimal: curiously it seems that the powers of are getting rather close to being integers! For example, is just under , only about away. At this point, I had seen enough to notice and conjecture the following patterns (and I hope... 
The curious powers of 1 + sqrt 2
6 Jun 2017  12:20 pmRecently on mathstodon.xyz, Colin Wright posted the following puzzle: What’s the 99th digit to the right of the decimal point in the decimal expansion of ? Of course, it’s simple enough to use a computer to find the answer; any language or software system that can compute with arbitraryprecision real numbers can find the correct answer in a fraction of a second. But that’s obviously not the point! Can we use logical reasoning to deduce or prove the correct answer, without doing lots of computation? Even if we find the answer computationally, can we explain why it is the right answer? Solving this puzzle took me down a fascinating rabbit hole that I’d like to share with you over the next post or... 
Post without words #19
2 Jun 2017  12:25 pm 
Post without words #18
31 May 2017  7:31 pm



WordPress Tag: Mathematics

Ability and Mathematics: The Mindset Revolution that is Reshaping Education
25 Jun 2017  5:28 amThis article is on Jo Boaler’s website youcube, which if you haven’t seen yet, it is a wealth of research and practice. 14_Boaler_FORUM_55_1_web 
Learning & Teaching A Level (Post 16) Mathematics
25 Jun 2017  4:02 amI have made several updates to every page in the A Level series of pages recently. The A Level Resou 
Promoting Creative and Critical thinking in Mathematics and Numeracy
25 Jun 2017  12:52 amWhat is critical and creative thinking, and why is it so important in mathematics and numeracy education? Numeracy is often defined as the ability to apply mathematics in the context of day to day life. However, the term ‘critical numeracy’ implies much more. One of the most basic reasons for learning mathematics is to be able to apply mathematical skills and knowledge to solve both simple and complex problems, and, more than just allowing us to navigate our lives through a mathematical lens, being numerate allows us to make our world a better place. The mathematics curriculum in Australia provides teachers with the perfect opportunity to teach mathematics through critical and creative thinking. In... 
An Artificial Nutshell
24 Jun 2017  11:05 pmWhen you ask people what AI is, the answers are quite different. For some it is “something with robots” others succeed to narrow it down to smart software, but for most it’s as understandable as black holes and quantum computing; it sounds fancy but no clue what it is and discussing the subject is soon to complicated to do in a relaxed setting like those coffeeinacirclewithfamily occasions we now and then have. “AI is something with robots” AI is not one field of study, it still surprises me that people try to explain it as a singular subject. Artificial Intelligence is the center of merging crossroads of many different disciplines, one as important as the other. From Machine learning to... 
My piece about Geometry in Bigyan.org.in
24 Jun 2017  2:14 pmMy series of article ( one single piece, published in six parts ) about the journey of Geometry, from Euclid to Riemann in Bengali. Mostly inteneded for nonspecialist audience. No training in Mathematics is assumed beyond high school level. http://bigyan.org.in/2014/11/04/jyamitir_gorar_katha/ http://bigyan.org.in/2015/01/28/elementsofgeometrypart2/ http://bigyan.org.in/2015/07/05/elementsofgeometrypart3/ http://bigyan.org.in/2016/04/04/elementsofgeometrypart4/ http://bigyan.org.in/2017/06/03/elementsofgeometrypart5/ http://bigyan.org.in/2017/06/21/elementsofgeometrypart6/



Blog – MathBootCamps

What is the difference between business calculus and calculus?
5 Jun 2017  11:59 amThere is a lot of common ground between business calculus, sometimes called “applied calculus” or “calculus for business and the social sciences”, and calculus or “calc 1”. However, the focus of the courses are different and so are some of the main skills covered. Which course you take often depends on your major and what plans you may have for graduate school or further education. advertisement What topics are covered in both courses? In your first calculus course, you can expect to cover these main topics: <ul> <li>Limits – this is all about understanding the behavior of functions f(x) as they approach certain values of x. You will be finding limits using graphs and using algebraic...</li></ul> 
The pin code problem
15 Nov 2015  6:33 amHow many people do you need to get together before it will be reasonably likely that two share the same pin code? We know by the pigeonhole principle that given more than 10,000 we can be certain there is a repeat, but does the probability pass 50% much earlier? It turns out that this is closely related to the famous “birthday problem” and that you actually need fewer than 150 people before it is reasonably likely two share the same pin. In fact, if you include just SOME of the data we have on actual pin codes people selected, the number is dramatically smaller! You can read the details over on my personal blog: http://www.jerimiannwalker.com/pincodesandthebirthdayproblem/ The post The pin code... 
The Tools Needed for Math Screencasting
9 Nov 2014  3:55 pmWhile many of you are students, I know that a few of you are math teachers. This update is just for you! Over on my personal homepage (jerimiannwalker.com), I have started a series that will cover the tools and tricks I have learned about creating high quality math screencasts – the same screencasts I produce for this website and for my online courses. Part 1 of the series specifically talks about the software and hardware tools you would need if you were just getting started. You can read that article here: Math Screencasting – Part 1: Tools The post The Tools Needed for Math Screencasting appeared first on MathBootCamps. 
You Can Save Thousands of Dollars with CLEP Tests
11 Jun 2012  3:48 pmFor better or worse, one of my main goals in college was to finish as quickly as possible. Yes I loved learning and yes I really loved taking every math course I could, but there were these other courses that… well… got in the way. Of course being a few years older now and having a bit more experience, I can see the value in every required course. But at the time? Let’s just say I was more focused on the time and money involved. In reality, college is a bit of a game. There is the “love for learning” aspect where you develop as a person by progressing through these different courses and there is the “get the piece of paper and a job (or go to grad school, etc)” aspect that, while not ideal, is a big part of... 
Tutoring and the Training Wheels Effect
4 Jun 2012  6:28 amOne of the best things you can do as you are working through a course is to get a tutor. Tutors can guide your study towards problem areas and catch mistakes before they become habits. I think of a good tutor as acting like training wheels when you are learning to ride a bike: they keep you from falling over, but you are doing most of the real work! There can be a problem though. If you ride your bike with training wheels all the time, you are going to get really good. You are going to get really good at riding your bike with training wheels. “I worked with a tutor everyday and still bombed the test! I don’t know what else to do!” It’s frustrating when you think you are doing all of the right things. When...



Math ∞ Blog

Dr. Devlin Finds Fibonacci
31 May 2017  8:47 pmWhat would make you write a book about writing a book you recently published on a 13thcentury mathematician? When you’re Stanford University’s Keith Devlin (aka, NPR’s “The Math Guy”) and the mathematician is Leonardo of Pisa (aka, “Fibonacci”), the story of researching the first book, The Man of Numbers, becomes an incredible story in itself: Finding Fibonacci: The Quest to Rediscover the Forgotten Mathematical Genius Who Changed the World. What makes Devlin’s story so compelling is that it involves many other people, multiple countries, 900+ years, and enough setbacks, twists and turns, courage, and fortitude to rival fictional adventure. Throw in the idea that Leonardo’s work helped revolutionize... 
Models and Delving Deeper Into Division
30 May 2017  8:39 pmModels and Delving Deeper Into Division Last month, we unpacked the longdivision procedure taught in American K6 classrooms, tied it into the standard “long multiplication” algorithm, discussed issues with the loss of information traded for an increase in speed and efficiency, and also explore some alternative methods for doing long division. What was taken for granted was that we knew what division “is” (I use scare quotation marks here advisedly: it’s dangerous to try to be too restrictive about the underlying meaning of “simple, elementary” mathematical operations, and I do so here without wishing to suggest that what I am offering is or could possibly be definitive). My sense is... 
Keith Devlin: An Ambassador of Mathematics for Many Eras
30 May 2017  9:32 amAn Interview with Keith Devlin: An Ambassador of Mathematics for Many Eras Keith Devlin Dr. Keith Devlin is a cofounder and Executive Director of the university’s HSTAR institute, a cofounder of the Stanford mediaX research network, and a Senior Researcher at CSLI. He is a World Economic Forum Fellow, a Fellow of the American Association for the Advancement of Science, and a Fellow of the American Mathematical Society. His current research is focused on the use of different media to teach and communicate mathematics to diverse audiences. In this connection, he is a cofounder and President of an educational technology company, BrainQuake, that creates mathematics learning video games. He also works... 
What’s Hiding Within Long Division?
29 Apr 2017  11:52 pmLook familiar? For most people, if they ever learned to do long division properly, they had to “master” something similar to the above procedure/algorithm. What was not required was having the vaguest notion of what’s going on, why anyone should care about knowing how to do it, or why, if you did have some idea about what the answer was supposed to mean, this mumbojumbo got you to that answer correctly. Another way of describing the situation is “a black box.” You take two numbers, throw them into the “long division box,” turn the handle as many times as necessary, and – voila! – out pops the magic quotient, with a remainder, if any, in some form or other. Fabulous! Who needs conceptual understanding... 
Review: SOLVE THIS! A Book for ProblemSolvers (and Those Learning To Join Them)
25 Apr 2017  9:19 pmAfter first hearing of James Tanton (the subject of our April 2017 interview), I was excited to discover that he had books in print. The first one I got was SOLVE THIS! Even though I was already a mathematics teacher and teachereducator, I found many of the problems it offered challenging, some of them more than slightly so. Very few of them were familiar to me and many required thinking in areas of mathematics I knew little about, though that didn’t make them inaccessible or overly forbidding. What grabbed my attention instantly, however, was the way in which Tanton structured the book. There were three main divisions. The first, “Activities and Problem Statements,” had 30 sections, each of...



Math for all Grade blog

Jun 5, mathforallgrades
4 Jun 2017  9:21 pmmath for all grades covers in depth all math subjects :algebra, arithmetic, calculus with essential concepts and unlimited solved problems. 
Jun 1,
1 Jun 2017  2:34 am 
May 10, Percent
10 May 2017  3:20 amPercent is a fraction with denominator hundred. How to convert percent into decimals, fractions and ratios are problems in percentages. Percent more, percent less are other problems. 
May 10, Triangle Inequality Property of sides
10 May 2017  2:52 amTriangle Inequality Property of sides 
May 10, Percentages1
10 May 2017  2:06 amPercentages1



MIND Research Institute Blog

Digital Manipulatives Help Facilitate Math Comprehension
20 Jun 2017  9:00 amManipulatives are any objects that students interact with in order to learn. Math educators have always relied on physical manipulatives to teach concepts to students such as pie wedges to showcase fractions, fake currency to explore the value of money, or blocks to build number sense. With education technology becoming more common in classrooms, a new set of digital manipulatives is being used to facilitate mathematical understanding. Digital representations that can be slid, flipped, turned, and dropped as if it were a real 3dimensional object are being leveraged to deepen the conceptual understanding of math. Concrete vs. Digital Manipulatives Research suggests that physical manipulatives are... 
MindBody Math: Manipulatives in the Digital Age [Infographic]
15 Jun 2017  9:00 amThe mindbody connection is widely accepted in health and wellness, inspiring people to practice yoga or meditation, and for competitive athletes to seek sports psychologists. But what role does the mindbody connection play in the math classroom? Recently, a MIND Research Institute psychologist, mathematician and education researcher teamed up to explore decades of research into how our bodies can be involved in learning, and the ways that technology makes it easier than ever to put these powers to use in the classroom. This infographic presents highlights of what they found. Digital Manipulatives Infographic Interested in sharing this infographic on your website? Copy and paste the embed code... 
What the Perceptionaction Cycle Tells Us About How the Brain Learns
13 Jun 2017  9:00 amA toddler scoops up mud, loving the way it squishes between his fingers. As he brings the wet, cool clump to his lips his caretaker warns, “No! That’s gross!” He puts it in his mouth anyway and a moment later his face wrinkles, he starts crying and spitting out the dirt. Humans learn through this same basic process throughout life  not by being told, but by doing. We’re hardwired to learn by interacting with the world around us and then perceiving the results. Neuroscientists call this simple yet powerful system the perceptionaction cycle. How the Brain Works “All goal directed behavior is performed within the broad context of the perceptionaction cycle, which is grounded on a basic... 
Parent's Guide to ST Math at Home
6 Jun 2017  9:00 amIf you’re like many parents, when you hear the words “I need help with my math homework,” you’re filled with dread. The good news is thatST Math, the gamebased instructional software,is like no other math homework out there. Instead of showing students how to solve a particular problem, parents become the facilitator by asking probing questions to guide students through their homework. A Problemsolving Approach to Math The goal of ST Math is to not only help students learn crucial math concepts by conquering tough challenges, but also gain self confidence in the process.That means it’s okay to struggle, make mistakes and get answers wrong. Homeworkis a great opportunity... 
2017 Gameathon Entries: Sneak Peek
1 Jun 2017  9:00 amThe fourth annual K12 Gameathon is well underway, and we’ve received some topnotch entries already! Check out a couple of our favorites below: Snakes by the JiJi Masters The JiJi Masters practice their counting skills across a game board in Snakes: Math Bands by the Geometryers The Geometryers test their knowledge with their card game, Math Bands: Elemental Math Wizards The Elemental Math Wizards answer math questions in an app game (with a killer soundtrack!): Building Business by the Business Builders Test your aptitude for multiplication with the Business Builders' board game, Building Business: Do you have an awesome idea for a game of your...



Ash Tutors

What are Special Educational Needs (SEN)?
8 Jun 2017  4:10 amReading time: 5.2 minutes Section 20 of the Children and Families Act 2014 defines a child as having Special Educational Needs (SEN) if he or she... ''(has)... a learning difficulty or disability which calls for special educational provision to be made for them.''Or ''Their special educational needs may require extra or different provision in relation to thinking and understanding, as a result of physical or sensory difficulties, emotional or behavioural difficulties, difficulties with speech and language or how they relate to and behave with other people. Disabled children and young people may require extra or different provision, for example, if they are less mobile than... 
10 reasons to hire a private tutor for your child
5 May 2017  2:59 amReading time: 3.2 minutes Why hire a private tutor for your child? Here are 10 good reasons:The demand for private tuition is increasing, due mainly to the popularity of private tuition with parents who want to give their child extra support or prepare them for oncoming examinations.In no particular order, here are 10 reasons to hire a private tutor for your child. 1. Confidence building Some children lack confidence in school and as a result, they can fall behind and find themselves struggling academically. Private tuition can build a child's confidence in next to no time and guide them to academic success they might otherwise miss out on in school.'Getting things wrong' in... 
When is it safe to leave your child home alone?
5 May 2017  2:58 amReading time: 4 minutes Deciding when your child is ready to be left home alone is a decision not to be taken lightly.There are a lot of factors to take into consideration and it's made all that harder because there are no rules or laws to follow.The law doesn't say an age when you can leave a child on their own, but it's an offense to leave a child alone if it places them at risk. (Suitably vague!)It all boils down to how comfortable you and your child are with the idea as well as how adaptable and mature they are.While there is no determined legal age to leave a child at home alone, it should be sufficient to say that babies, toddlers and young children should never be left... 
What's the right age for your child's first email account?
5 May 2017  2:58 amReading time: 2.6 minutes What age is considered appropriate for a child to have their own email account?A growing number of schools do offer pupils school email accounts. Not usually in infant school, but as they move through the education system into junior school pupils are generally assigned a school email address and password. Teachers can monitor and scan for bad language and harmful content. Any email that causes concern will be forwarded to the designated teacher.This works because it's an email within an 'enclosed network'. Using email across the entire worldwide web is a different matter!It's only natural that with so much exposure to technology from a young age,... 
Screen time for kids: How much is too much?
5 May 2017  2:56 amReading time: 3.8 minutes First off, what exactly is screen time? Well, screen time is the time spent in front of a screen, such as watching programmes on television, using computers, playing video or handheld computer games, using IPads and smartphones.From a very young age, children can get addicted to IPads, and research has shown children as young as two spending excessive amounts of time on their IPads which in the short term can lead to sleep disorders, inability to concentrate, aggression and the inability to communicate with others.But what about long term damage? Can excessive screen time cause permanent damage to a child's still developing brain? Between birth and...
