Concepedia
3
Publications
309
Citations
H-Index
1979
Active since
Affiliations
Macquarie University(Current)
Alfred van der Poorten is an author at Macquarie University specializing in automated reasoning, formal verification, and engineering.
Top concepts
EngineeringFormal MethodsAutomated ReasoningFormal Verification
Publications per year
1979–1999
A proof that Euler missed ...
Alfred van der Poorten, R. Apéry · The Mathematical Intelligencer · 1979 · 265 citations
Geometry Of Number, Mathematical Proof, Analytic Number Theory
Values of the Dedekind Eta Function at Quadratic Irrationalities
Alfred van der Poorten, Kenneth S. Williams · Canadian Journal of Mathematics · 1999 · 23 citations · Full text
Geometry Of Number, Dedekind Eta Function, Imaginary Quadratic Field +4
Automata and the arithmetic of formal power series
Michel Mendès France, Alfred van der Poorten · Acta Arithmetica · 1986 · 21 citations · Full text
Formal Power Series, Logical Automaton, Engineering +5
Rows per page
1–3 of 3