Johan Gijsbertus Frederik Belinfante

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
The GOEDEL program Journal of Automated Reasoning	2013-04-17	Paper
Reasoning about iteration in Gödel's class theory. Lecture Notes in Computer Science	2010-04-20	Paper
Computer proofs about finite and regular sets: The unifying concept of subvariance. Journal of Symbolic Computation	2003-08-25	Paper
scientific article; zbMATH DE number 1614691 (Why is no real title available?)	2001-07-05	Paper
scientific article; zbMATH DE number 1515932 (Why is no real title available?)	2001-02-27	Paper
On computer-assisted proofs in ordinal number theory Journal of Automated Reasoning	1999-04-26	Paper
Computer proofs in Gödel's class theory with equational definitions for composite and cross Journal of Automated Reasoning	1999-04-26	Paper
scientific article; zbMATH DE number 45079 (Why is no real title available?)	1992-09-17	Paper
scientific article; zbMATH DE number 3758171 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3641667 (Why is no real title available?)	1978-01-01	Paper
Transition probability spaces Journal of Mathematical Physics	1976-01-01	Paper
Lie Algebras and Inhomogeneous Simple Materials SIAM Journal on Applied Mathematics	1973-01-01	Paper
scientific article; zbMATH DE number 3385976 (Why is no real title available?)	1972-01-01	Paper
An algorithm for computingSU(n) invariants BIT	1971-01-01	Paper
One-Parameter Subgroups of Unitary Groups with Indefinite Metric and in Particular of the Conformal Group Journal of Mathematical Physics	1971-01-01	Paper
Weight diagrams for lie group representations: A computer implementation of Freudenthal's algorithm in ALGOL and FORTRAN BIT	1969-01-01	Paper
An Introduction to Lie Groups and Lie Algebras, with Applications. III: Computational Methods and Applications of Representation Theory SIAM Review	1969-01-01	Paper
An Introduction to Lie Groups and Lie Algebras, with Applications. II: The Basic Methods and Results of Representation Theory SIAM Review	1968-01-01	Paper
An Introduction to Lie Groups and Lie Algebras, with Applications SIAM Review	1966-01-01	Paper
Existence of Scattering Solutions for the Schrödinger Equation Journal of Mathematical Physics	1964-01-01	Paper
Potential Scattering Journal of Mathematical Physics	1963-01-01	Paper

Research outcomes over time

This page was built for person: Johan Gijsbertus Frederik Belinfante