Loïc Pottier

Available identifiers

zbMath Open pottier.loicWikidataQ102361512 ScholiaQ102361512MaRDI QIDQ3003227

List of research outcomes

Publication	Date of Publication	Type
Minimal solutions of linear diophantine systems : bounds and algorithms	2022-12-09	Paper
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving	2011-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q4435464	2003-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4266522	1999-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4227321	1999-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q3125541	1997-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4035251	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3199485	1990-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: Loïc Pottier