7 search results - page 1 / 2 » An Axiomatic Presentation of The Nonstandard Methods in Math... |
JSYML
2002
13 years 10 months ago
2002
A nonstandard set theory ZFC is proposed that axiomatizes the nonstandard embedding . Besides the usual principles of nonstandard analysis, all axioms of ZFC except regularity are...
GREC
2003
Springer
14 years 4 months ago
2003
Springer
We present a structural analysis method for the recognition of on-line handwritten mathematical expressions based on a minimum spanning tree construction and symbol dominance. The ...
MOC
1998
13 years 10 months ago
1998
Abstract. We present here a mathematical analysis of a nonstandard difference method for the numerical solution of the time dependent GinzburgLandau models of superconductivity. Th...
FOSSACS
2005
Springer
14 years 4 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
HOA
1993
14 years 2 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...