Jacques Chazarain

Available identifiers

zbMath Open chazarain.jacquesWikidataQ24264228 ScholiaQ24264228MaRDI QIDQ1241667

List of research outcomes

Publication	Date of Publication	Type
Mechanizable inductive proofs for a class of ∀ ∃ formulas	2020-01-21	Paper
Automated synthesis of recursive programs from a \(\forall\exists\) logical specification	1999-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q3947998	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3891073	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3947200	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3965014	1981-01-01	Paper
Spectre D'Un hamiltonien quantique et mecanique classique	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3895902	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3861843	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4180682	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4200756	1979-01-01	Paper
Reflection of \(C^\infty\) singularities for a class of operators with multiple characteristics	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3905645	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4095283	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4107259	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4059320	1975-01-01	Paper
Formule de Poisson pour les variétés riemanniennes	1974-01-01	Paper
Propagation des singularités pour une classe d'opérateurs à caractéristiques multiples et resolubilité locale	1974-01-01	Paper
Opérateurs hyperboliques à caractéristiques de multiplicité constante	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4042023	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4059843	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4777809	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3215684	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5666941	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5686696	1973-01-01	Paper
Caractérisation des problèmes mixtes hyperboliques bien posés. (Characterization of well posed hyperbolic mixed problems)	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5660039	1972-01-01	Paper
Problèmes de Cauchy abstraits et applications à quelques problèmes mixtes	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5627134	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5640078	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5642959	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5654502	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5558648	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5534577	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5546286	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5546287	1968-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jacques Chazarain