Person:1404989

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Johan Gijsbertus Frederik Belinfante