Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness (Q5014692): Difference between revisions

Latest revision as of 10:32, 27 July 2024

scientific article; zbMATH DE number 7441081

Language	Label	Description	Also known as
English	Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness	scientific article; zbMATH DE number 7441081

Statements

instance of

scholarly article

0 references

title

Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness (English)

0 references

0 references

0 references

Mathematical Aspects of Computer and Information Sciences

0 references

publication date

8 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1911.12672

0 references

zbMATH Keywords

machine learning

0 references

cross-validation

0 references

computer algebra

0 references

symbolic computation

0 references

cylindrical algebraic decomposition

0 references

cites work

PRMLT

0 references

Q3624141

0 references

New Domains for Applied Quantifier Elimination

0 references

Q5396710

0 references

TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics

0 references

An empirical study of branching heuristics through the lens of global learning rate

0 references

Code optimization in FORM

0 references

MaSh: Machine Learning for Sledgehammer

0 references

Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas

0 references

Solving Non-linear Arithmetic

0 references

Using machine learning to improve cylindrical algebraic decomposition

0 references

Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition

0 references

Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting

0 references

Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

0 references

Cylindrical algebraic decomposition with equational constraints

0 references

Machine learning for mathematical software

0 references

Efficient projection orders for CAD

0 references

Partial cylindrical algebraic decomposition for quantifier elimination

0 references

Q4079605

0 references

Computing cylindrical algebraic decomposition via triangular decomposition

0 references

An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions

0 references

Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993

0 references

Q4657304

0 references

Q5301651

0 references

Machine learning for first-order theorem proving

0 references

Optimising Problem Formulation for Cylindrical Algebraic Decomposition

0 references

Truth table invariant cylindrical algebraic decomposition

0 references

Identifying the parametric occurrence of multiple steady states for some biological networks

0 references

A Case Study on the Parametric Occurrence of Multiple Steady States

0 references

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

0 references

Q5483032

0 references

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Identifiers

DOI

10.1007/978-3-030-43120-4_27

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5014692

@@ Property / cites work @@
+PRMLT
@@ Property / cites work: PRMLT / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank
@@ Property / cites work @@
+New Domains for Applied Quantifier Elimination
@@ Property / cites work: New Domains for Applied Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q5396710
@@ Property / cites work: Q5396710 / rank @@
+Normal rank
@@ Property / cites work @@
+TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics
+Normal rank
@@ Property / cites work @@
+An empirical study of branching heuristics through the lens of global learning rate
+Normal rank
@@ Property / cites work @@
+Code optimization in FORM
@@ Property / cites work: Code optimization in FORM / rank @@
+Normal rank
@@ Property / cites work @@
+MaSh: Machine Learning for Sledgehammer
@@ Property / cites work: MaSh: Machine Learning for Sledgehammer / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Using machine learning to improve cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
+Normal rank
@@ Property / cites work @@
+Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition with equational constraints
+Normal rank
@@ Property / cites work @@
+Machine learning for mathematical software
@@ Property / cites work: Machine learning for mathematical software / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient projection orders for CAD
@@ Property / cites work: Efficient projection orders for CAD / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing cylindrical algebraic decomposition via triangular decomposition
+Normal rank
@@ Property / cites work @@
+An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Q4657304
@@ Property / cites work: Q4657304 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5301651
@@ Property / cites work: Q5301651 / rank @@
+Normal rank
@@ Property / cites work @@
+Machine learning for first-order theorem proving
@@ Property / cites work: Machine learning for first-order theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Optimising Problem Formulation for Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Truth table invariant cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Identifying the parametric occurrence of multiple steady states for some biological networks
+Normal rank
@@ Property / cites work @@
+A Case Study on the Parametric Occurrence of Multiple Steady States
+Normal rank
@@ Property / cites work @@
+Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
+Normal rank
@@ Property / cites work @@
+Q5483032
@@ Property / cites work: Q5483032 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / describes a project that uses @@
+PRMLT
@@ Property / describes a project that uses: PRMLT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATzilla
@@ Property / describes a project that uses: SATzilla / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MaSh
@@ Property / describes a project that uses: MaSh / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FORM
@@ Property / describes a project that uses: FORM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Theoryguru
@@ Property / describes a project that uses: Theoryguru / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Scikit
@@ Property / describes a project that uses: Scikit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MaLARea
@@ Property / describes a project that uses: MaLARea / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3101511967
@@ Property / OpenAlex ID: W3101511967 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5014692