PHP-Math-Integer is a PHP library which treats the subjects of number theory (only natural number). isInt(mixed $n) judges if the param is integer or not isIntAll ...
Abstract: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is ...
A simple BigNum implementation that supports all mathematic metatable functions. This is pure Lua and is not designed to be the fastest possible BigNum library in the world. The algorithms chosen are ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results