Gerd Bohlender

7 papers and 512 indexed citations i.

About

Gerd Bohlender has authored 7 papers that have received a total of 512 indexed citations. This includes 5 papers in Computational Theory and Mathematics, 2 papers in Hardware and Architecture and 1 paper in Artificial Intelligence. The topics of these papers are Numerical Methods and Algorithms (5 papers), Formal Methods in Verification (2 papers) and Polynomial and algebraic computation (2 papers). Gerd Bohlender is often cited by papers focused on Numerical Methods and Algorithms (5 papers), Formal Methods in Verification (2 papers) and Polynomial and algebraic computation (2 papers) and collaborates with scholars based in Germany and Brazil. Gerd Bohlender's co-authors include Ulrich Kulisch, Jürgen Wolff von Gudenberg, Rudi Klatte, Madan M. Gupta and A. Kaufmann and has published in prestigious journals such as Mathematics of Computation, Computing and Numerical Linear Algebra with Applications

In The Last Decade

Rankless by CCL
2025