Laura Ventosa
|
d5dce09c69
|
Update README.md
|
2021-03-05 19:32:43 +01:00 |
|
Cyrille Rossant
|
f67ce29730
|
Merge pull request #64 from mostafatouny/patch-1
Students Lecture Notes
|
2021-01-08 09:48:34 +01:00 |
|
Mostafa Touny
|
85a95b36e8
|
Update README.md
|
2021-01-08 10:42:22 +02:00 |
|
Mostafa Touny
|
67c9db5129
|
Students Lecture Notes
|
2021-01-08 10:14:09 +02:00 |
|
Cyrille Rossant
|
a223ade110
|
Merge pull request #63 from mostafatouny/master
Hammack's book of proof
|
2021-01-04 09:31:01 +01:00 |
|
Mostafa Touny
|
c7be192179
|
Update README.md
|
2021-01-04 08:04:30 +02:00 |
|
Mostafa Touny
|
ad7f66a968
|
Update README.md
|
2021-01-04 08:04:01 +02:00 |
|
Cyrille Rossant
|
b8bcbaa952
|
Merge pull request #59 from jackdolgin/patch-1
Add precalculus textbook
|
2020-10-03 10:24:43 +02:00 |
|
Jack Dolgin
|
eda3933441
|
Update README.md
|
2020-10-03 03:18:34 -05:00 |
|
Cyrille Rossant
|
1e34a4afc3
|
Merge pull request #58 from jackdolgin/patch-2
Add fourier textbook
|
2020-10-03 10:11:28 +02:00 |
|
Cyrille Rossant
|
58e018da4c
|
Merge pull request #57 from jackdolgin/patch-1
Add an algebra textbook
|
2020-10-03 10:11:20 +02:00 |
|
Jack Dolgin
|
eaeb80ca7f
|
Update README.md
|
2020-10-03 03:09:10 -05:00 |
|
Jack Dolgin
|
9f2e4d264a
|
Add an algebra textbook
|
2020-10-03 03:04:44 -05:00 |
|
Cyrille Rossant
|
86883ef2f9
|
Merge pull request #55 from FatemehTarashi/master
Update readme
|
2020-10-01 22:48:42 +02:00 |
|
Cyrille Rossant
|
d9207c31a4
|
Merge pull request #56 from novanauliazami/type-theory
Add "Programming in Martin-Lof’s Type Theory" book
|
2020-10-01 22:46:59 +02:00 |
|
=
|
70c5dd4621
|
Add Programming in Martin-Lof’s Type Theory book
|
2020-10-02 02:43:46 +07:00 |
|
Fatemeh Tarashi
|
28597832e0
|
Update readme
added some useful tools and softwares
|
2020-10-01 21:17:58 +03:30 |
|
Cyrille Rossant
|
2a9abd9160
|
Merge pull request #54 from Kratacoa/patch-3
LO: added "Open Logic Text"
|
2020-09-18 11:38:53 +02:00 |
|
Cyrille Rossant
|
8a7507a29d
|
Merge pull request #53 from Kratacoa/patch-2
CT: added "Category Theory in Context" by E. Riehl
|
2020-09-18 11:37:41 +02:00 |
|
Kratacoa
|
7dc72b3eac
|
LO: added "Open Logic Text"
|
2020-09-15 17:34:19 +02:00 |
|
Kratacoa
|
a0421a5385
|
CT: added "Category Theory in Context" by E. Riehl
|
2020-09-15 17:30:22 +02:00 |
|
Cyrille Rossant
|
efd8bf489c
|
Merge pull request #52 from jackdolgin/patch-1
Update README.md
|
2020-08-07 16:18:01 +02:00 |
|
Jack Dolgin
|
253f054205
|
Update README.md
|
2020-08-06 01:21:48 -04:00 |
|
Cyrille Rossant
|
0cb9af53ee
|
Merge pull request #51 from jackdolgin/master
Add textbooks
|
2020-08-05 10:36:09 +02:00 |
|
Jack Dolgin
|
84be22868d
|
Update README.md
|
2020-08-04 13:31:35 -04:00 |
|
Jack Dolgin
|
1e59467d18
|
Update README.md
|
2020-08-03 10:56:30 -04:00 |
|
Jack Dolgin
|
07c4472c5b
|
Update README.md
|
2020-08-03 00:23:14 -04:00 |
|
Jack Dolgin
|
a4efb6fe5a
|
Update README.md
|
2020-08-02 19:12:59 -04:00 |
|
Cyrille Rossant
|
94921fa30a
|
Merge pull request #50 from kernelsoe/calculus
Added a Maths Blog
|
2020-07-16 11:16:56 +02:00 |
|
Kernel Soe
|
4dbbff656c
|
Added a Maths Blog
|
2020-07-16 11:28:29 +09:00 |
|
Cyrille Rossant
|
03cc56fce7
|
Merge pull request #49 from zachvalenta/patch-1
add 'Think DSP' by Allen B. Downey
|
2020-07-03 09:49:44 +02:00 |
|
zach valenta
|
8ff01979a4
|
add 'Think DSP' by Allen B. Downey
|
2020-07-02 16:55:01 -04:00 |
|
Cyrille Rossant
|
26d53ea19b
|
Merge pull request #48 from novanauliazami/galois-theory
Add Ian Stewart's Galois Theory book
|
2019-10-16 10:39:01 +02:00 |
|
Muhamad Novan Aulia Zam Zami
|
2b53ad1826
|
Add Ian Stewart's Galois Theory book
|
2019-10-16 14:28:22 +07:00 |
|
Cyrille Rossant
|
381d3703a1
|
Merge pull request #47 from novanauliazami/type-theory
Add Type Theory and Functional Programming book
|
2019-10-15 09:36:06 +02:00 |
|
Muhamad Novan Aulia Zam Zami
|
036e1b7da7
|
Add Type Theory and Functional Programming book
|
2019-10-15 08:59:04 +07:00 |
|
Cyrille Rossant
|
fa9556c722
|
Merge pull request #46 from novanauliazami/type-theory
Add Intuitionistic Type Theory book
|
2019-10-14 21:36:07 +02:00 |
|
Muhamad Novan Aulia Zam Zami
|
527fe80ee2
|
Add Intuitionistic Type Theory book
|
2019-10-14 23:57:14 +07:00 |
|
Cyrille Rossant
|
beaeb61ee1
|
Merge pull request #45 from novanauliazami/type-theory
Add Proofs and Types book
|
2019-10-14 10:40:58 +02:00 |
|
Muhamad Novan Aulia Zam Zami
|
61e250a4d5
|
Add Proofs and Types book
|
2019-10-14 15:14:47 +07:00 |
|
Cyrille Rossant
|
f6c9c554c8
|
Merge pull request #43 from haseebalam/patch-1
Update README.md
|
2019-10-12 17:27:48 +02:00 |
|
Cyrille Rossant
|
a817fefc36
|
Merge pull request #44 from shreyas1599/patch-1
added book for Number Theory
|
2019-10-12 17:27:07 +02:00 |
|
shreyas1599
|
b36b8fc777
|
added book for Number Theory
added David M. Burton's "Elementary Number Theory"
|
2019-10-11 19:28:30 +05:30 |
|
Haseeb Alam
|
bad8bb3a5a
|
Update README.md
have aded one more resources.
|
2019-09-08 01:22:09 +05:30 |
|
Cyrille Rossant
|
1339fa2578
|
Merge pull request #42 from atulshukla/patch-1
Added Linear algebra resource
|
2019-08-05 14:45:54 +02:00 |
|
Atul Shukla
|
2212366b96
|
Update README.md
Added Linear algebra resource - http://immersivemath.com/ila/index.html
|
2019-08-02 14:50:26 +05:30 |
|
Atul Shukla
|
becb348083
|
Update README.md
Added Linear algebra resource. http://immersivemath.com/ila/index.html#
|
2019-08-02 14:46:56 +05:30 |
|
Cyrille Rossant
|
72d0cd64ef
|
Merge pull request #41 from sheerun/patch-1
Added sympy and sagemath
|
2019-05-24 10:06:04 +02:00 |
|
Adam Stankiewicz
|
4646182c23
|
Added sympy and sagemath
|
2019-05-23 19:16:03 +02:00 |
|
Cyrille Rossant
|
14a694dad8
|
Fixes broken link (closes #40)
|
2019-05-06 13:43:36 +02:00 |
|