Collaborative Calculation and Data Science

colby

sagemath

cornellcollege

facebook

github

google

depaul

wstein

See https://sagemanifolds.obspm.fr/intro_to_manifolds.html  and https://github.com/sagemanifolds/IntroToManifolds  

Try doing some basic maths questions in the Lean Theorem Prover. Functions, real numbers, equivalence relations and groups. Click on README.md and then on "Open in CoCalc with one click".

📚  The CoCalc Library - books, templates and other resources

Aaron Tresham Calculus Materials - Feb 2018 snapshot

All published worksheets from http://sagenb.org

William A. Stein

Product

Resources

Company