|
The software is intended for analysing arbitrary posets and lattices, especially those made up for examples in research in logic and mathematics. It will be possible to check user defined conditions (first order) on the defined posets too.
This project has not yet categorized itself in the Trove Software Map.Registered: 2003-09-24 03:41 Activity Percentile: 0% View project activity statistics. View list of RSS feeds available for this project |
|