mrigankpawagi / NumericalMethodsLinks
Numerical Methods and Functions Library
☆5Updated last year
Alternatives and similar repositories for NumericalMethods
Users that are interested in NumericalMethods are comparing it to the libraries listed below
Sorting:
- ☆646Updated last week
- Notebooks for the DLP course by Prof.Mitesh Khapra and me, offered to IITM BS Students.☆20Updated 2 months ago
- Collection of must read papers for Data Science, or Machine Learning / Deep Learning Engineer☆1,246Updated last year
- LLMs as Copilots for Theorem Proving in Lean☆1,144Updated 3 weeks ago
- CS 771A: Introduction to Machine Learning, IIT Kanpur, 2022-23-autumn offering☆121Updated 6 months ago
- Tensorflow-Based Approach to Handling Single-Step and Iterated Forecasting☆10Updated last year
- Collection of important articles to be treated as a textbook☆789Updated 2 months ago
- MI and Formal Verification of NNs on Algorithmic tasks!☆19Updated last year
- A set of lecture notes for Physics Olympiad training☆12Updated 4 years ago
- Ember is a hosted API/SDK that lets you shape AI model behavior by directly controlling a model's internal units of computation, or "feat…☆29Updated 3 weeks ago
- Keep Learning☆13Updated 6 months ago
- A collection of awesome mathematics and computer science courses☆129Updated 7 months ago
- From Python basics to Machine Learning and PyTorch Deep Learning - one day at a time, explore it all☆10Updated 2 months ago
- ☆9Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆625Updated this week
- A collection of formalized statements of conjectures in Lean.☆580Updated this week
- A repository of links with advice related to grad school applications, research, phd etc☆2,245Updated last year
- learningggggggg 🐳☆543Updated 4 months ago
- ☆12Updated 3 years ago
- Help Hackee in her walnut heist while visualizing maze generator and different sorting algorithms.☆9Updated 2 years ago
- Proceedings on Entanglement Detection and the Absolute Classes Problem☆13Updated last year
- ☆84Updated last month
- Improved version of the technical workshops for the 10-day ML4G camp on safety of AI systems☆19Updated last month
- some books and papers and stuff☆14Updated 10 months ago
- ☆35Updated 7 months ago
- Server to host lean games.☆301Updated this week
- ☆62Updated last year
- An automated fault localization tool for Python programs.☆28Updated 2 months ago
- ☆8Updated last year
- just me trying to implement deep learning concepts in code☆182Updated 3 months ago