Jürgen Gerhard | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Moritz Schubotz
39 publications
Matthew England
37 publications
Andre Greiner-Petter
16 publications
Curtis Bright
16 publications
Ilias Kotsireas
13 publications
Howard S. Cohl
8 publications
Abdou Youssef
7 publications
Rashid Barket
1 publication
Bonita V. Saunders
1 publication
Marjorie A. ~McClain
1 publication

research

∙ 06/27/2023

Generating Elementary Integrable Expressions

There has been an increasing number of applications of machine learning ...

0 Rashid Barket, et al. ∙

research

∙ 09/17/2021

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

Document preparation systems like LaTeX offer the ability to render math...

0 Howard S. Cohl, et al. ∙

research

∙ 06/14/2019

Effective problem solving using SAT solvers

In this article we demonstrate how to solve a variety of problems and pu...

0 Curtis Bright, et al. ∙