Search results
From MaRDI portal
- Paper Some reflections about the success and impact of the computer algebra system \textit{DERIVE} with a 10-year time perspective 2019-09-11 Paper...10 bytes (18 words) - 00:25, 25 September 2023
- of the computer algebra system \textit{DERIVE} with a 10-year time perspective 2019-09-11 Paper A \(Geo^{[X}/G^{[X]}/1\) retrial queueing system with removal...10 bytes (21 words) - 02:43, 25 September 2023
- expert system for managing medical appropriateness criteria based on computer algebra techniques 2002-08-18 Paper A logic and computer algebra-based expert...10 bytes (19 words) - 20:31, 8 December 2023
- 2005-11-04 Paper The science of deriving dense linear algebra algorithms 2005-07-22 Paper Representing linear algebra algorithms in code: the FLAME application...10 bytes (21 words) - 09:30, 9 December 2023
- motion of generalized Atwood's machine using computer algebra 2020-12-18 Paper Application of computer algebra for the reconstruction of surfaces from their...10 bytes (18 words) - 14:11, 11 December 2023
- Realization of the su(3)-Algebra. I: -- Schwinger Representation for the Lipkin Model -- 2006-11-27 Paper Boson Realization of the su(3)-Algebra. II: -- Holstein-Primakoff...10 bytes (18 words) - 23:50, 10 December 2023
- algorithm in the theory of integrability of nonlinear dynamical systems and computer algebra problems 1991-01-01 Paper A bilocal periodic problem for the...10 bytes (18 words) - 04:00, 9 December 2023
- contractions of filiform Lie algebras 2019-01-24 Paper Counting and enumerating partial Latin rectangles by means of computer algebra systems and CSP solvers 2019-01-24...10 bytes (18 words) - 16:10, 10 December 2023
- the symplectic algebra C2 2015-06-04 Paper Levi decomposable algebras in the classical Lie algebras 2015-02-24 Paper The GraviGUT algebra is not a subalgebra...10 bytes (18 words) - 11:03, 7 December 2023
- 2022-12-21 Paper Derivation of evolutionary equations in the many-body problem with isotropically varying masses using computer algebra 2022-05-30 Paper...10 bytes (17 words) - 23:52, 12 December 2023
- de/entity/Q4273476 1994-01-13 Paper A nonpermutational integral relation algebra 1993-06-29 Paper Algebraization of quantifier logics, an introductory overview 1992-09-27...10 bytes (16 words) - 16:22, 9 December 2023
- induced currents 2023-10-04 Paper Microscopic derivation of density functional theory for superfluid systems based on effective action formalism 2023-07-14...10 bytes (18 words) - 22:20, 8 December 2023
- representations of algebras 2008-05-08 Paper Logical Approaches to Computational Barriers 2007-04-30 Paper SOFSEM 2006: Theory and Practice of Computer Science 2006-11-14...10 bytes (17 words) - 12:52, 28 January 2024
- 2003-05-19 Paper Computer simulations of stationary cylindrical solutions to Einstein's equations for perfect fluids 1990-01-01 Paper Parallel computer simulation...10 bytes (18 words) - 10:41, 13 December 2023
- 2003-09-09 Paper Boolean algebra as a fragment of the theory of Boolean toposes 2002-09-16 Paper Using categorical methods in computer science 2002-01-06 Paper...10 bytes (18 words) - 10:02, 9 December 2023
- Visual Algebraic Proofs for Unknot Detection 2023-02-23 Paper Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems 2022-11-04...10 bytes (17 words) - 04:16, 13 December 2023
- 2018-06-21 Paper Discovery of statistical equivalence classes using computer algebra 2018-06-15 Paper Equivalence classes of staged trees 2018-03-27 Paper...10 bytes (18 words) - 20:05, 9 December 2023
- Paper Omega Algebra, Demonic Refinement Algebra and Commands 2008-04-24 Paper Modal Design Algebra 2007-09-14 Paper Relational Methods in Computer Science...10 bytes (17 words) - 01:01, 11 December 2023
- General Logics 2013-09-13 Paper A Branching Time Logical System for Open Distributed Systems Development 2013-04-19 Paper Specifying and Verifying Declarative...10 bytes (21 words) - 15:15, 12 December 2023
- mardi4nfdi.de/entity/Q4252459 2000-03-22 Paper Associative algebras and computer algebra 1998-06-30 Paper https://portal.mardi4nfdi.de/entity/Q4296470 1996-03-11...10 bytes (16 words) - 23:06, 9 December 2023
