VTS and Lazard Projection CAD in Quantifier Elimination with Maple
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | 31 | |
| Autor | 0000-0001-6019-1775 (ORCID) | |
| Mitwirkende | 0000-0001-6019-1775 (ORCID) | |
| Lizenz | CC-Namensnennung - keine kommerzielle Nutzung - keine Bearbeitung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt in unveränderter Form zu jedem legalen und nicht-kommerziellen Zweck nutzen, vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/48017 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache | ||
| Produzent | 0000-0001-6019-1775 (ORCID) | |
| Produktionsjahr | 2020 | |
| Produktionsort | Bath, UK |
Inhaltliche Metadaten
| Fachgebiet | ||
| Genre | ||
| Abstract |
| |
| Schlagwörter |
00:00
QuantorCADAxonometrieGauß-AlgorithmusComputerMIDI <Musikelektronik>CodeObjekt <Kategorie>Web-SeiteGrundraumProjektive GeometrieSondierungLeistung <Physik>QuantoreneliminationVirtualisierungSoftwareentwicklerSchlussregelPhysikalisches SystemStellenringXML
00:28
CodeQuantoreneliminationCADReelle ZahlSchnittmengeSystemaufrufQuantorFokalpunktPolygonAlgorithmusProjektive GeometrieTaskPunktAusdruck <Logik>Computeranimation
01:05
Reelle ZahlQuantoreneliminationBoolesche AlgebraNichtlinearer OperatorAusdruck <Logik>NebenbedingungPolynomDatensatzRekursive FunktionNichtlinearer OperatorRelativitätstheoriePolynomAusdruck <Logik>NebenbedingungXML
01:28
Reelle ZahlQuantoreneliminationNichtlinearer OperatorBoolesche AlgebraVariableQuantorAusdruck <Logik>NebenbedingungPolynomAusdruck <Logik>VariablePunktZeichenketteGauß-AlgorithmusNichtlinearer OperatorComputeranimation
01:57
QuantoreneliminationQuantorÄquivalenzklasseAusdruck <Logik>Reelle ZahlGeometrieAlgebraische ZahlVariableGauß-AlgorithmusAusdruck <Logik>Automatische HandlungsplanungQuantorLineare GeometrieReelle ZahlGeometrieXML
02:30
QuantoreneliminationAusdruck <Logik>ÄquivalenzklasseAlgebraische ZahlGeometrieTopologieRestklassePhysikalische TheorieAlgorithmusMaßerweiterungCASE <Informatik>VariableReelle ZahlCodecFramework <Informatik>System FModul <Datentyp>Ausdruck <Logik>InterpretiererRestklassePhysikalische TheorieComputeranimationXML
03:01
RestklassePhysikalische TheorieAlgorithmusLineare GeometrieDatenbankDatenbankAuflösung <Mathematik>Framework <Informatik>AlgorithmusComputeranimation
03:22
AlgorithmusVirtuelle RealitätTermVariableRekursive FunktionReelle ZahlMailing-ListePunktSubstitutionMultiplikationsoperatorVariableDistributionenraumVirtualisierungHypermediaPaarvergleichTermGruppenoperationAlgorithmusExistenzaussageProgramm/QuellcodeXML
04:18
AlgorithmusTermVirtuelle RealitätVariableRekursive FunktionMinimalgradWurzel <Mathematik>PolynomRadikal <Mathematik>Physikalische TheorieMinimalgradVariableInverser LimesGesetz <Physik>HypermediaFreewareComputeranimation
04:45
AlgorithmusVirtuelle RealitätTermVariableRekursive FunktionWurzel <Mathematik>MinimalgradPolynomGruppenoperationRadikal <Mathematik>MinimalgradGruppenoperationHelmholtz-ZerlegungAusdruck <Logik>Computeranimation
05:14
AlgorithmusCADHelmholtz-ZerlegungKreiszylinderAlgebraische ZahlVollständigkeitPolynomAusdruck <Logik>Minkowski-MetrikSensitivitätsanalyseSpezielle unitäre GruppeVariableFlächeninhaltMultiplikationsoperatorMinimalgradQuick-SortDiophantische GeometrieImplementierungLastXMLComputeranimation
05:46
AlgorithmusCADAlgebraische ZahlHelmholtz-ZerlegungKreiszylinderPolynomAusdruck <Logik>VollständigkeitVariableGeometrieEin-AusgabeAxonometrieVariableMinkowski-MetrikGeometrieEin-AusgabeDatenstrukturBitProjektive GeometrieAggregatzustandCADAusdruck <Logik>Nichtlineares GleichungssystemBoolesche AlgebraComputeranimation
06:19
Befehl <Informatik>CADVariableCADInverser LimesMinimalgradBefehl <Informatik>SystemaufrufGreedy-AlgorithmusVariableComputerschachQuantorTermStrategisches Spielp-BlockXMLComputeranimation
06:43
VariableTermVariableGreedy-Algorithmusp-BlockStrategisches SpielProgramm/QuellcodeXML
07:07
p-BlockDatenstrukturBildschirmmaskeTopologieVariableQuantorKnotenmengeQuick-SortTopologieQuantorResultanteVariableDatenstrukturp-BlockProgramm/QuellcodeXML
07:23
DatenstrukturBildschirmmaskep-BlockTopologieVariableKnotenmengeQuantorLineare DarstellungPolynomCADAuswahlaxiomForcingVariableGruppenoperationOrdinalzahlNotebook-ComputerAuswahlaxiomDiophantische GeometrieQuantorAusdruck <Logik>BildschirmsymbolMinimalgradp-BlockCADGanze FunktionImplementierung
08:09
InvarianteCADPolynomTopologieDatenstrukturBildschirmmaskep-BlockVariableKnotenmengeQuantorLineare DarstellungAuswahlaxiomPolygonAusdruck <Logik>PolynomCADModallogikGruppenoperationKontextbezogenes SystemArithmetisches MittelDatenstrukturMinkowski-MetrikQuick-SortFrequenzComputeranimation
08:44
CADKontextbezogenes SystemVariableQuick-SortTopologieArithmetisches MittelKontextbezogenes SystemCADTermMAPVariableRichtungWellenlehreXML
09:30
Pi <Zahl>AlgorithmusCADKontextbezogenes SystemVariableÄhnlichkeitsgeometrieKnotenmengeRuhmasseStützpunkt <Mathematik>Ordnung <Mathematik>DifferenteWellenpaketDatenstrukturSystemaufrufProjektive GeometrieComputervirusCADÄhnlichkeitsgeometriePolynom
09:54
CADStrom <Mathematik>NebenbedingungKontextbezogenes SystemVariableÄhnlichkeitsgeometrieKnotenmengeAxonometrieSoundverarbeitungStützpunkt <Mathematik>Nichtlineares GleichungssystemNebenbedingungComputeranimation
10:13
CADNebenbedingungSoundverarbeitungKontextbezogenes SystemVariableKnotenmengeÄhnlichkeitsgeometrieAxonometriePolygonEin-AusgabeAdditionDifferenz <Mathematik>Wort <Informatik>BenutzerfreundlichkeitProjektive GeometrieArithmetisches MittelAdditionCoxeter-GruppeTopologieDifferenz <Mathematik>Ausdruck <Logik>ComputeranimationXML
10:51
AdditionDifferenz <Mathematik>Ein-AusgabeCADCoxeter-GruppeAlgorithmusTopologieHybridrechnerPolygonKontextbezogenes SystemTopologieKontextbezogenes SystemCoxeter-GruppeCADCodecFramework <Informatik>Computeranimation
11:15
Partielle DifferentiationCADAusdruck <Logik>Office-PaketAusdruck <Logik>QuantoreneliminationCADQuantorSchnittmengePolynomProgramm/QuellcodeXML
11:45
Objektorientierte ProgrammierspracheCADPartielle DifferentiationAusdruck <Logik>TopologieFunktion <Mathematik>QuantorFunktion <Mathematik>BitBildschirmmaskeObjekt <Kategorie>TaskTermQuantorTonnelierter RaumFunktionalTopologieSummengleichungAusdruck <Logik>Nichtlineares GleichungssystemEin-AusgabeComputeranimation
12:22
NebenbedingungAxonometrieCADAusdruck <Logik>Ein-AusgabePolynomNichtlinearer OperatorEinfach zusammenhängender RaumWellenpaketNichtlineares GleichungssystemAusdruck <Logik>Quick-SortNebenbedingungMAPComputerarchitekturVorzeichen <Mathematik>Diophantische GeometrieProjektive GeometrieGeometriePolynomInvarianteXMLComputeranimation
12:56
NebenbedingungAxonometrieCADAusdruck <Logik>Ein-AusgabePolynomNichtlinearer OperatorDefaultNichtlineares GleichungssystemProjektive GeometrieMultiplikationKonfiguration <Informatik>Einfache GenauigkeitStützpunkt <Mathematik>NebenbedingungProzess <Informatik>PropagatorRechter WinkelMomentenproblemWellenpaketDiskrete UntergruppeComputeranimation
13:44
NebenbedingungDreieckSystemprogrammierungPhysikalisches SystemPhasenumwandlungAxonometrieProdukt <Mathematik>VariableNichtlineares GleichungssystemNebenbedingungProjektive GeometrieMultiplikationPhasenumwandlungCASE <Informatik>VariableProdukt <Mathematik>TopologieTeilbarkeitPropagatorMomentenproblemStützpunkt <Mathematik>Programm/QuellcodeXML
14:09
NebenbedingungDreieckSystemprogrammierungPhysikalisches SystemProdukt <Mathematik>ResultanteAxonometriePhasenumwandlungVariableGeometrieInterrupt <Informatik>Wurzel <Mathematik>FaktorenanalyseNichtlineares GleichungssystemNebenbedingungGeometriePropagatorIdeal <Mathematik>Wurzel <Mathematik>Stützpunkt <Mathematik>Quick-SortInformationComputeranimation
14:26
NebenbedingungVariableAxonometrieImplementierungGauß-AlgorithmusHeuristikOrdnung <Mathematik>Faktor <Algebra>AdditionMultiplikationQuantisierung <Physik>Nichtlineares GleichungssystemProjektive GeometrieNebenbedingungPhysikalische TheorieCASE <Informatik>DatensatzXMLComputeranimation
15:03
NebenbedingungVariableHeuristikAxonometrieSoundverarbeitungNichtlineares GleichungssystemHeuristikBitSoundverarbeitungPolynomNebenbedingungMultiplikationsoperatorTeilbarkeitProjektive GeometrieVariableFreewareSchlüsselverwaltungReelle ZahlAusdruck <Logik>MaßerweiterungComputeranimation
15:38
ÄquivalenzklasseQuantorAusdruck <Logik>Diophantische GeometrieVariableAusdruck <Logik>Reelle ZahlÄquivalenzklasseVariable
16:07
ÄquivalenzklasseQuantorAusdruck <Logik>Diophantische GeometrieVariableAlgorithmusProzess <Informatik>Prozess <Informatik>BildschirmmaskeAlgorithmusComputerspielUmwandlungsenthalpieSprachsyntheseFramework <Informatik>CADAusdruck <Logik>Dreiecksmatrix
16:27
Ausdruck <Logik>ÄquivalenzklasseQuantorVariableDiophantische GeometrieAlgorithmusPolygonCoxeter-GruppeProzess <Informatik>CADCADPolygonSchnittmengeAlgorithmusGeradeObjekt <Kategorie>Computeranimation
16:51
NebenbedingungAxonometrieProjektive GeometrieNebenbedingungCADKontextbezogenes SystemZellularer AutomatSocketHelmholtz-ZerlegungURLBAYESGesetz <Physik>DruckverlaufStrömungsrichtungMinkowski-MetrikEntscheidungstheorieProgramm/Quellcode
17:23
AxonometrieNebenbedingungHelmholtz-ZerlegungZellularer AutomatDifferenteHelmholtz-ZerlegungSchnittmengeNebenbedingungZellularer AutomatCADKontextbezogenes SystemCoxeter-GruppeAlgorithmusQuantoreneliminationBAYESAdditionComputeranimation
18:13
CADPartielle DifferentiationNebenbedingungAxonometrieHelmholtz-ZerlegungZellularer AutomatKeller <Informatik>Zellularer AutomatKonstruktor <Informatik>TermKontextbezogenes SystemPartielle DifferentiationComputeranimation
18:34
CADPartielle DifferentiationNebenbedingungAxonometrieHelmholtz-ZerlegungZellularer AutomatKeller <Informatik>AlgorithmusBitCADComputeranimation
18:51
Mailing-ListeSoftwareMultiplikationsoperatorGauß-AlgorithmusProjektive GeometrieSichtenkonzeptPlastikkarteQuantoreneliminationCodeSharewareTermProgramm/QuellcodeXML
19:13
Ausdruck <Logik>Ausdruck <Logik>ImplementierungMultiplikationsoperatorWorkstation <Musikinstrument>Projektive GeometrieProgramm/QuellcodeXML
19:46
Ausdruck <Logik>CADSoftwareentwicklerSoftwareTermAnalysisBitBenchmarkEigentliche AbbildungProgramm/QuellcodeXML
20:04
Ausdruck <Logik>CADBenchmarkOffice-PaketPolygonAlgorithmusImplementierungCADComputeranimation
20:21
Ausdruck <Logik>CADRückkopplungMaßerweiterungProjektive GeometrieQuick-SortNummernsystemFormale GrammatikFlächeninhaltGauß-AlgorithmusÜberlagerung <Mathematik>BitrateHilfesystemImplementierungVektorpotenzialRückkopplungTermAusdruck <Logik>QuantorCADComputeranimation
Transkript: Englisch(automatisch erzeugt)