Found 22 Documents (Results 1–22)
A mathematical framework for Dirac’s calculus. (English) Zbl 1129.46035
Reviewer: Antoine Delcroix (Pointe-a-Pitre)
A model of the Dirac calculus in the relative set theory. (Un modèle du calcul de Dirac dans la théorie relative des ensembles.) (French. Abridged English version) Zbl 0911.03035
Reviewer: K.Iséki (Osaka)
Introduction to relative nonstandard analysis. (Introduction à l’analyse non standard relative.) (English) Zbl 1029.26504
Reviewer: Rade Živaljević (Beograd)
Infinitesimal proximities and topologies. (Proximités infinitésimales et topologies.) (French. Abridged English version) Zbl 0851.03023
Reviewer: K.Iséki (Osaka)
Absolute formulas in relative internal set theory. (Formules absolues dans la théorie relative des ensembles internes.) (French) Zbl 0902.03039
Some extensions of the principles of idealization transfer and choice in the relative internal set theory. (English) Zbl 0831.03029
Natural formulation and natural deduction. A way to automated theorem proving. (Formulation naturelle et déduction naturelle. Une voie vers l’automatisation des preuves.) (French) Zbl 0864.03007
General principle of choice in the relative internal set theory. (Principe général du choix dans la théorie relative des ensembles internes.) (French. Abridged English version) Zbl 0809.03047
Infinitesimal approach of almost-automorphic functions. (English) Zbl 0785.03045
Reviewer: R.A.Herrmann (Annapolis)
Relative theory of internal sets. (Théorie relative des ensembles internes.) (French) Zbl 0803.03046
Reviewer: K.Iséki (Osaka)
Analyse relative. (French) Zbl 0785.03046
Reviewer: G.Pestov (Tomsk)
Saturation des \({}^*ultrapuissances\) d’une superstructure, idéalisation relative avec paramètres. (Saturation of \({}^*ultrapowers\) of a superstructure, relative idealization with parameters). (French) Zbl 0715.03030
Reviewer: W.A.J.Luxemburg
Reduction algorithm in RIST. External transfer. (Algorithme de réduction dans RIST. Transfert externe.) (French) Zbl 0900.03064
Principles concerning the idealization with parameters (semantic approach). (Principes relatifs d’idéalisation avec paramètres (approche sémantique).) (French) Zbl 0900.03065
General theory of infinitesimals. (English. Russian original) Zbl 0719.03028
Sib. Math. J. 31, No. 3, 451-464 (1990); translation from Sib. Mat. Zh. 31, No. 3(181), 109-124 (1990).
Reviewer: K.Čuda (Praha)
La relation de proximité infinitésimale dans les espaces topologiques. (The relation of infinitesimal proximity in topological spaces). (French) Zbl 0686.54030
Mathématique finitaires & analyse non standard, Publ. Math. Univ. Paris VII, 31, 313-321 (1989).
Reviewer: R.A.Herrmann
Une théorie relative des ensembles internes. (A relative internal set theory). (French) Zbl 0664.03043
Reviewer: W.A.J.Luxemburg
Extensions ajustées d’une superstructure. Formalisation. (Adjusted extensions of a superstructure. Formalization). (French) Zbl 0697.03039
Sémin. Anal., Univ. Blaise Pascal 1987-1988, Exp. No. 17, 18 p. (1988).
MSC:
03H99
Une théorie générale des infinitésimaux. (A general theory of infinitesimals). (French) Zbl 0681.03045
Sémin. Anal., Univ. Blaise Pascal 1986-1987, Exp. No. 12, 14 p. (1987).
Reviewer: K.Iséki
Filter Results by …
Document Type
- Journal Articles (21)
- Collection Articles (1)
Author
- Peraire, Yves (22)
- Borde, Pascal (1)
- Wallet, Guy (1)
all
top 5
Serial
- C. R. Acad. Sci., Paris, Sér. I (5)
- Sémin. Anal., Univ. Blaise Pascal, Clermont II (3)
- Osaka J. Math. (1)
- Sib. Math. J. (1)
- Ann. Pure Appl. Logic (1)
- Riv. Mat. Pura Appl. (1)
- Ann. Sci. Univ. Blaise Pascal Clermont-Ferrand II, Math. (1)
- Arch. Math. Logic (1)
- Bull. Belg. Math. Soc. - Simon Stevin (1)
- C. R. Acad. Sci., Paris, Sér. I, Math. (1)
- Math. Morav. (1)
- Publ. Dép. Math., Nouv. Sér., Univ. Claude Bernard, Lyon (1)
- Set-Valued Math. Appl. (1)