📚 Lecturer and researcher in Mathematics
🔬 Interested in:
- Differential Geometry
- Dynamical Systems
- Mathematical Modeling
- Formal Mathematics (Lean)
- Numerical Computing
- AI & Large Language Models
💻 Daily environment:
- Linux
- NixOS
- WSL2
- Podman
- SageMath
- LaTeX
🌍 Based in Algeria
- Formalizing mathematics in Lean
- Differential geometry exercises and solutions
- Dynamical systems applied to international conflicts
- Mathematical modeling of geopolitical crises
- Local AI models and offline LLM workflows
- SageMath and symbolic computation
| Project | Description |
|---|---|
| Differential Geometry Notes | Exercises and solutions |
| Lean Formalization | Formal proofs in Lean |
| Dynamical Systems Models | Mathematical modeling projects |
| SageMath Scripts | Symbolic and numerical computations |
| AI & LLM Experiments | Local AI workflows |
"Pure mathematics is, in its way, the poetry of logical ideas."
— Albert Einstein