Solving Quantitative Equations

Georg Ehling; Teimuraz Kutsia

doi:10.1007/978-3-031-63501-4_20

Solving Quantitative Equations

Georg Ehling
, Teimuraz Kutsia

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings
Editors	Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt
Publisher	Springer
Pages	381-400
Number of pages	20
Volume	14740
ISBN (Print)	978-3-031-63500-7
DOIs	https://doi.org/10.1007/978-3-031-63501-4_20
Publication status	Published - 2024

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	14740 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

JKU Focus areas

Digital Transformation

Access to Document

10.1007/978-3-031-63501-4_20

Cite this

Ehling, G., & Kutsia, T. (2024). Solving Quantitative Equations. In C. Benzmüller, M. J. H. Heule, & R. A. Schmidt (Eds.), Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings (Vol. 14740, pp. 381-400). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14740 LNAI). Springer. https://doi.org/10.1007/978-3-031-63501-4_20

Ehling, Georg ; Kutsia, Teimuraz. / Solving Quantitative Equations. Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings. editor / Christoph Benzmüller ; Marijn J. H. Heule ; Renate A. Schmidt. Vol. 14740 Springer, 2024. pp. 381-400 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0fff4914eee24ef5b766cf7b4f69d1a9,

title = "Solving Quantitative Equations",

author = "Georg Ehling and Teimuraz Kutsia",

year = "2024",

doi = "10.1007/978-3-031-63501-4\_20",

language = "English",

isbn = "978-3-031-63500-7",

volume = "14740",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "381--400",

editor = "Christoph Benzm{\"u}ller and Heule, \{Marijn J. H.\} and Schmidt, \{Renate A.\}",

booktitle = "Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings",

}

Ehling, G & Kutsia, T 2024, Solving Quantitative Equations. in C Benzmüller, MJH Heule & RA Schmidt (eds), Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings. vol. 14740, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14740 LNAI, Springer, pp. 381-400. https://doi.org/10.1007/978-3-031-63501-4_20

Solving Quantitative Equations. / Ehling, Georg; Kutsia, Teimuraz.
Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings. ed. / Christoph Benzmüller; Marijn J. H. Heule; Renate A. Schmidt. Vol. 14740 Springer, 2024. p. 381-400 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14740 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Solving Quantitative Equations

AU - Ehling, Georg

AU - Kutsia, Teimuraz

PY - 2024

Y1 - 2024

UR - https://www.scopus.com/pages/publications/85200235685

U2 - 10.1007/978-3-031-63501-4_20

DO - 10.1007/978-3-031-63501-4_20

M3 - Conference proceedings

SN - 978-3-031-63500-7

VL - 14740

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 381

EP - 400

BT - Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings

A2 - Benzmüller, Christoph

A2 - Heule, Marijn J. H.

A2 - Schmidt, Renate A.

PB - Springer

ER -

Ehling G, Kutsia T. Solving Quantitative Equations. In Benzmüller C, Heule MJH, Schmidt RA, editors, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings. Vol. 14740. Springer. 2024. p. 381-400. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-63501-4_20

Solving Quantitative Equations

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this