Filters
Interval Linear Algebra and Computational Complexity
Main topics of the document: linear algebra; interval computing; computational complexity...
Statistics and probability
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Melikyan algebra is a deformation of a Poisson algebra
We prove, using computer, that the restricted Melikyan algebra of dimension 125 is a deformation of a Poisson algebra.
BA - Obecná matematika
- 2014 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Quantum computing based on quantum bit algebra QGA
We describe quantum bit algebra (QBA) as an algebra for quantum formalism. We the algebra of their infinitesimal isomorphisms and discuss their relations to orthogonal Lie algebra so(n). We show that QBA can be see...
Applied mathematics
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Classical and computer algebra methods in geometry
Classical and computer algebra approach in solving problems in elementary geometry is given...
BA - Obecná matematika
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Proving and discovering theorems in geometry by computer algebra methods
A survey of the use of computer algebra methods in solving problems is given.
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Computable categoricity of the Boolean algebra B(omega) with a distinguished automorphism
It is proved that every computably enumerable Turing degree is a degree of categoricity of some computable Boolean algebra with a distinguished automorphism. We construct an example of a computably categorical Bool...
BA - Obecná matematika
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
An Online Calculator for Qubits Based on Geometric Algebra
We use Geometric Algebra for quantum computing motivated by the fact that qubits and gates can be handled as elements of the same algebra. Additionally, Geometric Algebra allows us to describe gate operations very ...
Applied mathematics
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Systems of linear equations with a parameter in Computer Algebra Systems
In this paper are introduced and compared facilities of computer algebra systems to solve system of linear equations with parameter.
BA - Obecná matematika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Quantum Register Algebra: the mathematical language for quantum computing
We present Quantum Register Algebra (QRA) as an efficient tool for quantum computing. We show the direct link between QRA and Dirac formalism. We present Geometric Algebra Algorithms Optimizer (GAALOP) implementation of our...
Physical sciences
- 2023 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
The new trends in economic modelling
Computer algebra systems and their using in econometric computing and mathematical economic modelling is explained. There is presented Maple V - the most used computer algebra systém at the Czech universit...
BB - Aplikovaná statistika, operační výzkum
- 1999 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 56 727