Concepedia

Vincent Astier

VA

Statistics

Publications

3

Citations

40

H-Index

3

Active since

2004

Affiliations

University of Regensburg(Current)

Vincent Astier is an author at University of Regensburg specializing in representation theory, automated reasoning, and formal methods.

ORCID

Top concepts

Publications per year

2004–2015

3

Publications

3

Nonassociative quaternion algebras over rings

S. Pumplün, Vincent Astier · Israel Journal of Mathematics · 2006 · 18 citations

, , +2

Axiomatization of local-global principles for pp-formulas in spaces of orderings

Vincent Astier, Marcus Tressl · Archive for Mathematical Logic · 2004 · 12 citations

, , +6

Signatures of hermitian forms and “prime ideals” of Witt groups

Vincent Astier, Thomas Unger · Advances in Mathematics · 2015 · 10 citations · Full text

, , +2

1–3 of 3