skip to Main Content

Facebook
LinkedIn
Youtube
Email
Phone

About
Membership
Activities
Publications
Login
Search

Search

×Close search

A. Valmari

Home » Proceedings » A. Valmari

MathCheck: a tool for checking math solutions in detail

Authors : A. Valmari, Kaarakka

SEFI Annual Conferences - Full papers

All
2012 Thessaloniki - ISBN 978-2-87352-005-2
2013 Leuven - ISBN 978-2-87352-004-5
2014 Birmingham - ISBN 978-2-87352-010-6
2015 Orleans - ISBN 978-2-8752-012-0
2016 Tampere - ISBN 978-28735201-44
2017 Azores - ISBN 978-989-98875-7-2
2018 Copenhagen - ISBN 978-2-87352-016-8
2019 Budapest - ISBN 978-2-87352-018-2
2020 Twente - ISBN: 978-2-87352-020-5
2021 Berlin - ISBN 978-2-87352-023-6
2022 Barcelona - ISBN 978-84-123222-6-2
2023 Dublin - ISBN 978-2-87352-026-7
2024 Lausanne - ISBN 978-2-87352-027-4

Search by topic

Copyright SEFI 2025 - All Rights Reserved

Contact
Personal Data Protection
Events
Special Interest Groups
Become a member

Back To Top