13 citations · 25 across the 2 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★ 12 cited
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…