Matematikai függvények elektronikus adatbázisa: ilyen több is van az interneten, van pl. a Wolframos, de itt egy másik:
http://algo.inria.fr/esf/
Pl. a cos függvény definíciója, tulajdonságai, azonosságok, sorfejtése stb... A képletek Latex, MathML, Maple formátumában is.