15 citations
- Argonne National LaboratoryUS1 paper
- Bielefeld UniversityDE1 paper
- Boğaziçi UniversityTR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Florida International UniversityUS1 paper
- Laboratoire de Recherche en InformatiqueFR1 paper
- Russian Academy of SciencesRU1 paper
- Université Paris CitéFR1 paper
- Université Paris-SudFR1 paper
- University of California, BerkeleyUS1 paper
- University of California, RiversideUS1 paper
- University of New MexicoUS1 paper
Showing 2003Show all
3 papers · 1 filter
math.AC2003
A Question about Differential Ideals
Eloise Hamann
The paper investigates the converse to the following theorem. Let R be a differential domain R which is finitely generated over a differential field F whose field of constants is a…
math.DG2003★ 3 cited
Calabi-Yau Connections with Torsion on Toric Bundles
D. Grantcharov, G. Grantcharov, Y. S. Poon
We find sufficient conditions for a principal toric bundle over compact Kähler manifolds to admit Calabi-Yau connections with torsion. With the aids of a topological classification…
cs.LO2003
Double-Negation Elimination in Some Propositional Logics
Michael Beeson, Robert Veroff, Larry Wos
This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none…