Solving systems of linear congruences:
Abstract: "Based on an extended quantifier elimination procedure for discretely valued fields, we devise algorithms for solving multivariate systems of linear congruences over the integers. This includes determining integer solutions for sets of moduli which are all power of a fixed prime, unif...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Passau
2001
|
| Series: | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP
2001,01 |
| Subjects: | |
| Summary: | Abstract: "Based on an extended quantifier elimination procedure for discretely valued fields, we devise algorithms for solving multivariate systems of linear congruences over the integers. This includes determining integer solutions for sets of moduli which are all power of a fixed prime, uniform p-adic integer solutions for parametric prime power moduli, lifting strategies for these uniform p-adic solutions for given primes, and simultaneous lifting strategies for finite sets of primes. The method is finally extended to arbitrary moduli." |
| Physical Description: | 21, 3 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013657099 | ||
| 003 | DE-604 | ||
| 005 | 20010330 | ||
| 007 | t| | ||
| 008 | 010328s2001 xx |||| 00||| eng d | ||
| 035 | |a (OCoLC)53893947 | ||
| 035 | |a (DE-599)BVBBV013657099 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-154 |a DE-739 |a DE-12 |a DE-703 |a DE-91G | ||
| 100 | 1 | |a Dolzmann, Andreas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Solving systems of linear congruences |c A. Dolzmann ; Thomas Sturm |
| 264 | 1 | |a Passau |c 2001 | |
| 300 | |a 21, 3 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |v 2001,01 | |
| 520 | 3 | |a Abstract: "Based on an extended quantifier elimination procedure for discretely valued fields, we devise algorithms for solving multivariate systems of linear congruences over the integers. This includes determining integer solutions for sets of moduli which are all power of a fixed prime, uniform p-adic integer solutions for parametric prime power moduli, lifting strategies for these uniform p-adic solutions for given primes, and simultaneous lifting strategies for finite sets of primes. The method is finally extended to arbitrary moduli." | |
| 650 | 4 | |a Congruences (Geometry) | |
| 650 | 4 | |a Moduli theory | |
| 700 | 1 | |a Sturm, Thomas |e Verfasser |4 aut | |
| 810 | 2 | |a Fakultät für Mathematik und Informatik: MIP |t Universität <Passau> |v 2001,01 |w (DE-604)BV000905393 |9 2001,01 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009331404 | |
Record in the Search Index
| _version_ | 1820882318025293824 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Dolzmann, Andreas Sturm, Thomas |
| author_facet | Dolzmann, Andreas Sturm, Thomas |
| author_role | aut aut |
| author_sort | Dolzmann, Andreas |
| author_variant | a d ad t s ts |
| building | Verbundindex |
| bvnumber | BV013657099 |
| classification_rvk | SS 5600 |
| ctrlnum | (OCoLC)53893947 (DE-599)BVBBV013657099 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV013657099</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010330</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010328s2001 xx |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53893947</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013657099</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-154</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dolzmann, Andreas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Solving systems of linear congruences</subfield><subfield code="c">A. Dolzmann ; Thomas Sturm</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Passau</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">21, 3 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Universität <Passau> / Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="v">2001,01</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Based on an extended quantifier elimination procedure for discretely valued fields, we devise algorithms for solving multivariate systems of linear congruences over the integers. This includes determining integer solutions for sets of moduli which are all power of a fixed prime, uniform p-adic integer solutions for parametric prime power moduli, lifting strategies for these uniform p-adic solutions for given primes, and simultaneous lifting strategies for finite sets of primes. The method is finally extended to arbitrary moduli."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Congruences (Geometry)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Moduli theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sturm, Thomas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="t">Universität <Passau></subfield><subfield code="v">2001,01</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">2001,01</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009331404</subfield></datafield></record></collection> |
| id | DE-604.BV013657099 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T17:04:59Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009331404 |
| oclc_num | 53893947 |
| open_access_boolean | |
| owner | DE-154 DE-739 DE-12 DE-703 DE-91G DE-BY-TUM |
| owner_facet | DE-154 DE-739 DE-12 DE-703 DE-91G DE-BY-TUM |
| physical | 21, 3 S. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| record_format | marc |
| series2 | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |
| spelling | Dolzmann, Andreas Verfasser aut Solving systems of linear congruences A. Dolzmann ; Thomas Sturm Passau 2001 21, 3 S. txt rdacontent n rdamedia nc rdacarrier Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 2001,01 Abstract: "Based on an extended quantifier elimination procedure for discretely valued fields, we devise algorithms for solving multivariate systems of linear congruences over the integers. This includes determining integer solutions for sets of moduli which are all power of a fixed prime, uniform p-adic integer solutions for parametric prime power moduli, lifting strategies for these uniform p-adic solutions for given primes, and simultaneous lifting strategies for finite sets of primes. The method is finally extended to arbitrary moduli." Congruences (Geometry) Moduli theory Sturm, Thomas Verfasser aut Fakultät für Mathematik und Informatik: MIP Universität <Passau> 2001,01 (DE-604)BV000905393 2001,01 |
| spellingShingle | Dolzmann, Andreas Sturm, Thomas Solving systems of linear congruences Congruences (Geometry) Moduli theory |
| title | Solving systems of linear congruences |
| title_auth | Solving systems of linear congruences |
| title_exact_search | Solving systems of linear congruences |
| title_full | Solving systems of linear congruences A. Dolzmann ; Thomas Sturm |
| title_fullStr | Solving systems of linear congruences A. Dolzmann ; Thomas Sturm |
| title_full_unstemmed | Solving systems of linear congruences A. Dolzmann ; Thomas Sturm |
| title_short | Solving systems of linear congruences |
| title_sort | solving systems of linear congruences |
| topic | Congruences (Geometry) Moduli theory |
| topic_facet | Congruences (Geometry) Moduli theory |
| volume_link | (DE-604)BV000905393 |
| work_keys_str_mv | AT dolzmannandreas solvingsystemsoflinearcongruences AT sturmthomas solvingsystemsoflinearcongruences |