lilulo + math   977

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
Jupyter notebooks to support IA maths teaching
math  ai 
september 2017 by lilulo
Qeditas is a project to apply block chain technology to support the construction of a library of formalized mathematics.
It is intended to be a realization (or possibly revival) of the QED project, as described in the QED Manifesto.
november 2016 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  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  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  paper  papers  parallel  parsing  patterns  people  performance  philosophy  physics  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: