Keplers komplizierter Weg zur Wahrheit: Von neuen Schwierigkeiten, die „Astronomia Nova”︁ zu lesen

DOI10.1002/bewi.19900130308zbMath0853.01008OpenAlexW2030836078MaRDI QIDQ4712216

Volker Bialas

Publication date: 25 June 1992

Published in: Berichte zur Wissenschaftsgeschichte (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/bewi.19900130308

Mathematics Subject Classification ID

History of mathematics in the 17th century (01A45) History of astronomy and astrophysics (85-03)

Related Items (3)

Formal reasoning about finite-state discrete-time Markov chains in HOL ⋮ Formal verification of tail distribution bounds in the HOL theorem prover ⋮ Using theorem proving to verify expectation and variance for discrete random variables

This page was built for publication: Keplers komplizierter Weg zur Wahrheit: Von neuen Schwierigkeiten, die „Astronomia Nova”︁ zu lesen