lilulo + math   1022

Evan Chen • Napkin
The Napkin project is a personal exposition project of mine aimed at making higher math accessible to high school students
math  book 
december 2017 by lilulo
garth-wells/IA-maths-Jupyter
Jupyter notebooks to support IA maths teaching
math  ai 
september 2017 by lilulo
« earlier      
per page:    204080120160

related tags

3d  agda  ai  AL  algebra  algorithm  algorithms  api  apl  art  article  atlas  biology  blog  book  books  c  c++  cas  categories  category-theory  challenge  clojure  code  complexity  constructive  constructive-math  cool  coq  cryptography  cs  data  data-structure  datamining  dependent-types  design  dev  development  distributed  distribution  distrubution  drawing  dsl  ebook  ebooks  editor  emacs  engine  essays  factor  fonts  formal-grammar  formal-math  formal-method  formalization  forth  forum  foundation  fractal  fractals  framework  functional  functional-programming  GA  game  game-theory  gamedev  games  geometry  git  go  golang  grammar  graph  graphics  gui  hack  hacks  hash  hashing  haskell  higher-order  history  howto  html  ide  image-processing  information  Intuitionistic  ipad  iphone  ipython  Isar  J  java  javascript  journal  julia  lambda  lambda-calculus  language  languages  latex  learning  lectures  lib  library  linear-algebra  links  lisp  list  logic  low-level  machine-learning  map  maps  markdown  math  mathematica  meta  method  mit  mizar  mupad  music  networking  neural-networks  news  notation  notes  number-theory  numbers  numerical  ocaml  office  online  online-learning  ontology  opengl  opensource  optimization  paper  papers  parallel  parsing  patterns  people  performance  philosophy  physics  pl-theory  plt  polynomials  probability  problems  programming  proof  publishing  puzzle  puzzles  python  qed  reading  reference  research  review  reviews  riddles  ring  sage  scheme  science  set-theory  sets  signal-processing  simulation  software  sound  specification-language  statistics  story  syntax  systems  testing  theorem-proving  theory  tool  tools  tutorial  tutorials  type-theory  types  typography  vernacular  video  visualization  webapp  webdev  wiki 

Copy this bookmark:



description:


tags: