Pages that link to "Item:Q1404989"
From MaRDI portal
The following pages link to Johan Gijsbertus Frederik Belinfante (Q1404989):
Displaying 22 items.
- Computer proofs in Gödel's class theory with equational definitions for composite and cross (Q1284711) (← links)
- On computer-assisted proofs in ordinal number theory (Q1284712) (← links)
- Computer proofs about finite and regular sets: The unifying concept of subvariance. (Q1404990) (← links)
- (Q1945912) (redirect page) (← links)
- (Q1284710) (redirect page) (← links)
- The GOEDEL program (Q1945913) (← links)
- (Q2723414) (← links)
- Lie Algebras and Inhomogeneous Simple Materials (Q3214477) (← links)
- (Q3941265) (← links)
- (Q3995610) (← links)
- Transition probability spaces (Q4079647) (← links)
- (Q4200208) (← links)
- (Q4509017) (← links)
- An Introduction to Lie Groups and Lie Algebras, with Applications (Q5510888) (← links)
- Existence of Scattering Solutions for the Schrödinger Equation (Q5516138) (← links)
- An Introduction to Lie Groups and Lie Algebras, with Applications. II: The Basic Methods and Results of Representation Theory (Q5566568) (← links)
- An Introduction to Lie Groups and Lie Algebras, with Applications. III: Computational Methods and Applications of Representation Theory (Q5616909) (← links)
- One-Parameter Subgroups of Unitary Groups with Indefinite Metric and in Particular of the Conformal Group (Q5619938) (← links)
- Weight diagrams for lie group representations: A computer implementation of Freudenthal's algorithm in ALGOL and FORTRAN (Q5630557) (← links)
- An algorithm for computingSU(n) invariants (Q5632754) (← links)
- (Q5655597) (← links)
- Potential Scattering (Q5731600) (← links)
- Automated Deduction – CADE-19 (Q5900721) (← links)
