Sciweavers

JSC
2002
89views more  JSC 2002»
13 years 4 months ago
Valuations and Filtrations
The classical theory of Gr
Edward Mosteig, Moss Sweedler
SYNASC
2007
IEEE
105views Algorithms» more  SYNASC 2007»
13 years 11 months ago
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
Adrian Craciun, Madalina Hodorog