Pages that link to "Item:Q4712216"
From MaRDI portal
The following pages link to Keplers komplizierter Weg zur Wahrheit: Von neuen Schwierigkeiten, die „Astronomia Nova”︁ zu lesen (Q4712216):
Displaying 5 items.
- Using theorem proving to verify expectation and variance for discrete random variables (Q1040780) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- Once more on the relations between Galilei and Kepler (Q2738720) (← links)
- Formal verification of tail distribution bounds in the HOL theorem prover (Q3608329) (← links)
- „Die gesamte Philosophie ist eine Neuerung in alter Unkenntnis”︁ Johannes Keplers Neuorientierung der Astronomie um 1600 (Q4365086) (← links)