𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Mathematical modeling of empirical laws in computer applications: A case study

✍ Scribed by Ye-Sho Chen; Pete Chong

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
759 KB
Volume
24
Category
Article
ISSN
0898-1221

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Application Fields of the Empirical Regr
Application Fields of the Empirical Regression - A Case Study
✍ Dr. J. Peil; Dr. S. Schmerling πŸ“‚ Article πŸ“… 1985 πŸ› John Wiley and Sons 🌐 English βš– 539 KB

Empirical regression is defined as conditional expected value based on an estimation of a twodimemional density. It is a modelfree mathematical means for a first evaluation of measured data of an unknown stochastical relation between two quantities. The numerical procedures may be. applied for calcu

Formalizing mathematics in higher-order
Formalizing mathematics in higher-order logic: A case study in geometric modelling
✍ FranΓ§ois Puitg; Jean-FranΓ§ois Dufourd πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 421 KB

An innovative attempt to develop formal techniques of speciΓΏcation, proof, and program extraction in geometric modelling is reported through the axiomatization of the mathematical model of the combinatorial maps in the calculus of inductive constructions (CIC), a variety of type theory well suited f