Search results
From MaRDI portal
- inequalities for linear loops 2015-03-18 Paper Nonlinear invariants for linear loops and eigenpolynomials of linear operators 2014-10-27 Paper Polynomial invariants...10 bytes (18 words) - 02:27, 25 September 2023
- Publication Date of Publication Type Reflections on termination of linear loops 2022-03-25 Paper...10 bytes (16 words) - 09:41, 6 October 2023
- Automatic complexity analysis of integer programs via triangular weakly non-linear loops 2022-12-07 Paper...10 bytes (16 words) - 03:58, 25 September 2023
- Publication Type From Polynomial Invariants to Linear Loops 2023-11-03 Paper What else is undecidable about loops? 2023-08-17 Paper Words of minimum rank in...10 bytes (16 words) - 09:24, 25 September 2023
- reachability in linear time-invariant systems 2019-10-22 Paper Solvability of Matrix-Exponential Equations 2018-04-23 Paper On Termination of Integer Linear Loops...10 bytes (18 words) - 12:27, 14 March 2024
- Publication Date of Publication Type From Polynomial Invariants to Linear Loops 2023-11-03 Paper The Membership Problem for Hypergeometric Sequences with...10 bytes (16 words) - 19:23, 24 September 2023
- invariants generation for non-linear differential and hybrid systems 2017-05-16 Paper Generating invariants for non-linear loops by linear algebraic methods 2016-01-06...10 bytes (16 words) - 02:50, 7 October 2023
- Ranking Functions for Linear-Constraint Loops 2015-08-14 Paper On the linear ranking problem for integer linear-constraint loops 2014-11-27 Paper Corrigendum...10 bytes (16 words) - 09:43, 7 October 2023
- Algebra-Based Loop Analysis 2023-11-03 Paper From Polynomial Invariants to Linear Loops 2023-11-03 Paper Algebra-Based Reasoning for Loop Synthesis 2023-08-31...10 bytes (18 words) - 10:04, 6 October 2023
- Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences 2020-09-09 Paper Invariant Generation for Multi-Path Loops with Polynomial Assignments...10 bytes (16 words) - 20:26, 24 September 2023
- automorphic formal loops 2018-06-12 Paper A non-associative Baker-Campbell-Hausdorff formula 2017-11-08 Paper Linear representations of formal loops 2017-02-20...10 bytes (20 words) - 20:47, 11 December 2023
- Paper Bol loops and Bruck loops of order \(pq\) 2017-01-06 Paper Distributivity in skew lattices 2016-02-10 Paper Half-isomorphisms of Moufang loops. 2016-01-29...10 bytes (19 words) - 16:56, 11 December 2023
- Bol Loops 2010-08-27 Paper On Another Two Cryptographic Identities In Universal Osborn Loops 2010-07-22 Paper On The Universality Of Central Loops 2010-05-04...10 bytes (19 words) - 13:02, 12 December 2023
- automorphic loops 2015-01-27 Paper Binary fields on limited systems 2015-01-07 Paper Solvability of commutative automorphic loops 2014-09-16 Paper Linear groups...10 bytes (19 words) - 14:16, 10 December 2023
- Paper On finite commutative loops which are centrally nilpotent 2015-05-06 Paper A SOLVABILITY CRITERION FOR FINITE LOOPS 2014-04-01 Paper https://portal...10 bytes (16 words) - 23:46, 10 December 2023
- anti-windup for output saturated SISO linear closed loops 2015-11-02 Paper Delay-Independent Stability Via Reset Loops 2015-06-19 Paper On input allocation-based...10 bytes (16 words) - 16:11, 6 October 2023
- problems related to associators of Moufang loops 2017-06-08 Paper Embedding central extensions of simple linear groups into wreath products. 2016-07-28 Paper...10 bytes (18 words) - 13:53, 11 December 2023
- 1997-03-11 Paper \(K\)-loops over dual numbers 1996-01-21 Paper \(K\)-loops and quasidirect products in \(2\)-dimensional linear groups over a Pythagorean...10 bytes (16 words) - 13:14, 12 December 2023
- for program termination 2015-03-17 Paper On the linear ranking problem for integer linear-constraint loops 2014-11-27 Paper https://portal.mardi4nfdi.de/entity/Q5414602...10 bytes (20 words) - 05:04, 9 December 2023
- 2015-08-05 Paper Abelian extensions and solvable loops. 2015-02-26 Paper Commutator theory for loops. 2014-08-12 Paper https://portal.mardi4nfdi.de/entity/Q2853188...10 bytes (17 words) - 18:31, 11 December 2023
