Alert button
Picture for Jürgen Gerhard

Jürgen Gerhard

Alert button

Generating Elementary Integrable Expressions

Add code
Bookmark button
Alert button
Jun 27, 2023
Rashid Barket, Matthew England, Jürgen Gerhard

Viaarxiv icon

Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems

Add code
Bookmark button
Alert button
Sep 17, 2021
Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. ~McClain

Figure 1 for Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Figure 2 for Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Figure 3 for Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Figure 4 for Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Viaarxiv icon

Effective problem solving using SAT solvers

Add code
Bookmark button
Alert button
Jun 14, 2019
Curtis Bright, Jürgen Gerhard, Ilias Kotsireas, Vijay Ganesh

Figure 1 for Effective problem solving using SAT solvers
Figure 2 for Effective problem solving using SAT solvers
Figure 3 for Effective problem solving using SAT solvers
Figure 4 for Effective problem solving using SAT solvers
Viaarxiv icon