dale.hagglund + mathematics   11

The Julia Language
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
"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
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
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
"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
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
"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
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
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
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
"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

Copy this bookmark:



description:


tags: