Loïc Pottier

From MaRDI portal
Person:3003227

Available identifiers

zbMath Open pottier.loicWikidataQ102361512 ScholiaQ102361512MaRDI QIDQ3003227

List of research outcomes





PublicationDate of PublicationType
Minimal solutions of linear diophantine systems : bounds and algorithms2022-12-09Paper
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving2011-05-26Paper
https://portal.mardi4nfdi.de/entity/Q44354642003-11-12Paper
https://portal.mardi4nfdi.de/entity/Q42665221999-10-04Paper
https://portal.mardi4nfdi.de/entity/Q42273211999-08-25Paper
https://portal.mardi4nfdi.de/entity/Q31255411997-03-18Paper
https://portal.mardi4nfdi.de/entity/Q40352511993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q31994851990-01-01Paper

Research outcomes over time

This page was built for person: Loïc Pottier

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3003227&oldid=7332611"
Powered by MediaWiki