Pasqualina Conti

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2005
c6		Pasqualina Conti, Carlo Traverso: Approximate Rings and Gröbner Bases. Algorithmic Algebra and Logic 2005: 65-70
	2000
c5		Pasqualina Conti, Carlo Traverso: Algebraic and Semialgebraic Proofs: Methods and Paradoxes. Automated Deduction in Geometry 2000: 83-103
	1997
c4		Massimo Caboara, Pasqualina Conti, Carlo Traverso: Yet Another Ideal Decomposition Algorithm. AAECC 1997: 39-54
	1995
c3		Pasqualina Conti, Carlo Traverso: A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 8₃Theorem. AAECC 1995: 183-193
	1993
c2		Anna Maria Bigatti, Pasqualina Conti, Lorenzo Robbiano, Carlo Traverso: A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals. AAECC 1993: 76-88
	1991
j1		Pasqualina Conti, Carlo Traverso: Computing the conductor of an integral extension. Discrete Applied Mathematics 33(1-3): 61-72 (1991)
c1		Pasqualina Conti, Carlo Traverso: Buchberger Algorithm and Integer Programming. AAECC 1991: 130-139

Coauthor Index

Last update Thu May 23 12:26:49 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page