calculus computational-geometry convex-hull convex-sets formal-verification geometry geometry-algorithms julia lazy-evaluation minkowski-sum polygons polyhedra projections reachability-analysis set-propagation sets zonotope

Engineering (40%)

calculus extreme-values ipywidgets jupyter-notebook numpy plotly python sympy voila-dashboard

algebra calculus differentiation equation expressions fraction fractions integration javascript latex math solve-equations solver substitutions symbolic

automatic-differentiation calculus clojure clojurescript computer-algebra differential-geometry explorable-explanations hamiltonian lagrangian-mechanics mathematics physics physics-simulation sussman symbolic-math

calculus derivation laplacian math tensor-algebra

blas calculus computing ffi lapack libblas linear-algebra lite math matrix memory np numphp php php-ffi php8 scientific-computing statstics trignometry vector

calculus cargo crate library linear-algebra math mathematics matrix matrix-functions rust rust-lang statistics stats

autodiff automatic-differentiation calculus complex-numbers csharp differential-geometry math mathematics opencl physics rational-numbers tensors units

applied-category-theory calculus clifford-algebras compositionality computational-geometry computational-topology curvature differential-geometry discrete-exterior-calculus general-relativity geometric-algebra lie-algebra lie-groups manifolds mesh-processing non-euclidean-geometry riemannian-geometry tensor tensor-algebra topology

autodiff automatic-differentiation calculus complex-numbers csharp differential-geometry dotnet math mathematics opencl physics rational-numbers rk4 tensors

calculus covariant derivative r ricci tensor