Suchergebnisse - "Algebraic simplification"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the ACM on Programming Languages. 9:30-65
Schlagwörter: MCC, FOS: Computer and information sciences, Logic in Computer Science, T-NDAS, Algebraic simplification, Universal algebra, Symbolic Computation (cs.SC), Dependent types, Logic in Computer Science (cs.LO), Homomorphism, Universal property, Free extension, Programming Languages, Symbolic Computation, Frex, Mathematically structured programming, Programming Languages (cs.PL)
Dateibeschreibung: application/pdf
-
2
Autoren:
Schlagwörter: Symbolic Computation, Term Rewriting Systems, Polynomial Normal Forms, Canonical Forms, Equational Reasoning, Formal Verification, Normalization Algorithms, Commutative Algebra, Algebraic Simplification, Decidability, Confluence and Termination, Proof Assistants, Formal Methods, Complexity Analysis
Relation: https://zenodo.org/records/15374716; oai:zenodo.org:15374716; https://doi.org/10.5281/zenodo.15374716
-
3
Autoren: Christopher W. Brown
Quelle: ACM SIGSAM Bulletin. 37:97-108
Schlagwörter: quantifier elimination, 4. Education, 0202 electrical engineering, electronic engineering, information engineering, Quantifier elimination, model completeness, and related topics, 0102 computer and information sciences, 02 engineering and technology, cylindrical algebraic decomposition, Symbolic computation and algebraic computation, Semialgebraic sets and related spaces, 01 natural sciences, algebraic simplification
Dateibeschreibung: application/xml
-
4
Autoren:
Weitere Verfasser:
Schlagwörter: I.2 [Artificial Intelligence, Miscellaneous General Terms Algorithms, Performance Keywords Genetic Programming, Algebraic Simplification, Program Simplification, Code Bloating, Online Simplification
Dateibeschreibung: application/pdf
-
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Languages, Performance, Design, Algorithms Keywords Stream Programming, StreamIt, Optimization, Embedded, Linear Systems, Algebraic Simplification, DSP, FFT
Dateibeschreibung: application/pdf
-
6
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Petri Nets, Reachability Problem, Equality Problem, Canonical Algebraic Simplification, Knuth-Bendix Algorithm, Grobner Bases Algorithm
Dateibeschreibung: application/postscript
-
7
Autoren: GUOQIANG SHEN
Quelle: Studies in Regional Science. 2002, 32(2):41
-
8
Autoren: Asish Mukhopadhyay
Quelle: Lecture Notes in Computer Science ISBN: 9783540159841
Schlagwörter: 0301 basic medicine, rational function representation, 03 medical and health sciences, arithmetic operations, conversion algorithm, polynomial Hensel code of a rational function, 0102 computer and information sciences, Symbolic computation and algebraic computation, Euclidean algorithm, 01 natural sciences, algebraic simplification, algorithm design
Dateibeschreibung: application/xml
Zugangs-URL: https://zbmath.org/3992931
https://doi.org/10.1109/tc.1987.1676950
https://dblp.uni-trier.de/db/journals/tc/tc36.html#Mukhopadhyay87
https://ieeexplore.ieee.org/document/1676950/
http://dblp.uni-trier.de/db/journals/tc/tc36.html#Mukhopadhyay87
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000001676950
https://www.computer.org/csdl/trans/tc/1987/05/01676950.html
http://ieeexplore.ieee.org/document/1676950/
https://dblp.uni-trier.de/db/conf/eurocal/eurocal1985-2.html#Mukhopadhyay85
https://rd.springer.com/chapter/10.1007/3-540-15984-3_288
https://link.springer.com/content/pdf/10.1007%2F3-540-15984-3_288.pdf
https://link.springer.com/chapter/10.1007/3-540-15984-3_288 -
9
Autoren:
Quelle: Software: Practice and Experience. 14:1169-1181
Schlagwörter: financial models, Numerical computation of solutions to systems of equations, Other matrix algorithms, graphics language, 0102 computer and information sciences, 02 engineering and technology, Symbolic computation and algebraic computation, Finance etc, 01 natural sciences, nonlinear equations, 0202 electrical engineering, electronic engineering, information engineering, non-procedural languages, linear equations, Simulation, algebraic simplification, algorithm for solving sets of simultaneous equations
Dateibeschreibung: application/xml
-
10
Weitere Verfasser: Brown, L
Quelle: pp 95-129 of Proceedings of the Liperi Summer School in Theoretical Physics, 1967. Helsinki, University of Helsinki, 1967.; Other Information: Orig. Receipt Date: 31-DEC-68
Dateibeschreibung: Medium: X
Zugangs-URL: http://www.osti.gov/scitech/biblio/4554205
-
11
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors I.2 [Artificial Intelligence, Miscellaneous General Terms Algorithms, Performance Keywords Genetic Programming, Algebraic Simplification, Program Simplification, Code Bloating, Online Simplification
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.7187; http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p927.pdf
-
12
Autoren:
Weitere Verfasser:
Quelle: DTIC AND NTIS
Schlagwörter: Theoretical Mathematics, Computer Programming and Software, ALGEBRA, COMPUTER PROGRAMMING, COMPILERS, DIFFERENTIAL EQUATIONS, MATHEMATICAL LOGIC, NUMERICAL ANALYSIS, PATTERN RECOGNITION, PROGRAMMING LANGUAGES, SYNTAX, THESES, MAC PROJECT, ALGOL, ALGEBRAIC SIMPLIFICATION, FORTRAN
Dateibeschreibung: text/html
-
13
Autoren:
Quelle: DTIC AND NTIS
Index Begriffe: Theoretical Mathematics, Computer Programming and Software, ALGEBRA, COMPUTER PROGRAMMING, COMPILERS, DIFFERENTIAL EQUATIONS, MATHEMATICAL LOGIC, NUMERICAL ANALYSIS, PATTERN RECOGNITION, PROGRAMMING LANGUAGES, SYNTAX, THESES, MAC PROJECT, ALGOL, ALGEBRAIC SIMPLIFICATION, FORTRAN, Text
Full Text Finder 
Nájsť tento článok vo Web of Science