Talk:Mizar (software): Difference between revisions
Jump to navigation
Jump to search
imported>Dmitrii Kouznetsov |
imported>Daniel Mietchen ({{subpages}}) |
||
| Line 1: | Line 1: | ||
{{subpages}} | |||
==Need more simple examples== | ==Need more simple examples== | ||
It would be good to add also examples that check simple relations, in particular, | It would be good to add also examples that check simple relations, in particular, | ||
Revision as of 05:53, 29 January 2010
Need more simple examples
It would be good to add also examples that check simple relations, in particular,
2>1 x^2=x*x
Explain this to me on a simple example; the difficult example I will be able to do on my own - Israel Gelfand, 1994, http://israelmgelfand.com/edu_work.html
The guide for choice of the libraries seems to be absent. It could be just a script that adds and removes libraries one by one, checking, weather the number of non-accepted lines increases or reduces. But I cannot find such a script at their homepage. What should be a keyword for such a search?
Dmitrii Kouznetsov 05:23, 29 January 2010 (UTC)
P.S. the { {subpages} } is not accepted...
Categories:
- Article with Definition
- Developing Articles
- Nonstub Articles
- Internal Articles
- Computers Developing Articles
- Computers Nonstub Articles
- Computers Internal Articles
- Mathematics Developing Articles
- Mathematics Nonstub Articles
- Mathematics Internal Articles
- Computers Underlinked Articles
- Underlinked Articles
- Mathematics Underlinked Articles