Jürgen Gerhard

According to our database, Jürgen Gerhard authored at least 27 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Transformers to Predict the Applicability of Symbolic Integration Routines.

Rashid Barket, Uzma Shafiq, Matthew England, Jürgen Gerhard

CoRR, 2024

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs.

Rashid Barket, Matthew England, Jürgen Gerhard

Proceedings of the Mathematical Software - ICMS 2024, 2024

The Liouville Generator for Producing Integrable Expressions.

Rashid Barket, Matthew England, Jürgen Gerhard

Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024

2023

What's New in Maple 2022: Formal Power Series.

Jürgen Gerhard

Maple Trans., 2023

Generating Elementary Integrable Expressions.

Rashid Barket, Matthew England, Jürgen Gerhard

Proceedings of the Computer Algebra in Scientific Computing - 25th International Workshop, 2023

2022

Computing Intersection Multiplicities with Regular Chains.

Ryan Sandford, Jürgen Gerhard, Marc Moreno Maza

Maple Trans., 2022

2021

Reflections on the Maple Conference 2020.

Jürgen Gerhard

Maple Trans., 2021

How to use Fibonacci numbers to teach recursive programming.

Jürgen Gerhard

Maple Trans., 2021

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

Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. McClain

CoRR, 2021

2019

Maple Conference 2019.

Jürgen Gerhard, Ilias S. Kotsireas

ACM Commun. Comput. Algebra, 2019

Effective Problem Solving Using SAT Solvers.

Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

2017

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

Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. McClain, Joon Bang, Kevin Chen

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

2015

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.

Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2013

Simplification of Differential Algebraic Equations by the Projection Method.

Elena Shmoylova, Jürgen Gerhard, Erik Postman, Austin Roche

Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013

Modern Computer Algebra (3. ed.).

Joachim von zur Gathen, Jürgen Gerhard

Cambridge University Press, ISBN: 978-1-107-03903-2, 2013

2011

Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export.

Hisahiro Ito, Akira Ohata, Kenneth R. Butts, Jürgen Gerhard, Masoud Abbaszadeh, David Linder, Erik Postman, Elena Shmoylova

Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

2010

Asymptotically fast algorithms for modern computer algebra.

Jürgen Gerhard

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

2009

A package for solving parametric polynomial systems.

Jürgen Gerhard, D. J. Jeffrey, Guillaume Moroz

ACM Commun. Comput. Algebra, 2009

2004

Modular Algorithms in Symbolic Summation and Symbolic Integration

Jürgen Gerhard

Lecture Notes in Computer Science 3218, Springer, ISBN: 3-540-24061-6, 2004

2003

Shiftless decomposition and polynomial-time rational summation.

Jürgen Gerhard, Mark Giesbrecht, Arne Storjohann, Eugene V. Zima

Proceedings of the Symbolic and Algebraic Computation, 2003

Modern computer algebra (2. ed.).

Joachim von zur Gathen, Jürgen Gerhard

Cambridge University Press, ISBN: 978-0-521-82646-4, 2003

2002

Polynomial factorization over F₂.

Joachim von zur Gathen, Jürgen Gerhard

Math. Comput., 2002

2001

Factoring a binary polynomial of degree over one million.

Olaf Bonorden, Joachim von zur Gathen, Jürgen Gerhard, Olaf Müller

SIGSAM Bull., 2001

Fast Modular Algorithms for Squarefree Factorization and Hermite Integration.

Jürgen Gerhard

Appl. Algebra Eng. Commun. Comput., 2001

1998

High Degree Solutions of Low Degree Equations (extended abstract).

Jürgen Gerhard

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

1997

Fast Algorithms for Taylor Shifts and Certain Difference Equations.

Joachim von zur Gathen, Jürgen Gerhard

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

1996

Arithmetic and Factorization of Polynomial Over F₂ (extended abstract).

Joachim von zur Gathen, Jürgen Gerhard

Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, 1996