Simulation of a two-channel Bell test, with closed-form proofs
Unicode XML TEI text analysis platform
Graphic interface with algorithms to compute line and root graphs
Branch clone of 2022.05.001 version
Step by step math solutions for everyone
Divide numbers with recurring decimals
GNU Octave toolkit for controlling a Raspberry Pi
A textbook on informal homotopy type theory
Application for calculating the real roots of a polynomial
Programmable graphical scientific calculator
GNU octave bindings to the cfitsio library
External plugins for modnlp/teccli
Computation and Visualization environment
Coordinates Converter
Equation Math Solver
Perl Lib Math Notation
Basic Metric Converter
Computer Assisted Proofs in Dynamics