Jürgen Gerhard

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat The Liouville Generator for Producing Integrable Expressions 2024 Rashid Barket
Matthew England
Jürgen Gerhard
+ PDF Chat Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs 2024 Rashid Barket
Matthew England
Jürgen Gerhard
+ Generating Elementary Integrable Expressions 2023 Rashid Barket
Matthew England
Jürgen Gerhard
+ PDF Chat Computing Intersection Multiplicities with Regular Chains 2022 Ryan Sandford
Jürgen Gerhard
Marc Moreno Maza
+ PDF Chat Effective Problem Solving Using SAT Solvers 2020 Curtis Bright
Jürgen Gerhard
Ilias Kotsireas
Vijay Ganesh
+ PDF Chat Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems 2017 Howard S. Cohl
Moritz Schubotz
Abdou Youssef
André Greiner-Petter
Jürgen Gerhard
Bonita V. Saunders
Marjorie A. McClain
Joon Seok Bang
Kevin Chen
+ Short vectors in lattices 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Applications of the Euclidean Algorithm 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Primality testing 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Fermat 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Gröbner bases 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Factoring integers 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Fast Euclidean Algorithm 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Hensel lifting and factoring polynomials 2013 Joachim von zur Gathen
Jürgen Gerhard
+ The Euclidean Algorithm 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Fast polynomial evaluation and interpolation 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Fast linear algebra 2013 Joachim von zur Gathen
Jürgen Gerhard
+ The resultant and gcd computation 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Symbolic summation 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Symbolic integration 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Newton iteration 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Gauß 2013 Joachim von zur Gathen
Jürgen Gerhard
+ Simplification of Differential Algebraic Equations by the Projection Method 2013 E. Shmoylova
Jürgen Gerhard
Erik Postma
A.D. Roche
+ 8. Modular Algorithms for the Gosper-Petkovšek Form 2004 Jürgen Gerhard
+ 7. Computing All Integral Roots of the Resultant 2004 Jürgen Gerhard
+ 5. Modular Squarefree and Greatest Factorial Factorization 2004 Jürgen Gerhard
+ 6. Modular Hermite Integration 2004 Jürgen Gerhard
+ 10. Modular Gosper and Almkvist & Zeilberger Algorithms 2004 Jürgen Gerhard
+ Chance and Probability 2000 Jürgen Gerhard
Walter Oevel
Frank Postel
Stefan Wehmeier
+ High degree solutions of low degree equations (extended abstract) 1998 Jürgen Gerhard
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ Elements of the Theory of Functions and Functional Analysis 1961 Andrej Nikolaevich Kolmogorov
Sergey Fomin
1
+ Algebraic Curves: An Introduction to Algebraic Geometry 1969 William Fulton
Richard M. Weiss
1
+ PDF Chat Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia 2014 Moritz Schubotz
Gabriel Wicke
1
+ PDF Chat Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources 2015 Howard S. Cohl
Moritz Schubotz
Marjorie A. McClain
Bonita V. Saunders
Cherry Y. Zou
Azeem S. Mohammed
Alex A. Danoff
1
+ Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations 1998 Uri M. Ascher
Linda Petzold
1
+ None 2002 Wojciech Blajer
1
+ The transcendental Risch differential equation 1990 Manuel Bronstein
1
+ The Risch Differential Equation Problem 1986 James H. Davenport
1
+ Greatest Factorial Factorization and Symbolic Summation 1995 Peter Paule
1
+ Rational solutions of linear differential and difference equations with polynomial coefficients 1989 С. А. Абрамов
1
+ Computing the multiplicity structure in solving polynomial systems 2005 Barry H. Dayton
Zhonggang Zeng
1
+ An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities 1992 Herbert S. Wilf
Doron Zeilberger
1
+ Algorithm 895 2009 Franky Backeljauw
Annie Cuyt
1
+ A very short proof of Dixon's theorem 1990 Shalosh B Ekhad
1
+ Algebraic factoring and rational function integration 1976 Barry Trager
1
+ On the summation of rational functions 1971 С. А. Абрамов
1
+ A purely verification proof of the first Rogers-Ramanujan identity 1990 Shalosh B. Ekhad
Sol Tre
1
+ On the integration of algebraic functions 2015 Lourdes Juan
1
+ Algorithms for computing triangular decomposition of polynomial systems 2011 Changbo Chen
Marc Moreno Maza
1
+ A holonomic systems approach to special functions identities 1990 Doron Zeilberger
1
+ PDF Chat Rational functions certify combinatorial identities 1990 Herbert S. Wilf
Doron Zeilberger
1
+ Rational solutions of linear difference and <i>q</i>-difference equations with polynomial coefficients 1995 С. А. Абрамов
1
+ The Risch differential equation on an algebraic curve 1991 Manuel Bronstein
1
+ Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations 1995 K. E. Brenan
Stephen L. Campbell
L. R. Petzold
1
+ Integration of elementary functions 1990 Manuel Bronstein
1
+ A survey of known results and research areas for<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si11.gif" display="inline" overflow="scroll"><mml:mi>n</mml:mi></mml:math>-queens 2008 Jordan Bell
Brett Stevens
1
+ On polynomial solutions of linear operator equations 1995 С. А. Абрамов
Manuel Bronstein
Marko Petkovšek
1
+ Hypergeometric solutions of linear recurrences with polynomial coefficients 1992 Marko Petkovšek
1
+ Improvement of the Degree Setting in Gosper's Algorithm 1993 Petr Lisoněk
Peter Paule
Volker Strehl
1
+ PDF Chat The problem of integration in finite terms 1969 Robert H. Risch
1
+ Decision procedure for indefinite hypergeometric summation 1978 R. William Gosper
1
+ A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve 2015 Parisa Alvandi
Marc Moreno Maza
Éric Schost
Paul Vrbik
1
+ PDF Chat Further Results on the Construction of Mutually Orthogonal Latin Squares and the Falsity of Euler's Conjecture 1960 R. C. Bose
S. S. Shrikhande
E. T. Parker
1
+ Jahresbericht der deutschen Mathematiker-Vereinigung 1902 1
+ Mathematical Language Processing Project 2014 Robert Pagael
Moritz Schubotz
1
+ Growing the Digital Repository of Mathematical Formulae with Generic LaTeX Sources 2015 Howard S. Cohl
Moritz Schubotz
Marjorie A. McClain
Bonita V. Saunders
Cherry Y. Zou
Azeem S. Mohammed
Alex A. Danoff
1
+ Can Neural Networks Learn Symbolic Rewriting? 2019 Bartosz Piotrowski
Josef Urban
Chad E. Brown
Cezary Kaliszyk
1
+ Deep Learning for Symbolic Mathematics 2019 Guillaume Lample
François Charton
1
+ PDF Chat Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition 2014 Zongyan Huang
Matthew England
David L. Wilson
James H. Davenport
Lawrence C. Paulson
James Bridge
1
+ Handbook of Continued Fractions for Special Functions 2008 Annie Cuyt
Vigdis Brevik Petersen
Brigitte Verdonk
Haakon Waadeland
William B. Jones
1
+ Euler Squares 1922 Harris F. MacNeish
1