KULeuven-CS / Numerieke-Wiskunde
Oplossing Examenvragen Numerieke Wiskunde (B-KUL-G0N90B)
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Numerieke-Wiskunde
- DeepAlgebra☆25Updated 7 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Parallel Computing (B-KUL-H03F9A)☆9Updated 9 years ago
- My thesis on "Open Source Code and Low Resource Languages" for an MSc in Language Science and Technology at Saarland University☆20Updated 6 years ago
- A topology textbook with a hubristic title☆29Updated 8 years ago
- @mathslogicbot☆20Updated last year
- Superposition prover☆16Updated last year
- Polynomial semantics of linear logic☆13Updated 6 years ago
- Random notes on mathematics (in German)☆11Updated last month
- Haskell bindings to SymEngine☆25Updated last year
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- ☆44Updated last year
- Bézier curves in Haskell☆28Updated 8 years ago
- JavaScript/D3 Version☆11Updated 10 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17Updated 6 years ago
- Deposited packages of the homalg project☆12Updated last month
- A book of explanations: a project for nanogenmo 2016☆11Updated 7 years ago
- Haskell implementation of the InterPlanetary File System☆14Updated 10 years ago
- Système de recommandation minimal sur Movielens (pour Girls Can Code! 2016)☆17Updated last year
- Turning Javascript into a probabilistic programming language☆58Updated 7 years ago
- ☆14Updated 10 years ago
- For my undergrad thesis I am building an automatic poet. The idea is to implement an evolutionary algorithm that can construct a poem usi…☆32Updated 12 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆21Updated 4 months ago
- Mathematical stories☆13Updated 3 years ago
- repo for fashion business/ideas/etc.☆22Updated 4 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- Talk on generic parallel scan☆14Updated 7 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 3 years ago