JSC 2000 - PDF Preprint Papers

JSC 2000

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JSC-2000 Paper

107

click to vote

JSC
2000

117views more JSC 2000»

Goals and Benchmarks for Automated Map Reasoning

14 years 10 months ago

Download www.dmi.unipg.it

Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...

Andrea Formisano, Eugenio G. Omodeo, Marco Temperi...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	117	Goals and Benchmarks for Automated Map Reasoning	claim
2	99	Computing Orbits of Minimal Parabolic k-subgroups Acting on Symmetric k-varieties	claim
3	74	Computer Algebra and Algebraic. Geometry-Achievements and Perspectives	claim
4	69	Generic Polynomials with Few Parameters	claim
5	68	New Structure Theorem for Subresultants	claim
6	66	Cut-elimination and Redundancy-elimination by Resolution	claim
7	62	Galois Group Computation for Rational Polynomials	claim
8	60	Generic Extensions and Generic Polynomials	claim
9	59	The Projective Noether Maple Package: Computing the Dimension of a Projective Variety	claim
10	59	Algorithms for Exponentiation in Finite Fields	claim
11	57	Challenges of Symbolic Computation: My Favorite Open Problems	claim
12	56	Applications of Some Properties of the Canonical Module in Computational Projective Algebraic Geometry	claim
13	55	Permanental Ideals	claim
14	53	A Calculus for Schemas in Z	claim
15	52	Computing Local Artin Maps, and Solvability of Norm Equations	claim
16	50	Cohomology on Toric Varieties and Local Cohomology with Monomial Supports	claim
17	49	Using Galois Ideals for Computing Relative Resolvents	claim
18	49	Computing Global Extension Modules	claim
19	47	Multi-parameter Polynomials with Given Galois Group	claim
20	47	The Symbolic Integration of Exact PDEs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers