Springer Nature
Discrete geometry and geometric computation
MSC2020 · 68Vxx
Computer science support for mathematical research and practice
Computer science support for mathematical research and practice
0 mapped entries · Browse and filter all →
Counts include all statuses and descendants. Classifications are editorial or inferred from community fields, not an AMS assessment of the problem.
Subcategories
68V05Computer assisted proofs of proofs-by-exhaustion type068V15Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)068V20Formalization of mathematics in connection with theorem provers068V25Presentation and content markup for mathematics068V30Mathematical knowledge management068V35Digital mathematics libraries and repositories068V99Computer science support for mathematical research and practice0
Mapped problems
No published problems have been assigned to this subject yet. Related articles below are a starting point for review.
Journals & articles in MSC 68
These are selected sources for the parent class. Article coverage is a first reviewed selection, and may not cover this exact subcategory.
SIAM
Theory of computation
SIAM
Applied and computational mathematics reviews
- The complexity of propositional proofs
2007 · 2 questions extracted
- Randomized numerical linear algebra: Foundations and algorithms
2020 · 0 questions extracted
MSC2020 © Mathematical Reviews (AMS) and zbMATH · CC BY-NC-SA 4.0 · Official PDF, page 178