[{"user_id":"5786","department":[{"_id":"672"}],"_id":"39061","language":[{"iso":"eng"}],"keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"type":"conference","publication":"Proceedings of DATE’04 Designers' Forum","status":"public","abstract":[{"lang":"eng","text":"This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit."}],"author":[{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"first_name":"Ian","full_name":"Oliver, Ian","last_name":"Oliver"}],"date_created":"2023-01-24T08:53:26Z","date_updated":"2023-01-24T08:53:31Z","doi":"10.1109/DATE.2004.1269214","conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","publication_identifier":{"isbn":["0-7695-2085-5"]},"citation":{"mla":"Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” <i>Proceedings of DATE’04 Designers’ Forum</i>, 2004, doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.","bibtex":"@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }","apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. <i>Proceedings of DATE’04 Designers’ Forum</i>. Proceedings Design, Automation and Test in Europe Conference and Exhibition. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>","ama":"Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: <i>Proceedings of DATE’04 Designers’ Forum</i>. ; 2004. doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>","ieee":"A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In <i>Proceedings of DATE’04 Designers’ Forum</i>. Paris, 2004. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>."},"year":"2004","place":"Paris"},{"publication_identifier":{"issn":["0022-314X"]},"publication_status":"published","page":"318-337","intvolume":"        99","citation":{"apa":"Fieker, C., &#38; Klüners, J. (2003). Minimal discriminants for fields with small Frobenius groups as Galois groups. <i>Journal of Number Theory</i>, <i>99</i>(2), 318–337. <a href=\"https://doi.org/10.1016/s0022-314x(02)00071-9\">https://doi.org/10.1016/s0022-314x(02)00071-9</a>","short":"C. Fieker, J. Klüners, Journal of Number Theory 99 (2003) 318–337.","bibtex":"@article{Fieker_Klüners_2003, title={Minimal discriminants for fields with small Frobenius groups as Galois groups}, volume={99}, DOI={<a href=\"https://doi.org/10.1016/s0022-314x(02)00071-9\">10.1016/s0022-314x(02)00071-9</a>}, number={2}, journal={Journal of Number Theory}, publisher={Elsevier BV}, author={Fieker, Claus and Klüners, Jürgen}, year={2003}, pages={318–337} }","mla":"Fieker, Claus, and Jürgen Klüners. “Minimal Discriminants for Fields with Small Frobenius Groups as Galois Groups.” <i>Journal of Number Theory</i>, vol. 99, no. 2, Elsevier BV, 2003, pp. 318–37, doi:<a href=\"https://doi.org/10.1016/s0022-314x(02)00071-9\">10.1016/s0022-314x(02)00071-9</a>.","chicago":"Fieker, Claus, and Jürgen Klüners. “Minimal Discriminants for Fields with Small Frobenius Groups as Galois Groups.” <i>Journal of Number Theory</i> 99, no. 2 (2003): 318–37. <a href=\"https://doi.org/10.1016/s0022-314x(02)00071-9\">https://doi.org/10.1016/s0022-314x(02)00071-9</a>.","ieee":"C. Fieker and J. Klüners, “Minimal discriminants for fields with small Frobenius groups as Galois groups,” <i>Journal of Number Theory</i>, vol. 99, no. 2, pp. 318–337, 2003, doi: <a href=\"https://doi.org/10.1016/s0022-314x(02)00071-9\">10.1016/s0022-314x(02)00071-9</a>.","ama":"Fieker C, Klüners J. Minimal discriminants for fields with small Frobenius groups as Galois groups. <i>Journal of Number Theory</i>. 2003;99(2):318-337. doi:<a href=\"https://doi.org/10.1016/s0022-314x(02)00071-9\">10.1016/s0022-314x(02)00071-9</a>"},"date_updated":"2023-03-06T09:19:16Z","volume":99,"author":[{"full_name":"Fieker, Claus","last_name":"Fieker","first_name":"Claus"},{"last_name":"Klüners","id":"21202","full_name":"Klüners, Jürgen","first_name":"Jürgen"}],"doi":"10.1016/s0022-314x(02)00071-9","type":"journal_article","status":"public","_id":"34896","department":[{"_id":"102"}],"user_id":"93826","issue":"2","year":"2003","publisher":"Elsevier BV","date_created":"2022-12-23T09:53:23Z","title":"Minimal discriminants for fields with small Frobenius groups as Galois groups","publication":"Journal of Number Theory","abstract":[{"lang":"eng","text":"We apply class field theory to the computation of the minimal discriminants for certain solvable groups. In particular, we apply our techniques to small Frobenius groups and all imprimitive degree 8 groups such that the corresponding fields have only a degree 2 and no degree 4 subfield."}],"keyword":["Algebra and Number Theory"],"language":[{"iso":"eng"}]},{"year":"2002","citation":{"chicago":"Mahnken, Rolf. “Improved Implementation of an Algorithm for Non-Linear Isotropic/Kinematic Hardening in Elastoplasticity.” <i>Communications in Numerical Methods in Engineering</i> 15, no. 10 (2002): 745–54. <a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>.","ieee":"R. Mahnken, “Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity,” <i>Communications in Numerical Methods in Engineering</i>, vol. 15, no. 10, pp. 745–754, 2002, doi: <a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>.","ama":"Mahnken R. Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity. <i>Communications in Numerical Methods in Engineering</i>. 2002;15(10):745-754. doi:<a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>","short":"R. Mahnken, Communications in Numerical Methods in Engineering 15 (2002) 745–754.","mla":"Mahnken, Rolf. “Improved Implementation of an Algorithm for Non-Linear Isotropic/Kinematic Hardening in Elastoplasticity.” <i>Communications in Numerical Methods in Engineering</i>, vol. 15, no. 10, Wiley, 2002, pp. 745–54, doi:<a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>.","bibtex":"@article{Mahnken_2002, title={Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity}, volume={15}, DOI={<a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>}, number={10}, journal={Communications in Numerical Methods in Engineering}, publisher={Wiley}, author={Mahnken, Rolf}, year={2002}, pages={745–754} }","apa":"Mahnken, R. (2002). Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity. <i>Communications in Numerical Methods in Engineering</i>, <i>15</i>(10), 745–754. <a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>"},"intvolume":"        15","page":"745-754","publication_status":"published","quality_controlled":"1","publication_identifier":{"issn":["1069-8299","1099-0887"]},"issue":"10","title":"Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity","doi":"10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r","publisher":"Wiley","date_updated":"2023-05-31T12:15:12Z","author":[{"id":"335","full_name":"Mahnken, Rolf","last_name":"Mahnken","first_name":"Rolf"}],"date_created":"2023-05-31T12:14:42Z","volume":15,"status":"public","type":"journal_article","publication":"Communications in Numerical Methods in Engineering","keyword":["Applied Mathematics","Computational Theory and Mathematics","General Engineering","Modeling and Simulation","Software"],"language":[{"iso":"eng"}],"_id":"45423","user_id":"335","department":[{"_id":"9"},{"_id":"154"}]},{"language":[{"iso":"eng"}],"keyword":["Applied Mathematics","Computational Mathematics","Computational Theory and Mathematics","Mechanical Engineering","Ocean Engineering","Computational Mechanics"],"publication":"Computational Mechanics","date_created":"2023-05-31T12:04:03Z","publisher":"Springer Science and Business Media LLC","title":"Numerical simulation of interface debonding with a combined damage/friction constitutive model","issue":"5","quality_controlled":"1","year":"2002","user_id":"335","department":[{"_id":"9"},{"_id":"154"}],"_id":"45417","type":"journal_article","status":"public","author":[{"first_name":"C.","full_name":"Döbert, C.","last_name":"Döbert"},{"id":"335","full_name":"Mahnken, Rolf","last_name":"Mahnken","first_name":"Rolf"},{"full_name":"Stein, E.","last_name":"Stein","first_name":"E."}],"volume":25,"date_updated":"2023-05-31T12:04:35Z","doi":"10.1007/s004660050493","publication_status":"published","publication_identifier":{"issn":["0178-7675","1432-0924"]},"citation":{"ama":"Döbert C, Mahnken R, Stein E. Numerical simulation of interface debonding with a combined damage/friction constitutive model. <i>Computational Mechanics</i>. 2002;25(5):456-467. doi:<a href=\"https://doi.org/10.1007/s004660050493\">10.1007/s004660050493</a>","chicago":"Döbert, C., Rolf Mahnken, and E. Stein. “Numerical Simulation of Interface Debonding with a Combined Damage/Friction Constitutive Model.” <i>Computational Mechanics</i> 25, no. 5 (2002): 456–67. <a href=\"https://doi.org/10.1007/s004660050493\">https://doi.org/10.1007/s004660050493</a>.","ieee":"C. Döbert, R. Mahnken, and E. Stein, “Numerical simulation of interface debonding with a combined damage/friction constitutive model,” <i>Computational Mechanics</i>, vol. 25, no. 5, pp. 456–467, 2002, doi: <a href=\"https://doi.org/10.1007/s004660050493\">10.1007/s004660050493</a>.","mla":"Döbert, C., et al. “Numerical Simulation of Interface Debonding with a Combined Damage/Friction Constitutive Model.” <i>Computational Mechanics</i>, vol. 25, no. 5, Springer Science and Business Media LLC, 2002, pp. 456–67, doi:<a href=\"https://doi.org/10.1007/s004660050493\">10.1007/s004660050493</a>.","short":"C. Döbert, R. Mahnken, E. Stein, Computational Mechanics 25 (2002) 456–467.","bibtex":"@article{Döbert_Mahnken_Stein_2002, title={Numerical simulation of interface debonding with a combined damage/friction constitutive model}, volume={25}, DOI={<a href=\"https://doi.org/10.1007/s004660050493\">10.1007/s004660050493</a>}, number={5}, journal={Computational Mechanics}, publisher={Springer Science and Business Media LLC}, author={Döbert, C. and Mahnken, Rolf and Stein, E.}, year={2002}, pages={456–467} }","apa":"Döbert, C., Mahnken, R., &#38; Stein, E. (2002). Numerical simulation of interface debonding with a combined damage/friction constitutive model. <i>Computational Mechanics</i>, <i>25</i>(5), 456–467. <a href=\"https://doi.org/10.1007/s004660050493\">https://doi.org/10.1007/s004660050493</a>"},"page":"456-467","intvolume":"        25"},{"department":[{"_id":"9"},{"_id":"154"}],"user_id":"335","_id":"45427","type":"journal_article","status":"public","volume":15,"author":[{"first_name":"Rolf","id":"335","full_name":"Mahnken, Rolf","last_name":"Mahnken"},{"first_name":"Magnus","last_name":"Johansson","full_name":"Johansson, Magnus"},{"first_name":"Kenneth","last_name":"Runesson","full_name":"Runesson, Kenneth"}],"date_updated":"2023-05-31T12:21:15Z","doi":"10.1108/02644409810236920","publication_identifier":{"issn":["0264-4401"]},"publication_status":"published","intvolume":"        15","page":"925-955","citation":{"ama":"Mahnken R, Johansson M, Runesson K. Parameter estimation for a viscoplastic damage model using a gradient‐based optimization algorithm. <i>Engineering Computations</i>. 2002;15(7):925-955. doi:<a href=\"https://doi.org/10.1108/02644409810236920\">10.1108/02644409810236920</a>","ieee":"R. Mahnken, M. Johansson, and K. Runesson, “Parameter estimation for a viscoplastic damage model using a gradient‐based optimization algorithm,” <i>Engineering Computations</i>, vol. 15, no. 7, pp. 925–955, 2002, doi: <a href=\"https://doi.org/10.1108/02644409810236920\">10.1108/02644409810236920</a>.","chicago":"Mahnken, Rolf, Magnus Johansson, and Kenneth Runesson. “Parameter Estimation for a Viscoplastic Damage Model Using a Gradient‐based Optimization Algorithm.” <i>Engineering Computations</i> 15, no. 7 (2002): 925–55. <a href=\"https://doi.org/10.1108/02644409810236920\">https://doi.org/10.1108/02644409810236920</a>.","mla":"Mahnken, Rolf, et al. “Parameter Estimation for a Viscoplastic Damage Model Using a Gradient‐based Optimization Algorithm.” <i>Engineering Computations</i>, vol. 15, no. 7, Emerald, 2002, pp. 925–55, doi:<a href=\"https://doi.org/10.1108/02644409810236920\">10.1108/02644409810236920</a>.","bibtex":"@article{Mahnken_Johansson_Runesson_2002, title={Parameter estimation for a viscoplastic damage model using a gradient‐based optimization algorithm}, volume={15}, DOI={<a href=\"https://doi.org/10.1108/02644409810236920\">10.1108/02644409810236920</a>}, number={7}, journal={Engineering Computations}, publisher={Emerald}, author={Mahnken, Rolf and Johansson, Magnus and Runesson, Kenneth}, year={2002}, pages={925–955} }","short":"R. Mahnken, M. Johansson, K. Runesson, Engineering Computations 15 (2002) 925–955.","apa":"Mahnken, R., Johansson, M., &#38; Runesson, K. (2002). Parameter estimation for a viscoplastic damage model using a gradient‐based optimization algorithm. <i>Engineering Computations</i>, <i>15</i>(7), 925–955. <a href=\"https://doi.org/10.1108/02644409810236920\">https://doi.org/10.1108/02644409810236920</a>"},"language":[{"iso":"eng"}],"keyword":["Computational Theory and Mathematics","Computer Science Applications","General Engineering","Software"],"publication":"Engineering Computations","abstract":[{"lang":"eng","text":"<jats:p>In this work a gradient‐based optimization method is applied in order to determine material parameters for a viscoplastic model with dynamic yield surface coupled to damage as presented in 1997. To this end a sensitivity analysis consistent with the integration scheme presented previously is performed in a systematic manner, both for strain and stress controlled experiments. The algorithm is tested in two numerical examples: first, simulated data are used, in order to re‐obtain parameters for the case of damage under monotonic loading. In the second example material parameters are obtained based on experimental data for lcf‐testing of an austenetic stainless steel, thus showing a very good agreement with respect to hardening, rate and damage effects.</jats:p>"}],"date_created":"2023-05-31T12:20:54Z","publisher":"Emerald","title":"Parameter estimation for a viscoplastic damage model using a gradient‐based optimization algorithm","issue":"7","quality_controlled":"1","year":"2002"},{"publication_status":"published","publication_identifier":{"issn":["1461-1570"]},"citation":{"apa":"Klüners, J., &#38; Malle, G. (2001). A Database for Field Extensions of the Rationals. <i>LMS Journal of Computation and Mathematics</i>, <i>4</i>, 182–196. <a href=\"https://doi.org/10.1112/s1461157000000851\">https://doi.org/10.1112/s1461157000000851</a>","short":"J. Klüners, G. Malle, LMS Journal of Computation and Mathematics 4 (2001) 182–196.","bibtex":"@article{Klüners_Malle_2001, title={A Database for Field Extensions of the Rationals}, volume={4}, DOI={<a href=\"https://doi.org/10.1112/s1461157000000851\">10.1112/s1461157000000851</a>}, journal={LMS Journal of Computation and Mathematics}, publisher={Wiley}, author={Klüners, Jürgen and Malle, Gunter}, year={2001}, pages={182–196} }","mla":"Klüners, Jürgen, and Gunter Malle. “A Database for Field Extensions of the Rationals.” <i>LMS Journal of Computation and Mathematics</i>, vol. 4, Wiley, 2001, pp. 182–96, doi:<a href=\"https://doi.org/10.1112/s1461157000000851\">10.1112/s1461157000000851</a>.","ama":"Klüners J, Malle G. A Database for Field Extensions of the Rationals. <i>LMS Journal of Computation and Mathematics</i>. 2001;4:182-196. doi:<a href=\"https://doi.org/10.1112/s1461157000000851\">10.1112/s1461157000000851</a>","chicago":"Klüners, Jürgen, and Gunter Malle. “A Database for Field Extensions of the Rationals.” <i>LMS Journal of Computation and Mathematics</i> 4 (2001): 182–96. <a href=\"https://doi.org/10.1112/s1461157000000851\">https://doi.org/10.1112/s1461157000000851</a>.","ieee":"J. Klüners and G. Malle, “A Database for Field Extensions of the Rationals,” <i>LMS Journal of Computation and Mathematics</i>, vol. 4, pp. 182–196, 2001, doi: <a href=\"https://doi.org/10.1112/s1461157000000851\">10.1112/s1461157000000851</a>."},"page":"182-196","intvolume":"         4","date_updated":"2023-03-02T09:53:08Z","author":[{"first_name":"Jürgen","last_name":"Klüners","full_name":"Klüners, Jürgen","id":"21202"},{"first_name":"Gunter","last_name":"Malle","full_name":"Malle, Gunter"}],"volume":4,"doi":"10.1112/s1461157000000851","type":"journal_article","status":"public","_id":"34897","user_id":"93826","department":[{"_id":"102"}],"year":"2001","publisher":"Wiley","date_created":"2022-12-23T09:56:22Z","title":"A Database for Field Extensions of the Rationals","publication":"LMS Journal of Computation and Mathematics","abstract":[{"text":"This paper announces the creation of a database for number fields. It describes the contents and the methods of access, indicates the origin of the polynomials, and formulates the aims of this collection of fields.","lang":"eng"}],"external_id":{"arxiv":["math/0102232"]},"keyword":["Computational Theory and Mathematics","General Mathematics"],"language":[{"iso":"eng"}]},{"_id":"34900","department":[{"_id":"102"}],"user_id":"93826","type":"journal_article","status":"public","date_updated":"2023-03-06T09:58:06Z","volume":30,"author":[{"first_name":"Katharina","last_name":"Geissler","full_name":"Geissler, Katharina"},{"first_name":"Jürgen","last_name":"Klüners","full_name":"Klüners, Jürgen","id":"21202"}],"doi":"10.1006/jsco.2000.0377","publication_identifier":{"issn":["0747-7171"]},"publication_status":"published","intvolume":"        30","page":"653-674","citation":{"ieee":"K. Geissler and J. Klüners, “Galois Group Computation for Rational Polynomials,” <i>Journal of Symbolic Computation</i>, vol. 30, no. 6, pp. 653–674, 2000, doi: <a href=\"https://doi.org/10.1006/jsco.2000.0377\">10.1006/jsco.2000.0377</a>.","chicago":"Geissler, Katharina, and Jürgen Klüners. “Galois Group Computation for Rational Polynomials.” <i>Journal of Symbolic Computation</i> 30, no. 6 (2000): 653–74. <a href=\"https://doi.org/10.1006/jsco.2000.0377\">https://doi.org/10.1006/jsco.2000.0377</a>.","ama":"Geissler K, Klüners J. Galois Group Computation for Rational Polynomials. <i>Journal of Symbolic Computation</i>. 2000;30(6):653-674. doi:<a href=\"https://doi.org/10.1006/jsco.2000.0377\">10.1006/jsco.2000.0377</a>","apa":"Geissler, K., &#38; Klüners, J. (2000). Galois Group Computation for Rational Polynomials. <i>Journal of Symbolic Computation</i>, <i>30</i>(6), 653–674. <a href=\"https://doi.org/10.1006/jsco.2000.0377\">https://doi.org/10.1006/jsco.2000.0377</a>","short":"K. Geissler, J. Klüners, Journal of Symbolic Computation 30 (2000) 653–674.","bibtex":"@article{Geissler_Klüners_2000, title={Galois Group Computation for Rational Polynomials}, volume={30}, DOI={<a href=\"https://doi.org/10.1006/jsco.2000.0377\">10.1006/jsco.2000.0377</a>}, number={6}, journal={Journal of Symbolic Computation}, publisher={Elsevier BV}, author={Geissler, Katharina and Klüners, Jürgen}, year={2000}, pages={653–674} }","mla":"Geissler, Katharina, and Jürgen Klüners. “Galois Group Computation for Rational Polynomials.” <i>Journal of Symbolic Computation</i>, vol. 30, no. 6, Elsevier BV, 2000, pp. 653–74, doi:<a href=\"https://doi.org/10.1006/jsco.2000.0377\">10.1006/jsco.2000.0377</a>."},"keyword":["Computational Mathematics","Algebra and Number Theory"],"language":[{"iso":"eng"}],"publication":"Journal of Symbolic Computation","abstract":[{"text":"We describe methods for the computation of Galois groups of univariate polynomials over the rationals which we have implemented up to degree 15. These methods are based on Stauduhar’s algorithm. All computations are done in unramified p -adic extensions. For imprimitive groups we give an improvement using subfields. In the primitive case we use known subgroups of the Galois group together with a combination of Stauduhar’s method and the absolute resolvent method.","lang":"eng"}],"publisher":"Elsevier BV","date_created":"2022-12-23T09:58:16Z","title":"Galois Group Computation for Rational Polynomials","issue":"6","year":"2000"},{"status":"public","type":"journal_article","_id":"34901","user_id":"93826","department":[{"_id":"102"}],"citation":{"apa":"Acciaro, V., &#38; Klüners, J. (2000). Computing Local Artin Maps, and Solvability of Norm Equations. <i>Journal of Symbolic Computation</i>, <i>30</i>(3), 239–252. <a href=\"https://doi.org/10.1006/jsco.2000.0361\">https://doi.org/10.1006/jsco.2000.0361</a>","bibtex":"@article{Acciaro_Klüners_2000, title={Computing Local Artin Maps, and Solvability of Norm Equations}, volume={30}, DOI={<a href=\"https://doi.org/10.1006/jsco.2000.0361\">10.1006/jsco.2000.0361</a>}, number={3}, journal={Journal of Symbolic Computation}, publisher={Elsevier BV}, author={Acciaro, Vincenzo and Klüners, Jürgen}, year={2000}, pages={239–252} }","short":"V. Acciaro, J. Klüners, Journal of Symbolic Computation 30 (2000) 239–252.","mla":"Acciaro, Vincenzo, and Jürgen Klüners. “Computing Local Artin Maps, and Solvability of Norm Equations.” <i>Journal of Symbolic Computation</i>, vol. 30, no. 3, Elsevier BV, 2000, pp. 239–52, doi:<a href=\"https://doi.org/10.1006/jsco.2000.0361\">10.1006/jsco.2000.0361</a>.","ama":"Acciaro V, Klüners J. Computing Local Artin Maps, and Solvability of Norm Equations. <i>Journal of Symbolic Computation</i>. 2000;30(3):239-252. doi:<a href=\"https://doi.org/10.1006/jsco.2000.0361\">10.1006/jsco.2000.0361</a>","ieee":"V. Acciaro and J. Klüners, “Computing Local Artin Maps, and Solvability of Norm Equations,” <i>Journal of Symbolic Computation</i>, vol. 30, no. 3, pp. 239–252, 2000, doi: <a href=\"https://doi.org/10.1006/jsco.2000.0361\">10.1006/jsco.2000.0361</a>.","chicago":"Acciaro, Vincenzo, and Jürgen Klüners. “Computing Local Artin Maps, and Solvability of Norm Equations.” <i>Journal of Symbolic Computation</i> 30, no. 3 (2000): 239–52. <a href=\"https://doi.org/10.1006/jsco.2000.0361\">https://doi.org/10.1006/jsco.2000.0361</a>."},"intvolume":"        30","page":"239-252","publication_status":"published","publication_identifier":{"issn":["0747-7171"]},"doi":"10.1006/jsco.2000.0361","date_updated":"2023-03-06T09:57:34Z","author":[{"full_name":"Acciaro, Vincenzo","last_name":"Acciaro","first_name":"Vincenzo"},{"first_name":"Jürgen","last_name":"Klüners","full_name":"Klüners, Jürgen","id":"21202"}],"volume":30,"abstract":[{"lang":"eng","text":"Let L = K(α) be an Abelian extension of degree n of a number field K, given by the minimal polynomial of α over K. We describe an algorithm for computing the local Artin map associated with the extension L / K at a finite or infinite prime v of K. We apply this algorithm to decide if a nonzero a ∈ K is a norm from L, assuming that L / K is cyclic."}],"publication":"Journal of Symbolic Computation","keyword":["Computational Mathematics","Algebra and Number Theory"],"language":[{"iso":"eng"}],"year":"2000","issue":"3","title":"Computing Local Artin Maps, and Solvability of Norm Equations","publisher":"Elsevier BV","date_created":"2022-12-23T09:58:48Z"},{"language":[{"iso":"eng"}],"keyword":["Computational Mathematics","Algebra and Number Theory"],"abstract":[{"lang":"eng","text":"We describe methods for the construction of polynomials with certain types of Galois groups. As an application we deduce that all transitive groups G up to degree 15 occur as Galois groups of regular extensions of ℚ (t), and in each case compute a polynomial f ∈ ℚ [ x ] with Gal(f)  = G."}],"publication":"Journal of Symbolic Computation","title":"Explicit Galois Realization of Transitive Groups of Degree up to 15","date_created":"2022-12-23T09:57:28Z","publisher":"Elsevier BV","year":"2000","issue":"6","user_id":"93826","department":[{"_id":"102"}],"_id":"34899","status":"public","type":"journal_article","doi":"10.1006/jsco.2000.0378","author":[{"first_name":"Jürgen","id":"21202","full_name":"Klüners, Jürgen","last_name":"Klüners"},{"first_name":"Gunter","full_name":"Malle, Gunter","last_name":"Malle"}],"volume":30,"date_updated":"2023-03-06T10:48:05Z","citation":{"chicago":"Klüners, Jürgen, and Gunter Malle. “Explicit Galois Realization of Transitive Groups of Degree up to 15.” <i>Journal of Symbolic Computation</i> 30, no. 6 (2000): 675–716. <a href=\"https://doi.org/10.1006/jsco.2000.0378\">https://doi.org/10.1006/jsco.2000.0378</a>.","ieee":"J. Klüners and G. Malle, “Explicit Galois Realization of Transitive Groups of Degree up to 15,” <i>Journal of Symbolic Computation</i>, vol. 30, no. 6, pp. 675–716, 2000, doi: <a href=\"https://doi.org/10.1006/jsco.2000.0378\">10.1006/jsco.2000.0378</a>.","ama":"Klüners J, Malle G. Explicit Galois Realization of Transitive Groups of Degree up to 15. <i>Journal of Symbolic Computation</i>. 2000;30(6):675-716. doi:<a href=\"https://doi.org/10.1006/jsco.2000.0378\">10.1006/jsco.2000.0378</a>","apa":"Klüners, J., &#38; Malle, G. (2000). Explicit Galois Realization of Transitive Groups of Degree up to 15. <i>Journal of Symbolic Computation</i>, <i>30</i>(6), 675–716. <a href=\"https://doi.org/10.1006/jsco.2000.0378\">https://doi.org/10.1006/jsco.2000.0378</a>","bibtex":"@article{Klüners_Malle_2000, title={Explicit Galois Realization of Transitive Groups of Degree up to 15}, volume={30}, DOI={<a href=\"https://doi.org/10.1006/jsco.2000.0378\">10.1006/jsco.2000.0378</a>}, number={6}, journal={Journal of Symbolic Computation}, publisher={Elsevier BV}, author={Klüners, Jürgen and Malle, Gunter}, year={2000}, pages={675–716} }","short":"J. Klüners, G. Malle, Journal of Symbolic Computation 30 (2000) 675–716.","mla":"Klüners, Jürgen, and Gunter Malle. “Explicit Galois Realization of Transitive Groups of Degree up to 15.” <i>Journal of Symbolic Computation</i>, vol. 30, no. 6, Elsevier BV, 2000, pp. 675–716, doi:<a href=\"https://doi.org/10.1006/jsco.2000.0378\">10.1006/jsco.2000.0378</a>."},"page":"675-716","intvolume":"        30","publication_status":"published","publication_identifier":{"issn":["0747-7171"]}},{"abstract":[{"text":"We compute a polynomial with Galois group SL₂(11) over ℚ. Furthermore we prove that SL₂(11) is the Galois group of a regular extension of ℚ (t).","lang":"eng"}],"publication":"Journal of Symbolic Computation","language":[{"iso":"eng"}],"keyword":["Computational Mathematics","Algebra and Number Theory"],"year":"2000","issue":"6","title":"A Polynomial with Galois GroupSL2(11)","date_created":"2022-12-23T09:56:52Z","publisher":"Elsevier BV","status":"public","type":"journal_article","department":[{"_id":"102"}],"user_id":"93826","_id":"34898","intvolume":"        30","page":"733-737","citation":{"chicago":"Klüners, Jürgen. “A Polynomial with Galois GroupSL2(11).” <i>Journal of Symbolic Computation</i> 30, no. 6 (2000): 733–37. <a href=\"https://doi.org/10.1006/jsco.2000.0380\">https://doi.org/10.1006/jsco.2000.0380</a>.","ieee":"J. Klüners, “A Polynomial with Galois GroupSL2(11),” <i>Journal of Symbolic Computation</i>, vol. 30, no. 6, pp. 733–737, 2000, doi: <a href=\"https://doi.org/10.1006/jsco.2000.0380\">10.1006/jsco.2000.0380</a>.","ama":"Klüners J. A Polynomial with Galois GroupSL2(11). <i>Journal of Symbolic Computation</i>. 2000;30(6):733-737. doi:<a href=\"https://doi.org/10.1006/jsco.2000.0380\">10.1006/jsco.2000.0380</a>","mla":"Klüners, Jürgen. “A Polynomial with Galois GroupSL2(11).” <i>Journal of Symbolic Computation</i>, vol. 30, no. 6, Elsevier BV, 2000, pp. 733–37, doi:<a href=\"https://doi.org/10.1006/jsco.2000.0380\">10.1006/jsco.2000.0380</a>.","short":"J. Klüners, Journal of Symbolic Computation 30 (2000) 733–737.","bibtex":"@article{Klüners_2000, title={A Polynomial with Galois GroupSL2(11)}, volume={30}, DOI={<a href=\"https://doi.org/10.1006/jsco.2000.0380\">10.1006/jsco.2000.0380</a>}, number={6}, journal={Journal of Symbolic Computation}, publisher={Elsevier BV}, author={Klüners, Jürgen}, year={2000}, pages={733–737} }","apa":"Klüners, J. (2000). A Polynomial with Galois GroupSL2(11). <i>Journal of Symbolic Computation</i>, <i>30</i>(6), 733–737. <a href=\"https://doi.org/10.1006/jsco.2000.0380\">https://doi.org/10.1006/jsco.2000.0380</a>"},"publication_identifier":{"issn":["0747-7171"]},"publication_status":"published","doi":"10.1006/jsco.2000.0380","volume":30,"author":[{"last_name":"Klüners","full_name":"Klüners, Jürgen","id":"21202","first_name":"Jürgen"}],"date_updated":"2023-03-06T10:48:40Z"},{"status":"public","type":"journal_article","department":[{"_id":"102"}],"user_id":"93826","_id":"34902","intvolume":"        27","page":"261-269","citation":{"apa":"Klüners, J. (1999). On Polynomial Decompositions. <i>Journal of Symbolic Computation</i>, <i>27</i>(3), 261–269. <a href=\"https://doi.org/10.1006/jsco.1998.0252\">https://doi.org/10.1006/jsco.1998.0252</a>","bibtex":"@article{Klüners_1999, title={On Polynomial Decompositions}, volume={27}, DOI={<a href=\"https://doi.org/10.1006/jsco.1998.0252\">10.1006/jsco.1998.0252</a>}, number={3}, journal={Journal of Symbolic Computation}, publisher={Elsevier BV}, author={Klüners, Jürgen}, year={1999}, pages={261–269} }","mla":"Klüners, Jürgen. “On Polynomial Decompositions.” <i>Journal of Symbolic Computation</i>, vol. 27, no. 3, Elsevier BV, 1999, pp. 261–69, doi:<a href=\"https://doi.org/10.1006/jsco.1998.0252\">10.1006/jsco.1998.0252</a>.","short":"J. Klüners, Journal of Symbolic Computation 27 (1999) 261–269.","ama":"Klüners J. On Polynomial Decompositions. <i>Journal of Symbolic Computation</i>. 1999;27(3):261-269. doi:<a href=\"https://doi.org/10.1006/jsco.1998.0252\">10.1006/jsco.1998.0252</a>","ieee":"J. Klüners, “On Polynomial Decompositions,” <i>Journal of Symbolic Computation</i>, vol. 27, no. 3, pp. 261–269, 1999, doi: <a href=\"https://doi.org/10.1006/jsco.1998.0252\">10.1006/jsco.1998.0252</a>.","chicago":"Klüners, Jürgen. “On Polynomial Decompositions.” <i>Journal of Symbolic Computation</i> 27, no. 3 (1999): 261–69. <a href=\"https://doi.org/10.1006/jsco.1998.0252\">https://doi.org/10.1006/jsco.1998.0252</a>."},"publication_identifier":{"issn":["0747-7171"]},"publication_status":"published","doi":"10.1006/jsco.1998.0252","volume":27,"author":[{"id":"21202","full_name":"Klüners, Jürgen","last_name":"Klüners","first_name":"Jürgen"}],"date_updated":"2023-03-06T09:21:29Z","abstract":[{"text":"We present a new polynomial decomposition which generalizes the functional and homogeneous bivariate decomposition of irreducible monic polynomials in one variable over the rationals. With these decompositions it is possible to calculate the roots of an imprimitive polynomial by solving polynomial equations of lower degree.","lang":"eng"}],"publication":"Journal of Symbolic Computation","language":[{"iso":"eng"}],"keyword":["Computational Mathematics","Algebra and Number Theory"],"year":"1999","issue":"3","title":"On Polynomial Decompositions","date_created":"2022-12-23T10:01:15Z","publisher":"Elsevier BV"},{"title":"KANT V4","date_created":"2022-12-23T10:02:24Z","publisher":"Elsevier BV","year":"1997","issue":"3-4","language":[{"iso":"eng"}],"keyword":["Computational Mathematics","Algebra and Number Theory"],"ddc":["000"],"abstract":[{"lang":"eng","text":"The software packageKANT V4for computations in algebraic number fields is now available in version 4. In addition a new user interface has been released. We will outline the features of this new software package."}],"publication":"Journal of Symbolic Computation","doi":"10.1006/jsco.1996.0126","volume":24,"author":[{"full_name":"DABERKOW, M.","last_name":"DABERKOW","first_name":"M."},{"full_name":"FIEKER, C.","last_name":"FIEKER","first_name":"C."},{"id":"21202","full_name":"Klüners, Jürgen","last_name":"Klüners","first_name":"Jürgen"},{"first_name":"M.","full_name":"POHST, M.","last_name":"POHST"},{"last_name":"ROEGNER","full_name":"ROEGNER, K.","first_name":"K."},{"first_name":"M.","full_name":"SCHÖRNIG, M.","last_name":"SCHÖRNIG"},{"first_name":"K.","full_name":"WILDANGER, K.","last_name":"WILDANGER"}],"date_updated":"2023-03-06T09:23:30Z","intvolume":"        24","page":"267-283","citation":{"ama":"DABERKOW M, FIEKER C, Klüners J, et al. KANT V4. <i>Journal of Symbolic Computation</i>. 1997;24(3-4):267-283. doi:<a href=\"https://doi.org/10.1006/jsco.1996.0126\">10.1006/jsco.1996.0126</a>","chicago":"DABERKOW, M., C. FIEKER, Jürgen Klüners, M. POHST, K. ROEGNER, M. SCHÖRNIG, and K. WILDANGER. “KANT V4.” <i>Journal of Symbolic Computation</i> 24, no. 3–4 (1997): 267–83. <a href=\"https://doi.org/10.1006/jsco.1996.0126\">https://doi.org/10.1006/jsco.1996.0126</a>.","ieee":"M. DABERKOW <i>et al.</i>, “KANT V4,” <i>Journal of Symbolic Computation</i>, vol. 24, no. 3–4, pp. 267–283, 1997, doi: <a href=\"https://doi.org/10.1006/jsco.1996.0126\">10.1006/jsco.1996.0126</a>.","mla":"DABERKOW, M., et al. “KANT V4.” <i>Journal of Symbolic Computation</i>, vol. 24, no. 3–4, Elsevier BV, 1997, pp. 267–83, doi:<a href=\"https://doi.org/10.1006/jsco.1996.0126\">10.1006/jsco.1996.0126</a>.","short":"M. DABERKOW, C. FIEKER, J. Klüners, M. POHST, K. ROEGNER, M. SCHÖRNIG, K. WILDANGER, Journal of Symbolic Computation 24 (1997) 267–283.","bibtex":"@article{DABERKOW_FIEKER_Klüners_POHST_ROEGNER_SCHÖRNIG_WILDANGER_1997, title={KANT V4}, volume={24}, DOI={<a href=\"https://doi.org/10.1006/jsco.1996.0126\">10.1006/jsco.1996.0126</a>}, number={3–4}, journal={Journal of Symbolic Computation}, publisher={Elsevier BV}, author={DABERKOW, M. and FIEKER, C. and Klüners, Jürgen and POHST, M. and ROEGNER, K. and SCHÖRNIG, M. and WILDANGER, K.}, year={1997}, pages={267–283} }","apa":"DABERKOW, M., FIEKER, C., Klüners, J., POHST, M., ROEGNER, K., SCHÖRNIG, M., &#38; WILDANGER, K. (1997). KANT V4. <i>Journal of Symbolic Computation</i>, <i>24</i>(3–4), 267–283. <a href=\"https://doi.org/10.1006/jsco.1996.0126\">https://doi.org/10.1006/jsco.1996.0126</a>"},"publication_identifier":{"issn":["0747-7171"]},"has_accepted_license":"1","publication_status":"published","department":[{"_id":"102"}],"user_id":"93826","_id":"34903","status":"public","type":"journal_article"},{"year":"1997","issue":"3-4","title":"On Computing Subfields","publisher":"Elsevier BV","date_created":"2022-12-23T10:03:02Z","abstract":[{"text":"The purpose of this article is to determine all subfields ℚ(β) of fixed degree of a given algebraic number field ℚ(α). It is convenient to describe each subfield by a pair (h,g) of polynomials in ℚ[t] resp. Z[t] such thatgis the minimal polynomial of β = h(α). The computations are done in unramifiedp-adic extensions and use information concerning subgroups of the Galois group of the normal closure of ℚ(α) obtained from the van der Waerden criterion.","lang":"eng"}],"publication":"Journal of Symbolic Computation","ddc":["000"],"keyword":["Computational Mathematics","Algebra and Number Theory"],"language":[{"iso":"eng"}],"citation":{"chicago":"Klüners, Jürgen, and Michael Pohst. “On Computing Subfields.” <i>Journal of Symbolic Computation</i> 24, no. 3–4 (1997): 385–97. <a href=\"https://doi.org/10.1006/jsco.1996.0140\">https://doi.org/10.1006/jsco.1996.0140</a>.","ieee":"J. Klüners and M. Pohst, “On Computing Subfields,” <i>Journal of Symbolic Computation</i>, vol. 24, no. 3–4, pp. 385–397, 1997, doi: <a href=\"https://doi.org/10.1006/jsco.1996.0140\">10.1006/jsco.1996.0140</a>.","ama":"Klüners J, Pohst M. On Computing Subfields. <i>Journal of Symbolic Computation</i>. 1997;24(3-4):385-397. doi:<a href=\"https://doi.org/10.1006/jsco.1996.0140\">10.1006/jsco.1996.0140</a>","apa":"Klüners, J., &#38; Pohst, M. (1997). On Computing Subfields. <i>Journal of Symbolic Computation</i>, <i>24</i>(3–4), 385–397. <a href=\"https://doi.org/10.1006/jsco.1996.0140\">https://doi.org/10.1006/jsco.1996.0140</a>","bibtex":"@article{Klüners_Pohst_1997, title={On Computing Subfields}, volume={24}, DOI={<a href=\"https://doi.org/10.1006/jsco.1996.0140\">10.1006/jsco.1996.0140</a>}, number={3–4}, journal={Journal of Symbolic Computation}, publisher={Elsevier BV}, author={Klüners, Jürgen and Pohst, Michael}, year={1997}, pages={385–397} }","short":"J. Klüners, M. Pohst, Journal of Symbolic Computation 24 (1997) 385–397.","mla":"Klüners, Jürgen, and Michael Pohst. “On Computing Subfields.” <i>Journal of Symbolic Computation</i>, vol. 24, no. 3–4, Elsevier BV, 1997, pp. 385–97, doi:<a href=\"https://doi.org/10.1006/jsco.1996.0140\">10.1006/jsco.1996.0140</a>."},"intvolume":"        24","page":"385-397","publication_status":"published","has_accepted_license":"1","publication_identifier":{"issn":["0747-7171"]},"doi":"10.1006/jsco.1996.0140","date_updated":"2023-03-06T10:36:21Z","author":[{"id":"21202","full_name":"Klüners, Jürgen","last_name":"Klüners","first_name":"Jürgen"},{"first_name":"Michael","last_name":"Pohst","full_name":"Pohst, Michael"}],"volume":24,"status":"public","type":"journal_article","_id":"34904","user_id":"93826","department":[{"_id":"102"}]}]