收稿范围 |
An international journal, the Journal of Symbolic Computation, founded by Bruno Buchberger in 1985, is directed to mathematicians and computer scientists who have a particular interest in symbolic computation. The journal provides a forum for research in the algorithmic treatment of all types of symbolic objects: objects in formal languages (terms, formulas, programs); algebraic objects (elements in basic number domains, polynomials, residue classes, etc.); and geometrical objects. It is the explicit goal of the journal to promote the integration of symbolic computation by establishing one common avenue of communication for researchers working in the different subareas. It is also important that the algorithmic achievements of these areas should be made available to the human problem-solver in integrated software systems for symbolic computation. To help this integration, the journal publishes invited tutorial surveys as well as Applications Letters and System Descriptions. Research Areas Include: • Computational algebra • Computational geometry (non-linear) • Automated theorem proving • Automatic programming • Design and implementation of symbolic computation languages and systems • Applications in education, science, engineering and industry
|
编辑信息 |
Editor-in-Chief Dept. of Mathematics, Box 8205, North Carolina State University, 2311 Stinson Drive, Raleigh, North Carolina, NC 27695-8205, USA Editorial Board Laurent BernardinWaterloo, Ontario, CanadaAlin Bostan Palaiseau, France John CannonSydney, AustraliaDavid CoxAmherst, Massachusetts, USACarlos D'AndreaBarcelona, SpainWillem de GraafTrento, ItalyWayne EberlyCalgary, Alberta, CanadaIoannis EmirisAthens, GreeceXiao-Shan GaoBeijing, ChinaVladimir GerdtDubna, Russian FederationMark GiesbrechtWaterloo, Ontario, CanadaEvelyne HubertSophia Antipolis, FranceAlexander HulpkeFort Collins, Colorado, USATetsuo IdaTsukuba, Ibaraki, JapanGabriela JeronimoBuenos Aires, ArgentinaErich KaltofenRaleigh, North Carolina, USADeepak KapurAlbuquerque, New Mexico, USAManuel KauersLinz, AustriaWolfram KoepfKassel, GermanyGeorge LabahnWaterloo, Ontario, CanadaReinhard LaubenbacherBlacksburg, Virginia, USAScott McCallumSydney, New South Wales, AustraliaMichael MonaganBurnaby, British Columbia, CanadaBernard MourrainSophia Antipolis, FranceMarko PetkovsekLjubljana, SloveniaGoetz PfeifferGalway, IrelandTomas RecioSantander, SpainFabrice RouillierParis, FranceMohab Safey El DinParis, FranceJosef SchichoHagenberg, AustriaEric SchostLondon, Ontario, CanadaRafael SendraAlcalá de Henares, Madrid, SpainMichael SingerRaleigh, North Carolina, USAAdam StrzebonskiChampaign, Illinois, USAThomas SturmNancy, FranceAgnes SzantoRaleigh, North Carolina, USAGilles VillardLyon, FranceDongming WangGrenoble, FranceStephen WattWaterloo, Ontario, CanadaDoron ZeilbergerPiscataway, New Jersey, USA
|