search

fredrik-johansson / fungrim

Fungrim: the Mathematical Functions Grimoire
MIT License
113 stars 15 forks source link

Equations and solutions of equations #4

Open gekaremi opened 5 years ago

gekaremi commented 5 years ago
  1. What of them should be considered formulas? One or both?
  2. A large collection of equations and solutions can be found on the site http://eqworld.ipmnet.ru/

The international scientific-educational website EqWorld presents extensive information on solutions to various classes of ordinary differential, partial differential, integral, functional, and other mathematical equations. It also outlines some methods for solving equations, includes interesting articles, gives links to mathematical websites and software packages, lists useful handbooks and monographs, and refers to scientific publishers, journals, etc. The website includes a dynamic section Equation Archive which allows authors to quickly publish their equations (differential, integral, and other) and also exact solutions, first integrals, and transformations.

but I could not find information about the content license, however, it is quite possible that the authors will be glad to have someone else use their site.

The EqWorld website is intended for researchers, university teachers, engineers, and students all over the world.

Thanks!

fredrik-johansson commented 5 years ago

Such entries are definitely in scope. The encoding format will need some thought.

gekaremi commented 5 years ago

Just in case, I'll leave it here as examples:

Logipedia – Encyclopedia of Formal Proofs http://logipedia.inria.fr/

Post about it in HN https://news.ycombinator.com/item?id=19413195 witk several useful links as http://us.metamath.org/