| Publication | Date of Publication | Type |
|---|
On a formulation of qubits in quantum field theory
Physics Letters. A | 2013-01-22 | Paper |
Foreword on the relationship of computer algebra with mathematics and physics
Annals of Mathematics and Artificial Intelligence | 2012-12-28 | Paper |
Distance between physical theories based on information theory
Modern Physics Letters A | 2011-04-15 | Paper |
A revisited perspective on symbolic mathematical computing and artificial intelligence
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
Lecture Notes in Computer Science | 2009-07-09 | Paper |
A New Definition for Passivity and Its Relation to Coherence
Artificial Intelligence and Symbolic Computation | 2009-01-15 | Paper |
In memoriam Thomas Beth (November 16, 1949 -- August 17, 2005)
Applicable Algebra in Engineering, Communication and Computing | 2008-08-20 | Paper |
| scientific article; zbMATH DE number 2177626 (Why is no real title available?) | 2005-06-21 | Paper |
| scientific article; zbMATH DE number 2079833 (Why is no real title available?) | 2004-07-30 | Paper |
| Metric on a Statistical Space-Time | 2004-03-22 | Paper |
Computer algebra and field theories
Mathematics and Computers in Simulation | 2003-08-21 | Paper |
Computer algebra and artificial intelligence
Mathematics and Computers in Simulation | 2003-08-21 | Paper |
Composite distributive lattices as annotation domains for mediators
Annals of Mathematics and Artificial Intelligence | 2002-08-19 | Paper |
| scientific article; zbMATH DE number 1389647 (Why is no real title available?) | 2000-12-18 | Paper |
| scientific article; zbMATH DE number 1350001 (Why is no real title available?) | 1999-10-12 | Paper |
| scientific article; zbMATH DE number 1222427 (Why is no real title available?) | 1999-04-19 | Paper |
| scientific article; zbMATH DE number 1254246 (Why is no real title available?) | 1999-02-23 | Paper |
| scientific article; zbMATH DE number 1140680 (Why is no real title available?) | 1998-08-19 | Paper |
Towards the Mathematics Software Bus
Theoretical Computer Science | 1998-06-30 | Paper |
A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence | 1998-01-14 | Paper |
| scientific article; zbMATH DE number 1076964 (Why is no real title available?) | 1997-10-20 | Paper |
| scientific article; zbMATH DE number 622672 (Why is no real title available?) | 1995-03-05 | Paper |
| scientific article; zbMATH DE number 524290 (Why is no real title available?) | 1994-03-24 | Paper |
| scientific article; zbMATH DE number 4168548 (Why is no real title available?) | 1989-01-01 | Paper |
A knowledge-based system for computer algebra
ACM SIGSAM Bulletin | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4005607 (Why is no real title available?) | 1986-01-01 | Paper |
Algebraic algorithms in GF(q)
Discrete Mathematics | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4044230 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3852379 (Why is no real title available?) | 1983-01-01 | Paper |
Synthesizing recurrence relations I
ACM SIGSAM Bulletin | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3872677 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3778737 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3780555 (Why is no real title available?) | 1982-01-01 | Paper |
An improvement of Rabin's probabilistic algorithm for generating irreducible polynomials over GF(p)
Information Processing Letters | 1980-01-01 | Paper |
An attempt to evaluate renormalized radiative corrections by computer
Journal of Computational Physics | 1971-01-01 | Paper |
