Joachim Schmid

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Completeness of a bytecode verifier and a certifying Java-to-JVM compiler Journal of Automated Reasoning	2003-09-09	Paper
scientific article; zbMATH DE number 1824115 (Why is no real title available?)	2003-09-02	Paper
Regularly \(T\)-closed fields.	2003-08-27	Paper
scientific article; zbMATH DE number 1670469 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 1670521 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 1650458 (Why is no real title available?)	2001-09-23	Paper
On the complexity of the real Nullstellensatz in the 0-dimensional case Journal of Pure and Applied Algebra	2001-02-06	Paper
scientific article; zbMATH DE number 1302472 (Why is no real title available?)	1999-09-02	Paper
scientific article; zbMATH DE number 1124567 (Why is no real title available?)	1998-04-22	Paper
Existentially closed fields with holomorphy rings Archive for Mathematical Logic	1997-11-05	Paper
On the affine Bezout inequality Manuscripta Mathematica	1996-06-05	Paper
Sums of fourth powers of real algebraic functions Manuscripta Mathematica	1995-05-04	Paper
On totally positive units of real holomorphy rings Israel Journal of Mathematics	1994-10-31	Paper
scientific article; zbMATH DE number 51577 (Why is no real title available?)	1992-09-18	Paper
Eine Bemerkung zu den höheren Pythagoraszahlen reeller Körper. (A remark on higher Pythagoras numbers of real fields) Manuscripta Mathematica	1988-01-01	Paper

Research outcomes over time

This page was built for person: Joachim Schmid