Copyright © 2022 Jiri Kriz,


Opt Linear Optimization

The linear optimization is explained on a practical industrial case. The Simplex Algorithm is presented. The Excel Solver is described.

ECEF Earth Coordinates

I describe the Earth-centered (ECEF) cartesian and spherical coordinates as well as local ENU coordinates. I also derive transformations between them.

Circle Great Circle on the Earth

I derive the equation of the great circle on the spherical Earth, the formula for the shortest distance and other related formulas.

Torus Torus

I derive equations of the torus and present an Octave program to draw it.

zero-knowledge Zero-knowledge Proof

I present a simple zero-knowledge proof of map coloring with 3 colors.

SE Mathematics Stack Exchange

My contributions to Math.Stackexchange.