Math-for-CS-solutions
Math problems
Solutions to problem sets and exams of MIT Mathematics for Computer Science 2015
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
138 stars
3 watching
26 forks
Language: TeX
last commit: 3 months ago calculuscomputer-sciencecountingfunctionsgraphgraph-theoryinductionlogicmathnumber-theoryprobabilityproofsrandom-walksrsa-cryptographyset-theorysetssolution
Related projects:
| Repository | Description | Stars |
|---|---|---|
 yourtion/learningmasteringalgorithms-c | A comprehensive C programming project covering various algorithms and data structures | 747 |
 approach0/search-engine | Math-aware search engine leveraging advanced techniques to efficiently retrieve relevant content from large datasets. | 346 |
 cpmech/russell | A comprehensive library of numerical and mathematical functions for high-performance computations in various fields. | 114 |
 ryandougherty/introduction-to-the-theory-of-computation-solutions | Solutions to a theoretical computer science textbook, compiled from LaTeX files. | 349 |
| cpmech/gosl | A comprehensive scientific computing library developed in Go, providing a range of numerical methods and solvers for differential equations, linear algebra, and other mathematical tasks. | 1,834 |
 pmttavara/pt_math | Fast scalar math routines with a focus on efficiency and simplicity. | 54 |
 math-comp/mczify | A Coq library that enables the use of Micromega arithmetic solvers for goals stated with Mathematical Components definitions | 23 |
| math-comp/algebra-tactics | A library providing tactics for solving algebraic equations in Coq. | 32 |
 manthrax/three-csgmesh | Conversion of a CSG library for use with modern three.js | 459 |
 thery/mathcomp-extra | A collection of reusable mathematical components and algorithms implemented in Coq | 5 |
| math-comp/analysis | A comprehensive Coq proof-assistant library for mathematical analysis | 206 |
 yuki-koyama/mathtoolbox | A collection of mathematical tools and algorithms for data analysis and optimization. | 264 |
 polymathorg/polymath | A Pharo-based scientific computing library providing advanced numerical methods and algorithms | 170 |
| math-comp/math-comp | A comprehensive repository of formalized mathematical theories based on Coq and SSReflect. | 587 |
 careercup/ctci-6th-edition-swift | Swift solutions to problems in a popular coding interview book | 461 |