Bruno Buchberger | Sciweavers

click to vote

JSC
2002

89views more JSC 2002»

Valuations and Filtrations

14 years 4 days ago

Download myweb.lmu.edu

The classical theory of Gr

Edward Mosteig, Moss Sweedler

claim paper

Read More »

click to vote

SYNASC
2007
IEEE

105views Algorithms» more SYNASC 2007»

Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration

14 years 6 months ago

Download www.ieat.ro

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers