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
https://portal.mardi4nfdi.de/entity/Q3905645	1977-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/Q4107259	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4095283	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
Opérateurs hyperboliques à caractéristiques de multiplicité constante	1974-01-01	Paper
Propagation des singularités pour une classe d'opérateurs à caractéristiques multiples et resolubilité locale	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/Q5666941	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5686696	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3215684	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/Q5642959	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/Q5654502	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5558648	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5546287	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5534577	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5546286	1968-01-01	Paper

Research outcomes over time

This page was built for person: Jacques Chazarain