dale.hagglund + mathematics 11
The Julia Language
february 2012 by dale.hagglund
Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library. The library, mostly written in Julia itself, also integrates mature, best-of-breed C and Fortran libraries for linear algebra, random number generation, FFTs, and string processing. More libraries continue to be added over time. Julia programs are organized around defining functions, and overloading them for different combinations of argument types (which can also be user-defined).
performance
source
open
algorithms
mathematics
execution
parallel
language
programming
julia
from delicious
february 2012 by dale.hagglund
Octave
february 2011 by dale.hagglund
"GNU Octave is a high-level interpreted language, primarily intended for numerical computations. It provides capabilities for the numerical solution of linear and nonlinear problems, and for performing other numerical experiments. It also provides extensive graphics capabilities for data visualization and manipulation. Octave is normally used through its interactive command line interface, but it can also be used to write non-interactive programs. The Octave language is quite similar to Matlab so that most programs are easily portable."
math
software
octave
gnu
programming
mathematics
science
numerical
analysis
matlab
february 2011 by dale.hagglund
How to Read Mathematics
october 2010 by dale.hagglund
What are the common mistakes people make in trying to read mathematics? How can these mistakes be corrected?
math
mathematics
article
reading
education
learning
teaching
science
read
academic
study
october 2010 by dale.hagglund
MathJax | Beautiful math in all browsers
october 2010 by dale.hagglund
MathJax is an open source JavaScript display engine for mathematics that works in all modern browsers.
ajax
browser
development
web
display
html
javascript
latex
tex
math
mathematics
typography
equation
equations
mathml
software
october 2010 by dale.hagglund
Steven Strogatz on the Elements of Math - Series - The New York Times
june 2010 by dale.hagglund
"Steven Strogatz, an award-winning professor, takes readers from the basics to the baffling in a 15-part series on mathematics. Beginning with a column on why numbers are helpful, he goes on to investigate topics including negative numbers, calculus and group theory, finishing with the mysteries of infinity."
math
mathematics
calculus
derivative
integral
differential
infinity
education
teaching
tutuorial
cornell
steven
strogatz
june 2010 by dale.hagglund
Dismantling the calculus pyramid » Fun Math Blog
october 2009 by dale.hagglund
All of elementary and high school mathematics is building up toward calculus. In this brief video, Mathemagician Arthur Benjamin proposes replacing this pinnacle of pre-secondary math education with statistics, which he suggest would be much more relevant and useful in the daily lives of most people.
math
mathematics
education
calculus
statistics
arthur
benjamin
teaching
october 2009 by dale.hagglund
CVC3 Theorem Prover
october 2009 by dale.hagglund
"CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination. CVC3 is the last offspring of a series of popular SMT provers, which originated at Stanford University with the SVC system."
cvc3
theorem
prover
math
mathematics
tools
analysis
software
development
formal
methods
programming
october 2009 by dale.hagglund
The Significance of Shannon's Work
july 2009 by dale.hagglund
Claude Shannon's creation in the 1940's of the subject of information theory is arguably one of the great intellectual achievements of the twentieth century. Information theory has had an important and significant influence on mathematics, particularly on probability theory and ergodic theory, and Shannon's mathematics is in its own right a considerable and profound contribution to pure mathematics.
claude
shannon
information
theory
compression
encoding
entropy
math
mathematics
channel
noise
coding
bell
labs
july 2009 by dale.hagglund
Paul Erdos -- A life that added up to something
may 2009 by dale.hagglund
The prolific mathematician Paul Erdos died on 20 September 1996. His Washington Post obituary ends with the sentence "He left no immediate survivors." Charles Krauthammer disputes this dismal summary by pointing out Erdos's vast intellectual legacy, and exploring the unique traits that lead to this legacy. "No survivors, indeed."
paul
erdos
mathematics
writing
obituary
inspiration
biography
math
article
charles
krauthammer
may 2009 by dale.hagglund
HAKMEM -- AI Memo No. 239
january 2009 by dale.hagglund
This is the famous "HAKMEM" memo published at MIT in 1972. It includes an eclectic selection of problems in computer science, number theory, algebra, bit hacking, and so on, sometimes with equally eclectic solutions.
hakmem
ai
mit
artificial
intelligence
gosper
folklore
culture
history
hacks
math
theory
hacking
geek
software
computer
code
algorithm
mathematics
january 2009 by dale.hagglund
Project Euler
november 2008 by dale.hagglund
"Project Euler is a series of challenging mathematical/computer programming problems that will require more than just mathematical insights to solve. Although mathematics will help you arrive at elegant and efficient methods, the use of a computer and programming skills will be required to solve most problems. The motivation for starting Project Euler, and its continuation, is to provide a platform for the inquiring mind to delve into unfamiliar areas and learn new concepts in a fun and recreational context. The intended audience include students for whom the basic curriculum is not feeding their hunger to learn, adults whose background was not primarily mathematics but had an interest in things mathematical, and professionals who want to keep their problem solving and mathematics on the edge."
math
mathematics
education
puzzle
project
euler
programming
science
learning
logic
fun
algorithms
problems
interesting
challenge
algorithm
computing
number
theory
november 2008 by dale.hagglund
related tags
academic ⊕ ai ⊕ ajax ⊕ algorithm ⊕ algorithms ⊕ analysis ⊕ arthur ⊕ article ⊕ artificial ⊕ bell ⊕ benjamin ⊕ biography ⊕ browser ⊕ calculus ⊕ challenge ⊕ channel ⊕ charles ⊕ claude ⊕ code ⊕ coding ⊕ compression ⊕ computer ⊕ computing ⊕ cornell ⊕ culture ⊕ cvc3 ⊕ derivative ⊕ development ⊕ differential ⊕ display ⊕ education ⊕ encoding ⊕ entropy ⊕ equation ⊕ equations ⊕ erdos ⊕ euler ⊕ execution ⊕ folklore ⊕ formal ⊕ fun ⊕ geek ⊕ gnu ⊕ gosper ⊕ hacking ⊕ hacks ⊕ hakmem ⊕ history ⊕ html ⊕ infinity ⊕ information ⊕ inspiration ⊕ integral ⊕ intelligence ⊕ interesting ⊕ javascript ⊕ julia ⊕ krauthammer ⊕ labs ⊕ language ⊕ latex ⊕ learning ⊕ logic ⊕ math ⊕ mathematics ⊖ mathml ⊕ matlab ⊕ methods ⊕ mit ⊕ noise ⊕ number ⊕ numerical ⊕ obituary ⊕ octave ⊕ open ⊕ parallel ⊕ paul ⊕ performance ⊕ problems ⊕ programming ⊕ project ⊕ prover ⊕ puzzle ⊕ read ⊕ reading ⊕ science ⊕ shannon ⊕ software ⊕ source ⊕ statistics ⊕ steven ⊕ strogatz ⊕ study ⊕ teaching ⊕ tex ⊕ theorem ⊕ theory ⊕ tools ⊕ tutuorial ⊕ typography ⊕ web ⊕ writing ⊕Copy this bookmark: