Formalized Mathematics
ISSN: 1426-2630 | eISSN: 1898-9934
Indexing: Web of science
- Reconstruction of mathematics based on mechanization of mathematical reasoning. - To check a wide range of mathematical theorems using a computer...
View Journal Details