Andreas Dolzmann
Impact in
-
- Polynomial and algebraic computation
- Formal Methods in Verification
- Numerical Methods and Algorithms
- Software top 10%
Papers in
-
- Polynomial and algebraic computation 13
- Numerical Methods and Algorithms 7
- Formal Methods in Verification 3
-
- Logic, programming, and type systems 5
- Co-authors
- Thomas Sturm (11 shared papers)Volker Weispfenning (3 shared papers)Andreas Seidl (3 shared papers)
- Journals
- Journal of Automated Reasoning (1 paper)Lecture notes in computer science (2 papers)Journal of Symbolic Computation (2 papers)MPG.PuRe (Max Planck Society) (1 paper)ACM SIGSAM Bulletin (1 paper)
In The Last Decade
Andreas Dolzmann
14 papers receiving 537 citations
Peers
Comparison fields: 5 of 45
- Computational Theory and Mathematics 455
- Software 53
- Artificial Intelligence 233
- Numerical Analysis 37
- Computer Graphics and Computer-Aided Design 24
Countries citing papers authored by Andreas Dolzmann
This map shows the geographic impact of Andreas Dolzmann's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Andreas Dolzmann with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Andreas Dolzmann more than expected).
Fields of papers citing papers by Andreas Dolzmann
This network shows the impact of papers produced by Andreas Dolzmann. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Andreas Dolzmann. The network helps show where Andreas Dolzmann may publish in the future.
Co-authors
The 3 scholars most cited alongside Andreas Dolzmann, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 1997 | 263 | |
| 2 | 1999 | 80 | |
| 3 | 1997 | 65 | |
| 4 | 1998 | 59 | |
| 5 | 2004 | 57 | |
| 6 | 1997 | 12 | |
| 7 | 1999 | 10 | |
| 8 | 2004 | 10 | |
| 9 | 1998 | 9 | |
| 10 | 1999 | 7 | |
| 11 | 2000 | 5 | |
| 12 | 2015 | 3 | |
| 13 | 2001 | 2 | |
| 14 | 2015 | 1 | |
| 15 | REDLOG--First-Order Logic for the Masses (特集 Quantifier Elimination) | 2003 | 0 |
| 16 | REDLOG - First-Order Logic for the Masses | 2003 | 0 |
About Andreas Dolzmann
Andreas Dolzmann is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Computational Mechanics, Geometry and Topology and Algebra and Number Theory, having authored 16 papers that have together received 583 indexed citations. Recurring topics across this work include Polynomial and algebraic computation (13 papers), Numerical Methods and Algorithms (7 papers), Logic, programming, and type systems (5 papers), Advanced Numerical Analysis Techniques (4 papers), Formal Methods in Verification (3 papers), Commutative Algebra and Its Applications (2 papers), Computational Geometry and Mesh Generation (2 papers) and Algebraic structures and combinatorial models (1 paper). The work is most often cited by research in Computational Theory and Mathematics (455 citations), Software (53 citations), Artificial Intelligence (233 citations), Numerical Analysis (37 citations) and Computer Graphics and Computer-Aided Design (24 citations). Andreas Dolzmann has collaborated with scholars based in Germany, Austria and Spain. Frequent co-authors include Thomas Sturm, Volker Weispfenning and Andreas Seidl. Their work appears in journals such as Journal of Automated Reasoning, Lecture notes in computer science, Journal of Symbolic Computation, MPG.PuRe (Max Planck Society) and ACM SIGSAM Bulletin.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.