4 results
Hilbert’s 17th problem in free skew fields
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 9 / 2021
- Published online by Cambridge University Press:
- 06 September 2021, e61
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
6 - Algebraic and Geometric Proof Systems
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 115-133
-
- Chapter
- Export citation
16 - Algebraic and Geometric Proof Systems
- from Part III - Lower Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 337-352
-
- Chapter
- Export citation
0-D-valued fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 639-660
- Print publication:
- June 2006
-
- Article
- Export citation