Johan Gijsbertus Frederik Belinfante

Available identifiers

zbMath Open belinfante.johan-gijsbertus-frederikMaRDI QIDQ1404989

List of research outcomes

Publication	Date of Publication	Type
The GOEDEL program	2013-04-17	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Computer proofs about finite and regular sets: The unifying concept of subvariance.	2003-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q2723414	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4509017	2001-02-27	Paper
Computer proofs in Gödel's class theory with equational definitions for composite and cross	1999-04-26	Paper
On computer-assisted proofs in ordinal number theory	1999-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q3995610	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3941265	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4200208	1978-01-01	Paper
Transition probability spaces	1976-01-01	Paper
Lie Algebras and Inhomogeneous Simple Materials	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5655597	1972-01-01	Paper
One-Parameter Subgroups of Unitary Groups with Indefinite Metric and in Particular of the Conformal Group	1971-01-01	Paper
An algorithm for computingSU(n) invariants	1971-01-01	Paper
An Introduction to Lie Groups and Lie Algebras, with Applications. III: Computational Methods and Applications of Representation Theory	1969-01-01	Paper
Weight diagrams for lie group representations: A computer implementation of Freudenthal's algorithm in ALGOL and FORTRAN	1969-01-01	Paper
An Introduction to Lie Groups and Lie Algebras, with Applications. II: The Basic Methods and Results of Representation Theory	1968-01-01	Paper
An Introduction to Lie Groups and Lie Algebras, with Applications	1966-01-01	Paper
Existence of Scattering Solutions for the Schrödinger Equation	1964-01-01	Paper
Potential Scattering	1963-01-01	Paper

Research outcomes over time

This page was built for person: Johan Gijsbertus Frederik Belinfante