13 citations · 13 across the 1 of their papers we have counts for
2 papers
cs.IR2021★ 13 cited
Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Howard S. Cohl, Moritz Schubotz, Abdou Youssef +4
Document preparation systems like LaTeX offer the ability to render mathematical expressions as one would write these on paper. Using LaTeX, LaTeXML, and tools generated for use in…
cs.AI2019
Effective problem solving using SAT solvers
Curtis Bright, Jürgen Gerhard, Ilias Kotsireas +1
In this article we demonstrate how to solve a variety of problems and puzzles using the built-in SAT solver of the computer algebra system Maple. Once the problems have been encode…