Mathematical Theory of Rocket Flight

1948 ◽  
Vol 32 (300) ◽  
pp. 222
Author(s):  
R. C. Knight ◽  
J. B. Rosser ◽  
R. R. Newton ◽  
G. L. Gross
Keyword(s):  
Mathematical Theory ◽  
Rocket Flight

A Mathematical Theory of Hints

1995 ◽  
Author(s):  
Jürg Kohlas ◽  
Paul-André Monney
Keyword(s):  
Mathematical Theory

Maser 10 Microgravity Rocket Flight in 2005

2004 ◽  
Keyword(s):  
Rocket Flight

Evaluation Opportunities in Mechanized Theories

10.29007/7kx8 ◽  
2018 ◽  
Author(s):  
Joe Hurd
Keyword(s):  
Mathematical Theory ◽  
Theorem Prover ◽  
Mechanized Mathematics ◽  
Reasoning Tasks

This invited talk will look at logic solvers through the application lens of constructing and processing a theory library of mechanized mathematics. In fact, constructing and processing theories are two distinct applications, and each will be considered in turn. Construction is carried out by formalizing a mathematical theory using an interactive theorem prover, and logic solvers can remove much of the drudgery by automating common reasoning tasks. At the theory library level, logic solvers can provide assistance with theory engineering tasks such as compressing theories, managing dependencies, and constructing new theories from reusable theory components.

Mathematical Theory of Dislocations and Fracture

1971 ◽  
Author(s):  
R.W. Lardner
Keyword(s):  
Mathematical Theory

The Worst-Case Mathematical Theory of Safe-Arming

1984 ◽  
Author(s):  
Denes A. Silvia
Keyword(s):  
Mathematical Theory ◽  
Worst Case

Mathematical Theory of Neural Networks

2000 ◽  
Author(s):  
Eduardo D. Sontag ◽  
Hector J. Sussman
Keyword(s):  
Neural Networks ◽  
Mathematical Theory
Sign in / Sign up

Export Citation Format

Share Document