Jürgen Gerhard

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 15

Top Topics

Unordered Trees

Computer Algebra

Top Venues

Publications

Rashid Barket, Matthew England, Jürgen Gerhard
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs. ICMS (2024)
Rashid Barket, Matthew England, Jürgen Gerhard
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs. CoRR (2024)
Rashid Barket, Matthew England, Jürgen Gerhard
The Liouville Generator for Producing Integrable Expressions. CASC (2024)
Rashid Barket, Matthew England, Jürgen Gerhard
The Liouville Generator for Producing Integrable Expressions. CoRR (2024)
Jürgen Gerhard
What's New in Maple 2022: Formal Power Series. Maple Trans. 3 (1) (2023)
Rashid Barket, Matthew England, Jürgen Gerhard
Generating Elementary Integrable Expressions. CoRR (2023)
Rashid Barket, Matthew England, Jürgen Gerhard
Generating Elementary Integrable Expressions. CASC (2023)
Ryan Sandford, Jürgen Gerhard, Marc Moreno Maza
Computing Intersection Multiplicities with Regular Chains. Maple Trans. 2 (1) (2022)
Jürgen Gerhard
How to use Fibonacci numbers to teach recursive programming. Maple Trans. 1 (1) (2021)
Jürgen Gerhard
Reflections on the Maple Conference 2020. Maple Trans. 1 (1) (2021)
Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. McClain
Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems. CoRR (2021)
Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
Effective problem solving using SAT solvers. CoRR (2019)
Jürgen Gerhard, Ilias S. Kotsireas
Maple Conference 2019. ACM Commun. Comput. Algebra 53 (4) (2019)
Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
Effective Problem Solving Using SAT Solvers. MC (2019)
Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. McClain, Joon Bang, Kevin Chen
Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems. CICM (2017)
Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. ARCH@CPSWeek (2015)
Elena Shmoylova, Jürgen Gerhard, Erik Postman, Austin Roche
Simplification of Differential Algebraic Equations by the Projection Method. EOOLT (2013)
Hisahiro Ito, Akira Ohata, Kenneth R. Butts, Jürgen Gerhard, Masoud Abbaszadeh, David Linder, Erik Postman, Elena Shmoylova
Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export. EOOLT (2011)
Jürgen Gerhard
Asymptotically fast algorithms for modern computer algebra. ISSAC (2010)
Jürgen Gerhard, D. J. Jeffrey, Guillaume Moroz
A package for solving parametric polynomial systems. ACM Commun. Comput. Algebra 43 (3/4) (2009)
Jürgen Gerhard, Mark Giesbrecht, Arne Storjohann, Eugene V. Zima
Shiftless decomposition and polynomial-time rational summation. ISSAC (2003)
Joachim von zur Gathen, Jürgen Gerhard
. Math. Comput. 71 (240) (2002)
Olaf Bonorden, Joachim von zur Gathen, Jürgen Gerhard, Olaf Müller
Factoring a binary polynomial of degree over one million. SIGSAM Bull. 35 (1) (2001)
Jürgen Gerhard
Fast Modular Algorithms for Squarefree Factorization and Hermite Integration. Appl. Algebra Eng. Commun. Comput. 11 (3) (2001)
Jürgen Gerhard
High Degree Solutions of Low Degree Equations (extended abstract). ISSAC (1998)
Joachim von zur Gathen, Jürgen Gerhard
Fast Algorithms for Taylor Shifts and Certain Difference Equations. ISSAC (1997)
Joachim von zur Gathen, Jürgen Gerhard
(extended abstract). ISSAC (1996)