Computational invariant theory

A categorical logic for invariants of computations

Masulovic, D. (Dept. of Mathematics and Informatics, Univ. of Novi Sad, Serbia and Montenegro)

January 2004

SIGLEAvailable from TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Infor...

An algorithm for computing S-invariants for high level petri nets

Chuang Lin
Tong Zhang
Koblenz-Landau Univ. (Germany)

January 1991

SIGLEAvailable from TIB Hannover: RO6844(1991,15) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Die Cohen-Macaulay-Eigenschaft in der modularen Invariantentheorie

Kemper, G.

January 1999

Available from TIB Hannover: RR 1606(99-22) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Computational invariant theory

Derksen, Harm
Kemper, Gregor

January 2015

This book is about the computational aspects of invariant theory. Of central interest is the questio...

Algorithms in invariant theory

Sturmfels, Bernd
Paule, Peter

January 2008

J. Kung and G.-C. Rota, in their 1984 paper, write: "Like the Arabian phoenix rising out of its ashe...

Applications of the method of invariants in computer graphics

Overveld, van, C.W.A.M.

January 1986

In order to evoke a discussion about possible future research themes for the Eindhoven Department of...

Program Invariants (Invited Talk)

January 2019

Automated invariant generation is a fundamental challenge in program analysis and verification, goin...

On the computational complexity of Tutte, Jones, Homfly and Kauffman invariants

Vertigan, D.L

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:D95167 / BLDSC - British Library Doc...

Invariante CR-Strukturen und koadjungierte Geometrie nilpotenter Liegruppen

Voeller, M.

January 1999

SIGLEAvailable from TIB Hannover: RR 5293(35) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Algorithms for computational geometry

Nurmi, O.

January 1987

SIGLEBibliothek Weltwirtschaft Kiel A 169310 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Computing invariants of reductive groups in positive characteristic

Kemper, G.
Heidelberg Univ. (Germany). Interdisziplinaeres Zentrum fuer Wissenschaftliches Rechnen (IWR)

January 2002

SIGLEAvailable from TIB Hannover: RR 1606(2002,6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Invariante Loesungen der eindimensionalen nichtstationaeren realen MHD-Gleichungen

Gross, J.

January 1983

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Lie groups and the computation of invariants

Iserles, A.
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:9106.1605(1998/07) / BLDSC - British ...

Computation of invariant measures with dimension reduction methods

Kemper, Jens

January 2010

Kemper J. Computation of invariant measures with dimension reduction methods. Berlin: Logos-Verl.; 2...

Theories de champs invariantes conformes bidimensionnelles

Di Francesco, Philippe

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

A categorical logic for invariants of computations

Masulovic, D. (Dept. of Mathematics and Informatics, Univ. of Novi Sad, Serbia and Montenegro)

January 2004

SIGLEAvailable from TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Infor...

An algorithm for computing S-invariants for high level petri nets

Chuang Lin
Tong Zhang
Koblenz-Landau Univ. (Germany)

January 1991

SIGLEAvailable from TIB Hannover: RO6844(1991,15) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Die Cohen-Macaulay-Eigenschaft in der modularen Invariantentheorie

Kemper, G.

January 1999

Available from TIB Hannover: RR 1606(99-22) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Computational invariant theory

Derksen, Harm
Kemper, Gregor

January 2015

This book is about the computational aspects of invariant theory. Of central interest is the questio...

Algorithms in invariant theory

Sturmfels, Bernd
Paule, Peter

January 2008

J. Kung and G.-C. Rota, in their 1984 paper, write: "Like the Arabian phoenix rising out of its ashe...

Applications of the method of invariants in computer graphics

Overveld, van, C.W.A.M.

January 1986

In order to evoke a discussion about possible future research themes for the Eindhoven Department of...

Program Invariants (Invited Talk)

January 2019

Automated invariant generation is a fundamental challenge in program analysis and verification, goin...

On the computational complexity of Tutte, Jones, Homfly and Kauffman invariants

Vertigan, D.L

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:D95167 / BLDSC - British Library Doc...

Invariante CR-Strukturen und koadjungierte Geometrie nilpotenter Liegruppen

Voeller, M.

January 1999

SIGLEAvailable from TIB Hannover: RR 5293(35) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Algorithms for computational geometry

Nurmi, O.

January 1987

SIGLEBibliothek Weltwirtschaft Kiel A 169310 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Computing invariants of reductive groups in positive characteristic

Kemper, G.
Heidelberg Univ. (Germany). Interdisziplinaeres Zentrum fuer Wissenschaftliches Rechnen (IWR)

January 2002

SIGLEAvailable from TIB Hannover: RR 1606(2002,6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Invariante Loesungen der eindimensionalen nichtstationaeren realen MHD-Gleichungen

Gross, J.

January 1983

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Lie groups and the computation of invariants

Iserles, A.
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:9106.1605(1998/07) / BLDSC - British ...

Computation of invariant measures with dimension reduction methods

Kemper, Jens

January 2010

Kemper J. Computation of invariant measures with dimension reduction methods. Berlin: Logos-Verl.; 2...

Theories de champs invariantes conformes bidimensionnelles

Di Francesco, Philippe

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

A categorical logic for invariants of computations

Masulovic, D. (Dept. of Mathematics and Informatics, Univ. of Novi Sad, Serbia and Montenegro)

January 2004

SIGLEAvailable from TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Infor...

An algorithm for computing S-invariants for high level petri nets

Chuang Lin
Tong Zhang
Koblenz-Landau Univ. (Germany)

January 1991

SIGLEAvailable from TIB Hannover: RO6844(1991,15) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Die Cohen-Macaulay-Eigenschaft in der modularen Invariantentheorie

Kemper, G.

January 1999

Available from TIB Hannover: RR 1606(99-22) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Computational invariant theory

Abstract

Extracted data

Computational invariant theory

Abstract

Extracted data

Related items

Related items