Réseau social décentralisé — AT Protocol
Results for “Leroy Merlin Pro”
1841 tools found
Harvard. 2013 ~ 2018. Covers Analysis, Probability, Linear Algebra, Complex Analysis, Numerical Analysis, Statistics, Optimization, Algebraic Topology, Quantum Field Theory, and more.
Jonathan Weisberg
Professor H. Jerome Keisler
Maintained by Aise Johan de Jong (Columbia)
Simon Thompson
here
collaborative effort, main contributors listed [here](https://openlogicproject.org/people/)
Joy Morris, Dave Morris
Book of ProofRichard Hammak (Virginia Commonwealth University)
source of unique and challenging mathematical problems designed for the secondary and undergraduate levels. It includes an Olympiad Corner which is helpful for math competitions.
Timothy Gowers (Professor, Fields medallist), June Barrow-Green (Professor), and Imre Leader (Professor).
ProofWiki
for professional mathematicians
Professor Matthew Flatt
Open web-based platform for data intensive biomedical research.
The Open Artificial Pancreas System project is an open and transparent effort to make safe and effective basic Artificial Pancreas System.
Ultrasound imaging development kit.
Platform for Translational Research.
providing testing tools for the FHIR