-
Universidade de Sao Paulo
- Sao Carlos-SP, Brazil
- https://sites.icmc.usp.br/smania/
- https://orcid.org/0000-0002-3025-1295
- https://www.researchgate.net/profile/Daniel-Smania
- https://math.stackexchange.com/users/1594236/daniel-smania?tab=profile
Highlights
- Pro
Popular repositories Loading
-
Math-Animations
Math-Animations PublicSome Python scripts that generate animations to illustrate mathematical ideas.
-
Marine-Life-yuruyurau
Marine-Life-yuruyurau PublicPython Animations based on work by Technical Artist @yuruyurau (X.com)
Python 1
-
Tide-Prediction
Tide-Prediction PublicHarmonic Tide Prediction-This script Illustrates harmonic tide prediction with standard Python tools. It is a non-profissional harmonic prediction tool for sea level that generates a short animation.
Python 1
-
LaminarFamiliesMaximalBinaryTrees
LaminarFamiliesMaximalBinaryTrees PublicThis Lean 4 project formalizes a mathematical structure BinaryTreeWithRootandTops, which models a rooted, ordered binary tree whose nodes are pairs of disjoint, nonempty, finite subsets of a finite…
Lean
If the problem persists, check the GitHub status page or contact support.