Jürgen Gerhard

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