المؤلفون: Mario Albert, Werner M. Seiler

المصدر: Mathematics, Vol 6, Iss 9, p 161 (2018)

مصطلحات موضوعية: polynomial modules, free resolutions, combinatorial decompositions, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: http://www.mdpi.com/2227-7390/6/9/161; https://doaj.org/toc/2227-7390

URL الوصول: https://doaj.org/article/fcc920de03af48d9b97754bc09f6466d

المؤلفون: Dirk Fesser, Werner M. Seiler

المصدر: Symmetry, Integrability and Geometry: Methods and Applications, Vol 5, p 092 (2009)

مصطلحات موضوعية: formal integrability, integral element, involution, partial differential equation, Vessiot connection, Vessiot distribution, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1815-0659

URL الوصول: https://doaj.org/article/029777bbefac4367a1804b434414ed9c

المؤلفون: Amir Hashemi, Matthias Orth, Werner M. Seiler

المصدر: Journal of Symbolic Computation. 118:32-68

مصطلحات موضوعية: Computational Mathematics, Algebra and Number Theory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2676db6c29b98250323a70705327a1cb
https://doi.org/10.1016/j.jsc.2023.01.003

المؤلفون: Jonas Ziebarth, Werner M. Seiler, Thomas Fuhrmann‐Lieker

المصدر: The Mathematical Biology of Diatoms. :19-61

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::eb24f0c6499aa8099d134d4d6a589497
https://doi.org/10.1002/9781119751939.ch2

المؤلفون: Werner M. Seiler, Hossein Parnian, Amir Hashemi

المصدر: Journal of Symbolic Computation. 111:44-60

مصطلحات موضوعية: Pure mathematics, Algebra and Number Theory, Mathematics::Commutative Algebra, Degree (graph theory), Monomial ideal, Upper and lower bounds, Computational Mathematics, Gröbner basis, symbols.namesake, symbols, Krull dimension, Ideal (ring theory), Quotient ring, Mathematics, Hilbert–Poincaré series

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::986b30b51e70318d72afb948e36892e5
https://doi.org/10.1016/j.jsc.2021.11.004

المؤلفون: Werner M. Seiler, Ernst W. Mayr, Evgenii V. Vorozhtsov

المصدر: Journal of Symbolic Computation. 109:50-56

مصطلحات موضوعية: Computational Mathematics, Algebra and Number Theory, Art history, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ac44aa815a2020c6042402e892a05680
https://doi.org/10.1016/j.jsc.2021.07.003

المؤلفون: Amir Hashemi, Benyamin M. Alizadeh, Hossein Parnian, Werner M. Seiler

المصدر: Journal of Algebra and Its Applications.

مصطلحات موضوعية: Algebra and Number Theory, Applied Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7fa43da4fc08c793707eb7897b7c98ec
https://doi.org/10.1142/s0219498824501457

المؤلفون: Werner M. Seiler

Relation: https://github.com/wmseiler/LaneEmden/tree/v1.0.1; https://doi.org/10.5281/zenodo.10064925; https://doi.org/10.5281/zenodo.10064926; oai:zenodo.org:10064926

الاتاحة: https://doi.org/10.5281/zenodo.10064926

المؤلفون: Matthias Orth, Werner M. Seiler, Amir Hashemi

المصدر: Mathematics in Computer Science. 15:453-482

مصطلحات موضوعية: Pure mathematics, Hilbert's syzygy theorem, Mathematics::Commutative Algebra, Applied Mathematics, Polynomial ring, 010102 general mathematics, Zero (complex analysis), Field (mathematics), 0102 computer and information sciences, 01 natural sciences, Computational Mathematics, Gröbner basis, Computational Theory and Mathematics, 010201 computation theory & mathematics, Computer Science::Symbolic Computation, 0101 mathematics, Quotient, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d976c85be73008a0417960ada8e8bb9f
https://doi.org/10.1007/s11786-021-00513-4

المؤلفون: Matthias Seiß, Werner M. Seiler

المصدر: Journal of Differential Equations. 281:258-288

مصطلحات موضوعية: Dynamical systems theory, Applied Mathematics, 010102 general mathematics, Mathematical analysis, Scalar (mathematics), Zero (complex analysis), 01 natural sciences, 010101 applied mathematics, Simple (abstract algebra), Ordinary differential equation, Initial value problem, Point (geometry), 0101 mathematics, Differential (infinitesimal), Analysis, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4c106c819d18ced2b058366dbb338d21
https://doi.org/10.1016/j.jde.2021.02.010

المؤلفون: Amir Hashemi, Werner M. Seiler, Nasibeh Aramideh

المصدر: Journal of Symbolic Computation. 103:141-156

مصطلحات موضوعية: Pure mathematics, Change of variables, Algebra and Number Theory, Ideal (set theory), Basis (linear algebra), 010102 general mathematics, 010103 numerical & computational mathematics, 01 natural sciences, Computational Mathematics, Homogeneous, Position (vector), Effective method, 0101 mathematics, Mathematics, Resolution (algebra)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::379f1feb4c6091080ec195dc1ac3e803
https://doi.org/10.1016/j.jsc.2019.12.001

المؤلفون: Amir Hashemi, Hossein Parnian, Werner M. Seiler

المصدر: Mathematics in Computer Science. 15:233-254

مصطلحات موضوعية: Discrete mathematics, Ideal (set theory), Degree (graph theory), Basis (linear algebra), Applied Mathematics, 010102 general mathematics, 0102 computer and information sciences, 01 natural sciences, Prime (order theory), Computational Mathematics, Gröbner basis, Computational Theory and Mathematics, 010201 computation theory & mathematics, Position (vector), Simple (abstract algebra), Generating set of a group, 0101 mathematics, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e89d24e822701d343108b367ab1fde2b
https://doi.org/10.1007/s11786-020-00480-2

المؤلفون: Werner M. Seiler, Amir Hashemi

المصدر: Journal of Symbolic Computation. 98:47-64

مصطلحات موضوعية: Polynomial, Pure mathematics, Algebra and Number Theory, Ideal (set theory), Mathematics::Commutative Algebra, Degree (graph theory), 010102 general mathematics, 010103 numerical & computational mathematics, Lexicographical order, 01 natural sciences, Computational Mathematics, Gröbner basis, Dimension (vector space), Position (vector), Verifiable secret sharing, 0101 mathematics, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e0cbef4979a886a96187e2db79326914
https://doi.org/10.1016/j.jsc.2019.07.006

المؤلفون: Daniel Robertz, Werner M. Seiler

المصدر: Mathematics in computer science 16(4), 28 (2022). doi:10.1007/s11786-022-00550-7

مصطلحات موضوعية: Computational Mathematics, Computational Theory and Mathematics, Applied Mathematics, ddc:004

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb04eb24af4e6c1b921634a27e46cf2e

المؤلفون: Elishan Braun, Matthias Seiß, Werner M. Seiler

المصدر: Mathematics in Computer Science. 14:281-293

مصطلحات موضوعية: Dynamical systems theory, Computer science, Differential equation, Applied Mathematics, Numerical analysis, 010102 general mathematics, Dynamical Systems (math.DS), 0102 computer and information sciences, 01 natural sciences, Manifold, Numerical integration, Computational Mathematics, Primary 34A09, Secondary 00A66, 34A26, 65L80, Computational Theory and Mathematics, 010201 computation theory & mathematics, Ordinary differential equation, FOS: Mathematics, Applied mathematics, Vector field, Mathematics - Dynamical Systems, 0101 mathematics, Distribution (differential geometry)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b2a5429433274b80394e2903398bfc7
https://doi.org/10.1007/s11786-019-00423-6

المؤلفون: Matthew England, Thomas Sturm, Werner M. Seiler, Timur Sadykov, Wolfram Koepf

المساهمون: Coventry University, Universität Kassel [Kassel], Plekhanov Russian University of Economics [Moscow] (PRUE), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft, Proof-oriented development of computer-based systems (MOSEL), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Universität des Saarlandes [Saarbrücken], ANR-17-CE40-0036,SYMBIONT,Méthodes symboliques pour les réseaux biologiques(2017), Centre National de la Recherche Scientifique (CNRS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Saarland University [Saarbrücken]

المصدر: Mathematics in Computer Science
Mathematics in Computer Science, Springer, 2021, 15 (2), pp.173-175. ⟨10.1007/s11786-020-00476-y⟩
Mathematics in Computer Science, 2021, 15 (2), pp.173-175. ⟨10.1007/s11786-020-00476-y⟩

مصطلحات موضوعية: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Applied Mathematics, 010102 general mathematics, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [SDV.BBM.MN]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Molecular Networks [q-bio.MN], 0102 computer and information sciences, 01 natural sciences, Computational Mathematics, Computational Theory and Mathematics, 010201 computation theory & mathematics, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], 0101 mathematics, ComputingMilieux_MISCELLANEOUS

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::75426f019f8495fec70b7680c8dc6803
https://hal.archives-ouvertes.fr/hal-03438164/document

المؤلفون: Matthias Seiß, Thomas Sturm, Werner M. Seiler

المساهمون: Institut für Mathematik [Kassel], Universität Kassel [Kassel], Centre National de la Recherche Scientifique (CNRS), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Max-Planck-Gesellschaft, Saarland University [Saarbrücken], ANR-17-CE40-0036,SYMBIONT,Méthodes symboliques pour les réseaux biologiques(2017), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria), This work was supported by the bilateral project ANR-17-CE40-0036 and DFG-391322026 SYMBIONT.

المصدر: Mathematics in Computer Science
Mathematics in Computer Science, 2021, 15 (2), pp.333-352. ⟨10.1007/s11786-020-00485-x⟩
Mathematics in Computer Science, Springer, 2021, 15 (2), pp.333-352. ⟨10.1007/s11786-020-00485-x⟩

مصطلحات موضوعية: 34C40, Computer science, Implizite Differentialgleichung, 02 engineering and technology, Commutative Algebra (math.AC), 01 natural sciences, Reelle algebraische Geometrie, Gaussian elimination, Quantifier elimination, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, 0202 electrical engineering, electronic engineering, information engineering, Parametric statistics, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Applied Mathematics, Vessiot distribution, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [SDV.BBM.MN]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Molecular Networks [q-bio.MN], Computational Mathematics, Computational Theory and Mathematics, [MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG], Ordinary differential equation, symbols, Secondary 34-04, 020201 artificial intelligence & image processing, Logic (math.LO), Mathematics - Differential Geometry, 37C10, Differential equation, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Logic computation Mathematics Subject Classification Primary 34A09, 68W30, System of linear equations, 34A26, symbols.namesake, FOS: Mathematics, Applied mathematics, 0101 mathematics, Implicit differential equations, Real number, Singularität, Geometrie, 010102 general mathematics, Mathematics - Logic, Mathematics - Commutative Algebra, Computational logic, Differential geometry, Differential Geometry (math.DG), 34C08, Real algebraic computations, Primary 34A09, Secondary 34-04, 34A26, 34C08, 34C40, 37C10, 68W30, Geometric singularities, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], logic computation

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e8a08fa850f2d595129e9ca178e4511
https://hdl.handle.net/21.11116/0000-0009-4ADA-F21.11116/0000-0007-79D5-1

المؤلفون: Amir Hashemi, Werner M. Seiler, Hossein Parnian

المصدر: Bulletin of the Iranian Mathematical Society. 45:1283-1301

مصطلحات موضوعية: Change of variables, Ideal (set theory), Mathematics::Commutative Algebra, Basis (linear algebra), Deterministic algorithm, Polynomial ring, 010102 general mathematics, 0102 computer and information sciences, Division (mathematics), 01 natural sciences, Algebra, 010201 computation theory & mathematics, Position (vector), Benchmark (computing), Pharmacology (medical), 0101 mathematics, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cc8250edfc5408c5396f098e62eb31f5
https://doi.org/10.1007/s41980-018-00198-9

المؤلفون: Matthias Seiß, Werner M. Seiler

مصطلحات موضوعية: S system, Physics, homoclinic orbits, 010308 nuclear & particles physics, Applied Mathematics, chaos, 010102 general mathematics, Chaotic, Dynamical Systems (math.DS), Dynamical system, 01 natural sciences, singularity, CHAOS (operating system), Singularity, Modeling and Simulation, 0103 physical sciences, FOS: Mathematics, Dixon´s system, Statistical physics, Mathematics - Dynamical Systems, 0101 mathematics, Engineering (miscellaneous), blow-up

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::98ca9312b12b5ea5855009811a319bc8

المؤلفون: Werner M. Seiler

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://arxiv.org/pdf/math/0208247v2.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.237.5361; http://arxiv.org/pdf/math/0208247v2.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.237.5361
http://arxiv.org/pdf/math/0208247v2.pdf