|
|
SHORT INTRODUCTION TO NONSTANDARD ANALYSIS ( to be completed)
– Elemér E Rosinger
- 2004
|
|
|
A General Symbolic Method with Physical Applications
– Greg M. Smith
|
|
1
|
Interpretations of Probability, Nonstandard Analysis and Confirmation Theory
– James Cussens, Dorothy Cussens
- 1991
|
|
|
Conceptions of the Continuum
– Solomon Feferman
|
|
4
|
Taylor's Formula with Remainder
– Ruben A. Gamboa, Brittany Middleton
- 2002
|
|
16
|
Non-Standard Analysis in ACL2
– Ruben A. Gamboa, Matt Kaufmann
- 2001
|
|
15
|
Mechanically Verifying Real-Valued Algorithms in ACL2
– Ruben Antonio Gamboa
- 1999
|
|
|
P(A ∩ B)
– Ratio P(a B
|
|
|
AN APPROACH TO NON-STANDARD ANALYSIS
– Eliahu Levy
- 2009
|
|
8
|
Order of Magnitude Reasoning in Qualitative Differential Equations
– Ernest Davis, Ernest Davis
- 1987
|
|
66
|
Constraint Hierarchies and Logic Programming
– Alan Borning, Michael Maher, Amy Martindale, Molly Wilson
- 1989
|
|
12
|
Neometric Spaces
– Sergio Fajardo, H. Jerome Keisler
- 1996
|
|
|
Measure Attractors For Stochastic Navier-Stokes Equations
– Marek Capinski, Nigel J. Cutland
- 1998
|
|
2
|
A two space dimensional semilinear heat equation perturbed by (Gaussian) white noise
– Sergio Albeverio, Zbignew Haba, Francesco Russo
- 1999
|
|
1
|
Modelling of Complex Software Systems: a Reasoned Overview ⋆
– D. Krob
|
|
|
algorithm proposed
– Ken Loo
- 2005
|
|
|
Osittaisdifferentiaaliyhtälöiden Ratkaisukäsitykset
– Olli-Pekka Piirilä, Jukka Tuomela
|
|
1
|
Solutions Surstables Des équations Différentielles Complexes Lentes-Rapides à Point Tournant
– Eric Benoît, Augustin Fruchard, Reinhard Schäfke, Guy WALLET
- 1999
|
|
|
Reçu le **** * ; accepté après révision le +++++
– Michel Fliess A, Présenté Par Yves Meyer
- 2006
|
