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

From MaRDI portal

Revision as of 23:21, 29 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4712216

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4712216&oldid=11995219"