| Publication | Date of Publication | Type |
|---|
What can we do with a solution?
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Nominal cross recurrence as a generalized lag sequential analysis for behavioral streams
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2012-09-18 | Paper |
Spiking neural nets with symbolic internal state
Information Processing Letters | 2009-12-18 | Paper |
Zero tests for constants in simple scientific computation
Mathematics in Computer Science | 2008-01-04 | Paper |
Parallel computation in spiking neural nets
Theoretical Computer Science | 2007-10-25 | Paper |
Counterexamples to the uniformity conjecture
Computational Geometry | 2005-12-05 | Paper |
Gravitational instability and clustering in a disk of planetesimals
Astronomy & Astrophysics | 2005-04-18 | Paper |
scientific article; zbMATH DE number 2151238 (Why is no real title available?)
| 2005-04-04 | Paper |
Use of algebraically independent numbers for zero recognition of polynomial terms.
Journal of Complexity | 2004-03-14 | Paper |
Multiplicative independence of algebraic numbers and expressions
Journal of Pure and Applied Algebra | 2003-01-16 | Paper |
scientific article; zbMATH DE number 1746644 (Why is no real title available?)
| 2002-06-09 | Paper |
scientific article; zbMATH DE number 1263313 (Why is no real title available?)
| 2001-07-10 | Paper |
scientific article; zbMATH DE number 1273671 (Why is no real title available?)
| 1999-09-26 | Paper |
scientific article; zbMATH DE number 1263350 (Why is no real title available?)
| 1999-08-23 | Paper |
A relatively quick way to simulate local random processes on a lattice
Journal of Applied Probability | 1999-08-17 | Paper |
scientific article; zbMATH DE number 1254307 (Why is no real title available?)
| 1999-06-07 | Paper |
scientific article; zbMATH DE number 1254283 (Why is no real title available?)
| 1999-06-07 | Paper |
scientific article; zbMATH DE number 1157664 (Why is no real title available?)
| 1998-10-01 | Paper |
How to recognize zero?
Journal of Symbolic Computation | 1998-05-04 | Paper |
scientific article; zbMATH DE number 953038 (Why is no real title available?)
| 1996-01-01 | Paper |
scientific article; zbMATH DE number 1254240 (Why is no real title available?)
| 1995-01-01 | Paper |
Computing the topology of a bounded non algebraic curve in the plane
Journal of Symbolic Computation | 1993-05-16 | Paper |
Wu's method and the Khovanskii finiteness theorem
Journal of Symbolic Computation | 1992-06-28 | Paper |
scientific article; zbMATH DE number 16661 (Why is no real title available?)
| 1992-06-26 | Paper |
Non Standard Models of the Theory of Elementary Functions of a Real Variable
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
scientific article; zbMATH DE number 3649720 (Why is no real title available?)
| 1977-01-01 | Paper |
Self-reproduction by template
Mathematical Biosciences | 1976-01-01 | Paper |
Sets of theorems with short proofs
Journal of Symbolic Logic | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3463051 (Why is no real title available?)
| 1973-01-01 | Paper |
The Simple Exponential Constant Problem
Mathematical Logic Quarterly | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3292870 (Why is no real title available?)
| 1970-01-01 | Paper |
Some undecidable problems involving elementary functions of a real variable
Journal of Symbolic Logic | 1968-01-01 | Paper |
