HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:computer mathematics

Publications
MathPartner Is a Breakthrough Technology for Natural Sciences Education, Scientific and Engineering Applications
Gennadi Malaschonok
EasyChair Preprint 15195
Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation
Jarkko Savela, Emilia Oikarinen and Matti Järvisalo
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2025 easychair.org. All rights reserved.